Publications

2018

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

Statistical Model Checking of LLVM Code Inproceedings

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Links | BibTeX