Hanne Riis Nielson

Hanne Riis Nielson

Professor

DTU COMPUTE
Institut for Matematik og Computer Science

Danmarks Tekniske Universitet

Richard Petersens Plads

Bygning 322, rum 218

2800 Kgs. Lyngby

Hjemmeside

Få tilsendt vCard på e-mail.

Profil
Publikationer
Projekter
Kurser
CV
Loading

Publikationer 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     |    År: 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     |    År: 2019     |    DOI: https://doi.org/10.1007/978-3-030-22348-9_7

 

Formal Methods

Nielson, Flemming ; Nielson, Hanne Riis

Type: Book

Status: Published     |    År: 2019     |    DOI: https://doi.org/10.1007/978-3-030-05156-3

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     |    År: 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     |    År: 2018     |    DOI: https://doi.org/10.1007/978-3-319-89722-6_2

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     |    År: 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     |    År: 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     |    År: 2017     |    DOI: https://doi.org/10.1016/j.cl.2017.06.004

  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     |    År: 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     |    År: 2017     |    DOI: https://doi.org/10.1007/978-3-319-63121-9_1