Photo of Flemming Nielson

View Scopus Profile

Flemming Nielson

Professor PhD DSc

 https://orcid.org/0000-0001-7362-6176

  • Richard Petersens Plads, 324, 182

    2800 Kgs. Lyngby

    Denmark

1982 …2019
If you made any changes in Pure these will be visible here soon.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1982 2019

Enforcing globally dependent flow policies in message-passing systems

Li, X., Nielson, F. & Nielson, H. R., 1 Oct 2019, In : Journal of Computer Languages. 54, 46 p., 100904.

Research output: Contribution to journal › Journal article › Research › peer-review

Formal Methods: An Appetizer.

Nielson, F. & Nielson, H. R., 2019, Springer. 170 p.

Research output: Book/Report › Book › Education

Lightweight information flow

Nielson, F. & Nielson, H. R., 1 Jan 2019, Models, Languages, and Tools for Concurrent and Distributed Programming. Springer, p. 455-470 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11665 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Multi-valued Logic for Static Analysis and Model Checking

Nielson, F., Nielson, H. R. & Zhang, F., 1 Jan 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, p. 89-109 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11200 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Static Analysis for Proactive Security

Huth, M. & Nielson, F., 2019, Computing and Software Science. Springer, p. 374-92 (Lecture Notes in Computer Science, Vol. 10000).

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Projects 2000 2019

Abstract Interpretation for Secure Information Flow

Vasilikos, P., Nielson, H. R., Nielson, F., Hansen, M. R., Viganò, L. & Aceto, L.

Samfinansieret - Andet

01/09/2016 → 11/12/2019

Project: PhD

Stochastic Model Checking of Socio- Technical Models

Aslanyan, Z., Nielson, F., Probst, C. W., Lluch Lafuente, A., Hansen, R. R. & Legay, A.

1/3 FUU, 1/3 inst 1/3 Andet

01/07/2013 → 23/11/2016

Project: PhD

SESAMO: Security and Safety Modelling

Bruni, A., Nielson, F., Nielson, H. R., Probst, C. W., Kremer, S. & Maffeis, S.

Institut, samfinansiering

01/10/2012 → 31/03/2016

Project: PhD

SESAMO: Security and Safety Modelling

Li, X., Nielson, F., Nielson, H. R., Probst, C. W., Aceto, L. & Mantal, H.

Institut, samfinansiering

01/10/2012 → 21/01/2016

Project: PhD

Cyber-Physical Systems secure communication protocols

Vigo, R., Nielson, F., Nielson, H. R., Lluch Lafuente, A., Victor, B. & Viganò, L.

1/3 FUU, 1/3 inst 1/3 Andet

01/12/2011 → 04/03/2015

Project: PhD