Hanne Riis Nielson

Hanne Riis Nielson

Professor

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 322, room 218

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

 

Multi-valued Logic for Static Analysis and Model Checking

Nielson, Flemming ; Nielson, Hanne Riis ; Zhang, Fuyuan
part of: Models, Mindsets, Meta: The What, the How, and the Why Not?, pages: 89-109, 2019, Springer

Type: Book chapter (Peer reviewed)

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

 

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

 

Secure IT Systems

Nielson, Hanne Riis ; Gollmann, Dieter

Type: Book

Status: Published     |    Year: 2013     |    DOI: https://doi.org/10.1007/978-3-642-41488-6

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