Flemming Nielson

Professor

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 324, room 182

2800 Kgs. Lyngby

Ph.	+45 45 25 37 35
E-mail	fnie@dtu.dk
ORCID	0000-0001-7362-6176

Home page

vCard

Request a vCard via e-mail.

Publications

Projects

Courses

Publications

Sort:

ALL Article in Journal (60) Academic Dissertation (18) Book (25) Conference (152) Report (9) MISC (1) PATENT (0) Peer Reviewed (225)

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

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

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

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

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

Model checking exact cost for attack scenarios

Aslanyan, Zaruhi ; Nielson, Flemming
part of: Principles of Security and Trust, pages: 210-31, 2017, Springer
Presented at: Principles of Security and Trust. 6th International Conference

Type: Article in proceedings (Peer reviewed)

Status: Published | Year: 2017 | DOI: https://doi.org/10.1007/978-3-662-54455-6_10

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