1. 2017
  2. Published

    Preface for the special issue on Interaction and Concurrency Experience 2015. / Lanese, Ivan; Lluch Lafuente, Alberto; Knight, Sophia; Vieira, Hugo Torres.

    In: Journal of Logical and Algebraic Methods in Programming, Vol. 86, No. 1, 2017, p. 1.

    Publication: Research - peer-reviewEditorial – Annual report year: 2017

  3. 2016
  4. Published

    An Adaptive Middleware for Improved Computational Performance. / Bonnichsen, Lars Frydendal; Probst, Christian W. (Supervisor); Karlsson, Sven (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2016. 134 p. (DTU Compute PHD-2015; No. 390).

    Publication: ResearchPh.D. thesis – Annual report year: 2016

  5. Published

    Analysis of Security Protocols in Embedded Systems. / Bruni, Alessandro; Nielson, Flemming (Supervisor); Nielson, Hanne Riis (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2016. 155 p. (DTU Compute PHD-2016; No. 389).

    Publication: ResearchPh.D. thesis – Annual report year: 2016

  6. Published

    A Parametric Abstract Domain for Lattice-Valued Regular Expressions. / Midtgaard, Jan; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 23rd International Symposium on Static Analysis (SAS 2016). ed. / Xavier Rival. Springer, 2016. p. 338-360 (Lecture Notes in Computer Science, Vol. 9837).

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

  7. Published

    A Process Framework for Designing Software Reference Architectures for Providing Tools as a Service. / Chauhan, Muhammad Aufeef; Babar, Muhammad Ali; Probst, Christian W.

    Proceedings of the 17th International Conference on Product-Focused Software Process Improvement (PROFES 2016). Springer, 2016. p. 111-126 (Lecture Notes in Computer Science, Vol. 10027).

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

  8. Accepted/In press

    Asynchronous Distributed Execution of Fixpoint-Based Computational Fields. / Lluch Lafuente, Alberto; Loreti, Michele ; Montanari, Ugo .

    In: Logical Methods in Computer Science, 2016.

    Publication: Research - peer-reviewJournal article – Annual report year: 2016

  9. Published

    Attack tree analysis for insider threats on the IoT using isabelle. / Kammüller, Florian; Nurse, Jason R. C.; Probst, Christian W.

    Human Aspects of Information Security, Privacy, and Trust: 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings. ed. / Theo Tryfonas. Vol. 9750 Springer, 2016. p. 234-246 (Lecture Notes in Computer Science).

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

  10. Published

    Enforcing Availability in Failure-Aware Communicating Systems. / López-Acosta, Hugo-Andrés; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2016). ed. / Elvira Albert; Ivan Lanese. Springer, 2016. p. 195-211 (Lecture Notes in Computer Science, Vol. 9688).

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

  11. Published

    Fine-grained Information Flow for Concurrent Computation. / Li, Ximeng; Nielson, Flemming (Main supervisor); Nielson, Hanne Riis (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2016. 182 p. (DTU Compute PHD-2015; No. 388).

    Publication: ResearchPh.D. thesis – Annual report year: 2016

  12. Published

    Formal modelling and analysis of socio-technical systems. / Probst, Christian W.; Kammüller, Florian; Hansen, Rene Rydhof.

    Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. ed. / Christian W. Probst; Chris Hankin; René Rydhof Hansen. Springer, 2016. p. 54-73 (Lecture Notes in Computer Science, Vol. 9560).

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

Previous 1 2 3 4 5 6 7 8 ...15 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