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

2019
 

Lightweight information flow

Nielson, Flemming ; Nielson, Hanne Riis
part of: Models, Languages, and Tools for Concurrent and Distributed Programming, pages: 455-470, 2019, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/978-3-030-21485-2_25

 

Formal Methods

Nielson, Flemming ; Nielson, Hanne Riis

Type: Book

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.1007/978-3-030-05156-3

2015
  PDF

Discretionary Information Flow Control for Interaction-Oriented Specifications

Lluch Lafuente, Alberto ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Logic, Rewriting, and Concurrency, pages: 427-450, 2015, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: https://doi.org/10.1007/978-3-319-23165-5_20

 

Hoare Logic for Disjunctive Information Flow

Nielson, Hanne Riis ; Nielson, Flemming ; Li, Ximeng
part of: Programming Languages with Applications to Biology and Security, pages: 47-65, 2015, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: https://doi.org/10.1007/978-3-319-25527-9_6

 

Stochastic Model Checking of the Stochastic Quality Calculus

Nielson, Flemming ; Nielson, Hanne Riis ; Zeng, Kebin
part of: Software, Services, and Systems, pages: 522-537, 2015, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: https://doi.org/10.1007/978-3-319-15545-6_30

2013
 

Safety versus Security in the Quality Calculus

Nielson, Hanne Riis ; Nielson, Flemming
part of: Theories of Programming and Formal Methods, pages: 285-303, 2013, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2013     |    DOI: https://doi.org/10.1007/978-3-642-39698-4_18

2011
 

Analysing Protocol Stacks for Services

Gao, Han ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Rigorous Software Engineering for Service-Oriented Systems, pages: 369-389, 2011, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2011

2009
 

Transition systems

Pilegaard, Henrik ; Nanz, Sebastian ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Matematiske Horisonter, pages: 63-79, 2009

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2009

2007
 

Data Flow Analysis for {CCS}

Nielson, Hanne Riis ; Nielson, Flemming
part of: Lecture Notes in Computer Science, pages: 311-327, 2007, Springer

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2007

 

Semantics with Applications

Nielson, Hanne Riis ; Nielson, Flemming

Type: Book (Peer reviewed)

Status: Published     |    Year: 2007