Research Output per year
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output
Secure Guarded Commands
Nielson, F. & Nielson, H. R., 1 Jan 2020, From Lambda Calculus to Cybersecurity Through Program Analysis. Di Pierro, A., Malacaria, P. & Nagarajan, R. (eds.). Springer, p. 201-215 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12065 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
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
Projects
- 23 Finished
Abstract Interpretation for Secure Information Flow
Vasilikos, P., Nielson, H. R., Nielson, F., Hansen, M. R., Viganò, L. & Aceto, L.
01/09/2016 → 31/08/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.
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.
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.
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.
01/12/2011 → 04/03/2015
Project: PhD