Flemming Nielson

  1. 2017
  2. Published

    A coordination language for databases. / Li, Ximeng; Wu, Xi; Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis.

    In: Logical Methods in Computer Science, Vol. 13, No. 1, 2017.

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

  3. Published

    Atomistic Galois insertions for flow sensitive integrity. / Nielson, Flemming; Nielson, Hanne Riis.

    In: Computer Languages, Systems and Structures, Vol. 50, 2017, p. 82-107.

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

  4. Published

    Formal Analysis of Graphical Security Models. / Aslanyan, Zaruhi; Nielson, Flemming (Supervisor); Probst, Christian W. (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2017. 208 p. (DTU Compute PHD-2016; No. 421).

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

  5. Published

    Model checking exact cost for attack scenarios. / Aslanyan, Zaruhi; Nielson, Flemming.

    Principles of Security and Trust. Springer, 2017. p. 210-31 (Principles of Security and Trust. 6th International Conference, Post 2017, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2017. Proceedings: Lncs 10204). (Lecture Notes in Computer science, Vol. 10204).

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

  6. 2016
  7. 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

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

  9. Published

    Disjunctive Information Flow for Communicating Processes. / Li, Ximeng; Nielson, Flemming; Nielson, Hanne Riis; Feng, Xinyu.

    Revised Selected Papers of the 10th International Symposium on Trustworthy Global Computing (TGC 2015). ed. / Pierre Ganty; Michele Loreti. Springer, 2016. p. 95-111 (Lecture Notes in Computer Science, Vol. 9533).

    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

    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

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