Flemming Nielson

Flemming Nielson

Professor

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 324, room 182

2800 Kgs. Lyngby

Home page

Request a vCard via e-mail.

Publications
Projects
Courses
CV
Loading

Publications rss feed

2017
  PDF

Formal Analysis of Graphical Security Models

Aslanyan, Zaruhi ; Nielson, Flemming (Supervisor) ; Probst, Christian W. (Supervisor)
Technical University of Denmark (DTU), pages: 208

Type: Ph.D. thesis

Status: Published     |    Year: 2017

2016
  PDF

Analysis of Security Protocols in Embedded Systems

Bruni, Alessandro ; Nielson, Flemming (Supervisor) ; Nielson, Hanne Riis (Supervisor)
Technical University of Denmark (DTU), pages: 155

Type: Ph.D. thesis

Status: Published     |    Year: 2016

  PDF

Fine-grained Information Flow for Concurrent Computation

Li, Ximeng ; Nielson, Flemming (Main supervisor) ; Nielson, Hanne Riis (Supervisor)
Technical University of Denmark (DTU), pages: 182

Type: Ph.D. thesis

Status: Published     |    Year: 2016

 

Disjunctive Information Flow for Communicating Processes

Li, Ximeng ; Nielson, Flemming ; Nielson, Hanne Riis ; Feng, Xinyu
part of: Revised Selected Papers of the 10th International Symposium on Trustworthy Global Computing (TGC 2015) (ISBN: 978-3-319-28765-2), pages: 95-111, 2016, Springer,
Presented at:
10th International Symposium on Trustworthy Global Computing (TGC 2015), 2015, Madrid

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: http://dx.doi.org/10.1007/978-3-319-28766-9_7

  PDF

Enforcing Availability in Failure-Aware Communicating Systems

López-Acosta, Hugo-Andrés ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2016) (ISBN: 978-3-319-39569-2), pages: 195-211, 2016, Springer,
Presented at:
36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2016), 2016, Heraklion, Crete

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: http://dx.doi.org/10.1007/978-3-319-39570-8_13

  PDF

Quantitative Verification and Synthesis of Attack-Defence Scenarios

Aslanyan, Zaruhi ; Nielson, Flemming ; Parker, David
part of: Proceedings of the 29th IEEE Computer Security Foundations Symposium (CSF 2016) (ISBN: 978-1-5090-2607-4), pages: 105-119, 2016, IEEE,
Presented at:
29th IEEE Computer Security Foundations Symposium (CSF 2016), 2016, Lisaboa

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: http://dx.doi.org/10.1109/CSF.2016.15

 

A Parametric Abstract Domain for Lattice-Valued Regular Expressions

Midtgaard, Jan ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the 23rd International Symposium on Static Analysis (SAS 2016) (ISBN: 978-3-662-53412-0), pages: 338-360, 2016, Springer,
Presented at:
23rd International Symposium on Static Analysis (SAS 2016), 2016, Edinburgh

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016

 

Iterated Process Analysis over Lattice-Valued Regular Expressions

Midtgaard, Jan ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP '16) (ISBN: 978-1-4503-4148-6), pages: 132-145, 2016, Association for Computing Machinery,
Presented at:
18th International Symposium on Principles and Practice of Declarative Programming (PPDP '16), 2016, Edinburgh

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: http://dx.doi.org/10.1145/2967973.2968601

  PDF

A coordination language for databases

Li, Ximeng ; Wu, Xi ; Lluch Lafuente, Alberto ; Nielson, Flemming ; Nielson, Hanne Riis
in journal: Logical Methods in Computer Science (ISSN: 1860-5974), 2016

Type: Journal article (Peer reviewed)

Status: Accepted/In press     |    Year: 2016

 

Towards Static Analysis of Policy-Based Self-adaptive Computing Systems

Margheri, Andrea ; Nielson, Hanne Riis ; Nielson, Flemming ; Pugliese, Rosario
part of: Leveraging Applications of Formal Methods, Verification and Validation. Foundational Techniques (ISBN: 978-3-319-47165-5), pages: 554-569, 2017, Springer,
Presented at:
7th International Symposium On Leveraging Applications Of Formal Methods, Verification And Validation, 2016, Corfu

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: http://dx.doi.org/10.1007/978-3-319-47166-2_39