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

2017
  PDF

Time dependent policy-based access control

Vasilikos, Panagiotis ; Nielson, Flemming ; Nielson, Hanne Riis
in: Leibniz International Proceedings in Informatics, vol: 90
Presented at:
24th International Symposium on Temporal Representation and Reasoning

Type: Conference article (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.4230/LIPIcs.TIME.2017.21

2016
  PDF

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), pages: 338-360, 2016, Springer
Presented at:
23rd International Symposium on Static Analysis

Type: Article in proceedings (Peer reviewed)

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), pages: 95-111, 2016, Springer
Presented at:
10th International Symposium on Trustworthy Global Computing (TGC 2015)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: https://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), 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)

Type: Article in proceedings (Peer reviewed)

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

 

Future-dependent Flow Policies with Prophetic Variables

Li, Ximeng ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, pages: 29-42, 2017, Association for Computing Machinery
Presented at:
2016 ACM Workshop on Programming Languages and Analysis for Security

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: https://doi.org/10.1145/2993600.2993603

 

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), pages: 132-145, 2016, Association for Computing Machinery
Presented at:
18th International Symposium on Principles and Practice of Declarative Programming

Type: Article in proceedings (Peer reviewed)

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

  PDF

Modelling and Verifying Communication Failure of Hybrid Systems in HCSP

Wang, Shuling ; Nielson, Flemming ; Nielson, Hanne Riis ; Zhan, Naijun
in: Computer Journal, vol: 60, issue: 8, pages: 1111-1130

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: https://doi.org/10.1093/comjnl/bxw084

 

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, pages: 554-569, 2017, Springer
Presented at:
7th International Symposium On Leveraging Applications Of Formal Methods, Verification And Validation

Type: Article in proceedings (Peer reviewed)

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

2015
 

A calculus of quality for robustness against unreliable communication

Nielson, Hanne Riis ; Nielson, Flemming ; Vigo, Roberto
in: The Journal of Logic and Algebraic Programming, vol: 84, issue: 5, pages: 611-639

Type: Journal article (Peer reviewed)

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

 

A SAT-Based Analysis of a Calculus for Wireless Sensor Networks

Wu, Xi ; Nielson, Hanne Riis ; Zhu, Huibiao
part of: Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering (TASE 2015), pages: 23-30, 2015, IEEE
Presented at:
9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: https://doi.org/10.1109/TASE.2015.23