Publications

2021

Kulczynski, Mitja; abd Dirk Nowotka, Florin Manea; Poulsen, Danny Bøgsted

ZaligVinder: A generic test framework for string solvers Journal Article

In: Journal of Software: Evolution and Process, 2021.

Abstract | Links | BibTeX

Møler, Bjarke Hilmer; Søndergaard, Jacob Gosch; Jensen, Kristoffer Skagbæk; Pedersen, Magnus Winkel; Bøgedal, Tobias Worm; Christensen, Anton; Poulsen, Danny Bøgsted; Larsen, Kim Guldstrand; Hansen, René Rydhof; Jensen, Thomas Rosted; Madsen, Heino Juvoll; Uhrenfeldt, Henrik

Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code Inproceedings

In: Secure IT} Systems - 26th Nordic Conference, NordSec 2021, Virtual Event, November 29-30, 2021, Proceedings, pp. 192 – 211, Springer, 2021.

Links | BibTeX

Kulczynski, Mitja; Nowotka, Dirk; Legay, Axel; Poulsen, Danny Bøgsted

Analysis of Source Code Using Uppaal Inproceedings Forthcoming

In: Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021, pp. 31 – 38, Forthcoming.

Links | BibTeX

Poulsen, Danny Bøgsted; Larsen, Kim Guldstrand; Legay, Axel; Jensen, Peter Gjøl

ADTLang: A Programming Language Approach to Attack Defense Trees Journal Article

In: Internation Journal of Software Tools Technology Transfer, vol. 23, no. 1, pp. 89-104, 2021.

Links | BibTeX

2020

Jensen, Peter Gjøl; Jørgensen, Kenneth Yrke; Larsen, Kim Guldstrand; Mikučionis, Marius; Rodriguez, Marco Antonio Muniz; Poulsen, Danny Bøgsted

Fluid Model-Checking in UPPAAL for Covid-19 Inproceedings Forthcoming

In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I, pp. 385 – 403, Spring, Forthcoming.

Abstract | Links | BibTeX

Day, Joel D.; Kulczynski, Mitja; Manea, Florin; Nowotka, Dirk; Poulsen, Danny Bøgsted

Rule-based Word Equation Solving Inproceedings

In: FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020, pp. 87–97, ACM, 2020, (Best Video Presentation Award ).

Abstract | Links | BibTeX

Kulczynski, Mitja; Manea, Florin; Nowotka, Dirk; Poulsen, Danny Bøgsted

The Power of String Solving: Simplicity of Comparison Inproceedings

In: AST@ICSE 2020: {IEEE/ACM} 1st International Conference on Automation of Software Test, Seoul, Republic of Korea, 15-16 July, 2020, pp. 85–88, ACM, 2020, ISBN: 9781450379571, (Special Recognition Award (Short Paper)).

Abstract | Links | BibTeX

Kulczynski, Mitja; Nowotka, Dirk; Fleischman, Pamela; Poulsen, Danny Bøgsted

On collapsing prefix normal words Inproceedings

In: andCarlos Martín-Vide, Alberto Leporati; Shapira, Dana; Zandron, Claudio (Ed.): Language and Automata Theory and Applications. , pp. 412-424, Springer, 2020, ISBN: 978-3-030-40607-3.

Abstract | Links | BibTeX

Legay, Axel; Nowotka, Dirk; Poulsen, Danny Bøgsted

Automatic Verification of LLVM Code Unpublished

2020.

BibTeX

2019

Day, Joel; Ehlers, Thorsten; Kulczynski, Mitja; Manea, Florin; Nowotka, Dirk; Poulsen, Danny Bøgsted

On Solving Word Equations Using SAT Inproceedings

In: 13th International Conference on Reachability Problems, pp. 93–106, Springer, 2019, ISBN: 978-3-030-30805-6.

Abstract | Links | BibTeX

2018

Legay, Axel; Nowotka, Dirk; Poulsen, Danny Bøgsted; Traonouez, Louis-Marie

Statistical Model Checking of LLVM Code Inproceedings

In: 2018, ISBN: 978-3-319-95582-7.

Abstract | Links | BibTeX

2017

Li, Guangyuan; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Legay, Axel; Poulsen, Danny Bøgsted

Practical Controller Synthesis for MTL Inproceedings

In: 2017, ISBN: 978-1-4503-5077-8 .

Abstract | Links | BibTeX

Hansen, Renè Rydhof; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Legay, Axel; Poulsen, Danny Bøgsted

Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata Inproceedings

In: 2017.

Abstract | Links | BibTeX

2016

Gadyatskaya, Olga; Hansen, René Rydhof; Larsen, Kim Guldstrand; Legay, Axel; Olesen, Mads Chr.; Poulsen, Danny Bøgsted

Modelling Attack-defense Trees Using Timed Automata Inproceedings

In: 2016, ISBN: 978-3-319-44878-7.

Links | BibTeX

Jegourel, Cyrille; Larsen, Kim Guldstrand; Legay, Axel; Mikucionis, Marius; Poulsen, Danny Bøgsted; Sedwards, Sean

Importance Sampling for Stochastic Timed Automata Inproceedings

In: 2016, ISBN: 978-3-319-47677-3.

Abstract | Links | BibTeX

2015

Poulsen, Danny Bøgsted

Statistical Model Checking of Rich Models and Properties PhD Thesis

2015, ISBN: 978-87-7112-527-6.

Abstract | Links | BibTeX

David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Mikucionis, Marius; Poulsen, Danny Bøgsted

Uppaal SMC tutorial. Journal Article

In: 2015, ISBN: 1433-2779.

Links | BibTeX

David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Mikucionis, Marius; Poulsen, Danny Bøgsted; Sedwards, Sean

Statistical model checking for biological systems Journal Article

In: 2015, ISSN: 1433-2779.

Links | BibTeX

2014

David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Li, Guangyuan; Poulsen, Danny Bøgsted

Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. Journal Article

In: 2014, ISSN: 1550-4808.

Abstract | Links | BibTeX

2013

David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Poulsen, Danny Bøgsted

Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata. Inproceedings

In: 2013.

Abstract | Links | BibTeX

2012

David, Alexandre; Du, Dehui; Larsen, Kim Guldstrand; Legay, Axel; Mikucionis, Marius; Poulsen, Danny Bøgsted; Sedwards, Sean

Statistical Model Checking for Stochastic Hybrid Systems Inproceedings

In: 2012.

Links | BibTeX

Bulychev, Peter E.; David, Alexandre; Larsen, Kim Guldstrand; Mikucionis, Marius; Poulsen, Danny Bøgsted; Legay, Axel; Wang, Zheng

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata. Inproceedings

In: 2012.

Links | BibTeX

Bulychev, Peter E.; David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Li, Guangyuan; Poulsen, Danny Bøgsted

Rewrite-Based Statistical Model Checking of WMTL. Inproceedings

In: 2012, ISBN: 978-3-642-35632-2.

Abstract | Links | BibTeX

Bulychev, Peter E.; David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Mikucionis, Marius; Poulsen, Danny Bøgsted

Checking and Distributing Statistical Model Checking. Journal Article

In: 2012, ISBN: 978-3-642-28891-3.

Abstract | Links | BibTeX

Bulychev, Peter E.; David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Li, Guangyuan; Poulsen, Danny Bøgsted; Stainer, Amélie

Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. Inproceedings

In: 2012, ISBN: 978-3-642-28717-6.

Abstract | Links | BibTeX

David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Mikucionis, Marius; Poulsen, Danny Bøgsted; Sedwards, Sean

Runtime Verification of Biological Systems. Inproceedings

In: 2012, ISBN: 978-3-642-34026-0.

Links | BibTeX

2011

David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Mikucionis, Marius; Poulsen, Danny Bøgsted; van Vliet, Jonas; Wang, Zheng

Statistical Model Checking for Networks of Priced Timed Automata Inproceedings

In: 2011, ISBN: 978-3-642-24310-3.

Links | BibTeX