Hanne Riis Nielson

Hanne Riis Nielson

Professor, head of section

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 324, room 181

2800 Kgs. Lyngby

Home page

Request a vCard via e-mail.

Publications
Projects
Courses
CV
Loading

Publications rss feed

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

  PDF

Security Protocols: Specification, Verification, Implementation, and Composition

Almousa, Omar ; Mödersheim, Sebastian Alexander (Supervisor) ; Nielson, Hanne Riis (Supervisor)
Technical University of Denmark (DTU), pages: 164

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

2015
  PDF

Availability by Design

Vigo, Roberto ; Nielson, Hanne Riis (Supervisor) ; Nielson, Flemming (Supervisor)
Technical University of Denmark (DTU), pages: 190

Type: Ph.D. thesis

Status: Published     |    Year: 2015

  PDF

Modelling and Analysing Access Control Policies in XACML 3.0

Ramli, Carroline Dewi Puspa Kencana ; Nielson, Hanne Riis (Supervisor) ; Nielson, Flemming (Supervisor)
Technical University of Denmark, pages: 217

Type: Ph.D. thesis

Status: Published     |    Year: 2015

 

Stochastic Model Checking of the Stochastic Quality Calculus

Nielson, Flemming ; Nielson, Hanne Riis ; Zeng, Kebin
part of: Software, Services, and Systems (ISBN: 978-3-319-15544-9), pages: 522-537, 2015, Springer,

Type: Book chapter (Peer reviewed)

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

  PDF

Klaim-DB: A Modeling Language for Distributed Database Applications

Wu, Xi ; Li, Ximeng ; Lluch Lafuente, Alberto ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Coordination Models and Languages (ISBN: 978-3-319-19281-9), pages: 197-212, 2015, Springer,
Presented at:
17th IFIP WG 6.1 International Conference, COORDINATION 2015, 2015, Grenoble

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: http://dx.doi.org/10.1007/978-3-319-19282-6_13

 

A calculus of quality for robustness against unreliable communication

Nielson, Hanne Riis ; Nielson, Flemming ; Vigo, Roberto
in journal: The Journal of Logic and Algebraic Programming (ISSN: 1567-8326) (DOI: http://dx.doi.org/10.1016/j.jlamp.2015.04.002), vol: 84, issue: 5, pages: 611-639, 2015

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: http://dx.doi.org/10.1016/j.jlamp.2015.04.002

 

Analysis of Security Protocols in Embedded Systems

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

Type: Ph.D. thesis

Status: Submitted     |    Year: 2015