1. 2016
  2. 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

  3. 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

  4. 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

  5. Published

    Future-dependent Flow Policies with Prophetic Variables. / Li, Ximeng; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security. 2016. p. 29-42 (Proceedings of the 2016 Acm Workshop on Programming Languages and Analysis for Security (plas'16)).

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

  6. Published

    Guaranteeing Privacy-Observing Data Exchange. / Probst, Christian W.

    Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Foundational Techniques (ISoLA 2016): Part I. Springer, 2016. p. 958-969 (Lecture Notes in Computer Science, Vol. 9952).

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

  7. Submitted

    High Performance with Prescriptive Optimization and Debugging. / Jensen, Nicklas Bo; Probst, Christian W. (Supervisor); Karlsson, Sven (Supervisor).

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

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

  8. Published

    Iterated Process Analysis over Lattice-Valued Regular Expressions. / Midtgaard, Jan; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP '16). Association for Computing Machinery, 2016. p. 132-145.

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

  9. Published

    Model Based Analysis of Insider Threats. / Chen, Taolue ; Han, Tingting ; Kammueller, Florian ; Nemli, Ibrahim ; Probst, Christian W.

    Proceedings of the 2016 International Conference On Cyber Security And Protection Of Digital Services (Cyber Security) . IEEE, 2016.

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

  10. Published

    Modelling and Verifying Communication Failure of Hybrid Systems in HCSP. / Wang, Shuling ; Nielson, Flemming; Nielson, Hanne Riis; Zhan, Naijun.

    In: Computer Journal, Vol. 60, No. 8, 2016, p. 1111-1130.

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

  11. Published

    Preface: Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014). / Bosnacki, Dragan; Edelkamp, Stefan; Lluch Lafuente, Alberto; Wijs, Anton.

    In: Science of Computer Programming, Vol. 130, 2016, p. 1.

    Publication: ResearchEditorial – Annual report year: 2017

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