1. 2015
  2. Published

    Awareness and Control in Adaptable Transition Systems. / Bruni, Roberto; Corradini, Andrea ; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea.

    Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15). ed. / Daniel Moldt ; Heiko Rölke; Harald Störrle. 2015. p. 19-21 (CEUR Workshop Proceedings, Vol. 1372).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  3. Published

    A white box perspective on behavioural adaptation. / Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea.

    Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. ed. / Rocco De Nicola; Rolf Hennicker. Springer, 2015. p. 552-581 (Lecture Notes in Computer Science, Vol. 8950).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2015

  4. Published

    Declarative interpretations of session-based concurrency. / Cano , Mauricio ; Rueda, Camilo ; López-Acosta, Hugo-Andrés; Pérez, Jorge A. .

    Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP '15). Association for Computing Machinery, 2015. p. 67-78.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  5. Published

    Developing merged CDIO based curricula for diploma (B.Eng.) IT study programs at DTU. / Nyborg, Mads; Probst, Christian W.; Stassen, Flemming.

    Proceedings of the 11th International CDIO Conference. CDIO, 2015.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  6. Published

    Discretionary Information Flow Control for Interaction-Oriented Specifications. / Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis.

    Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday. Springer, 2015. p. 427-450 (Lecture Notes in Computer Science, Vol. 9200).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2015

  7. Published

    Experiences with Compiler Support for Processors with Exposed Pipelines. / Jensen, Nicklas Bo; Schleuniger, Pascal; Hindborg, Andreas Erik; Walter, Maxwell; Karlsson, Sven .

    Proceedings of the 29th International Parallel and Distributed Processing Symposium Workshops (IPDPSW 2015). IEEE, 2015. p. 137-143.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  8. Published

    Factorization of Behavioral Integrity. / Li, Ximeng; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of th 20th European Symposium on Research in Computer Security - ESORICS 2015: Part 2. ed. / Günther Pernul; Peter Y A Ryan; Edgar Weippl. Springer, 2015. p. 500-519 (Lecture Notes in Computer Science, Vol. 9327).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  9. Published

    Hardware Transactional Memory Optimization Guidelines, Applied to Ordered Maps. / Bonnichsen, Lars Frydendal; Probst, Christian W.; Karlsson, Sven .

    Proceedings of the 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2015). Vol. 3 IEEE, 2015. p. 124-131.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  10. Published

    Hoare Logic for Disjunctive Information Flow. / Nielson, Hanne Riis; Nielson, Flemming; Li, Ximeng.

    Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. ed. / Chiara Bodei; Gian-Luigi Ferrari; Corrado Priami. Springer, 2015. p. 47-65 (Lecture Notes in Computer Science, Vol. 9465).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2015

  11. Published

    How to Trust the Re-use of Data. / Karafili, Erisa; Nielson, Hanne Riis; Nielson, Flemming.

    Proceedings of the 11th International Workshop on Security and Trust Management (STM 2015). ed. / Sara Foresti. Springer, 2015. p. 72-88 (Lecture Notes in Computer Science, Vol. 9331).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

Previous 12 3 4 5 6 7 8 9 ...16 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word