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
 

Content dependent information flow control

Nielson, Hanne Riis ; Nielson, Flemming
in: Journal of Logical and Algebraic Methods in Programming, vol: 87, pages: 6-32

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.1016/j.jlamp.2016.09.005

  PDF

A coordination language for databases

Li, Ximeng ; Wu, Xi ; Lluch Lafuente, Alberto ; Nielson, Flemming ; Nielson, Hanne Riis
in: Logical Methods in Computer Science, vol: 13, issue: 1

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2017

 

Atomistic Galois insertions for flow sensitive integrity

Nielson, Flemming ; Nielson, Hanne Riis
in: Computer Languages, Systems and Structures, vol: 50, pages: 82-107

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: https://doi.org/10.1016/j.cl.2017.06.004

  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

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

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

2014
 

Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming ; Zhu, Huibiao ; Huang, Heqing
in: International Journal on Software Tools for Technology Transfer, vol: 16, issue: 4, pages: 421-435

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2014     |    DOI: https://doi.org/10.1007/s10009-014-0311-8

 

The logic of XACML

Ramli, Carroline Dewi Puspa Kencana ; Nielson, Hanne Riis ; Nielson, Flemming
in: Science of Computer Programming, vol: 83, pages: 80-105

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2014     |    DOI: https://doi.org/10.1016/j.scico.2013.05.003

2013
 

Predictive access control for distributed computation

Yang, Fan ; Hankin, Chris ; Nielson, Flemming ; Nielson, Hanne Riis
in: Science of Computer Programming, vol: 78, issue: 9, pages: 1264-1277

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2013     |    DOI: https://doi.org/10.1016/j.scico.2012.05.008

2012
 

Flow Logic for Process Calculi

Nielson, Hanne Riis ; Nielson, Flemming ; Pilegaard, Henrik
in: A C M Computing Surveys, vol: 44, issue: 1, pages: Article No. 3

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2012     |    DOI: https://doi.org/10.1145/2071389.2071392