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

2018
 

Process-Local Static Analysis of Synchronous Processes

Midtgaard, Jan ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Static Analysis, pages: 284-305, 2018, Springer
Presented at:
25th Static Analysis Symposium

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.1007/978-3-319-99725-4_18

  PDF

Secure information release in timed automata

Vasilikos, Panagiotis ; Nielson, Flemming ; Nielson, Hanne Riis
part of: POST 2018: Principles of Security and Trust, pages: 28-52, 2018, Springer
Presented at:
7th International Conference on Principles of Security and Trust

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.1007/978-3-319-89722-6_2

2017
  PDF

Effect-driven QuickChecking of compilers

Midtgaard, Jan ; Justesen, Mathias Nygaard ; Kasting, Patrick Frederik Soelmark ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the Acm on Programming Languages , pages: 1-23, 2017, Association for Computing Machinery

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.1145/3110259

 

Information Flow for Timed Automata

Nielson, Flemming ; Nielson, Hanne Riis ; Vasilikos, Panagiotis
part of: Models, Algorithms, Logics and Tools, pages: 3-21, 2017, Springer
Presented at:
KiMfest

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.1007/978-3-319-63121-9_1

  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