Danny Bøgsted Poulsen
Danny Bøgsted Poulsen
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
Uppaal SMC tutorial
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen
International Journal on Software Tools for Technology Transfer 17 (4), 397-415, 2015
2952015
Statistical model checking for networks of priced timed automata
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, J Van Vliet, ...
International Conference on Formal Modeling and Analysis of Timed Systems, 80-96, 2011
1502011
UPPAAL-SMC: Statistical model checking for priced timed automata
P Bulychev, A David, KG Larsen, M Mikučionis, DB Poulsen, A Legay, ...
arXiv preprint arXiv:1207.1272, 2012
1462012
Statistical model checking for stochastic hybrid systems
A David, D Du, KG Larsen, A Legay, M Mikučionis, DB Poulsen, ...
arXiv preprint arXiv:1208.3856, 2012
762012
Rewrite-based statistical model checking of wmtl
P Bulychev, A David, KG Larsen, A Legay, G Li, DB Poulsen
International Conference on Runtime Verification, 260-275, 2012
392012
Monitor-based statistical model checking for weighted metric temporal logic
P Bulychev, A David, KG Larsen, A Legay, G Li, DB Poulsen, A Stainer
International Conference on Logic for Programming Artificial Intelligence …, 2012
392012
Checking and distributing statistical model checking
P Bulychev, A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen
NASA Formal Methods Symposium, 449-463, 2012
322012
Modelling attack-defense trees using timed automata
O Gadyatskaya, RR Hansen, KG Larsen, A Legay, MC Olesen, ...
International Conference on Formal Modeling and Analysis of Timed Systems, 35-50, 2016
312016
Statistical model checking for biological systems
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, S Sedwards
International Journal on Software Tools for Technology Transfer 17 (3), 351-367, 2015
302015
Runtime verification of biological systems
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, S Sedwards
International Symposium On Leveraging Applications of Formal Methods …, 2012
282012
Statistical model checking of dynamic networks of stochastic hybrid automata
A David, KG Larsen, A Legay, DB Poulsen
Electronic Communications of the EASST 66, 2014
192014
Quantitative evaluation of attack defense trees using stochastic timed automata
RR Hansen, PG Jensen, KG Larsen, A Legay, DB Poulsen
International Workshop on Graphical Models for Security, 75-90, 2017
72017
Importance sampling for stochastic timed automata
C Jegourel, KG Larsen, A Legay, M Mikučionis, DB Poulsen, S Sedwards
International Symposium on Dependable Software Engineering: Theories, Tools …, 2016
72016
Stochastic semantics and statistical model checking for networks of priced timed automata
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, J van Vliet, ...
arXiv preprint arXiv:1106.3961, 2011
62011
On solving word equations using SAT
JD Day, T Ehlers, M Kulczynski, F Manea, D Nowotka, DB Poulsen
International Conference on Reachability Problems, 93-106, 2019
42019
Duration probabilistic automata
D Poulsen, J van Vliet
Technical report, Aalborg University, 2011
42011
Quantified dynamic metric temporal logic for dynamic networks of stochastic hybrid automata
A David, KG Larsen, A Legay, G Li, DB Poulsen
2014 14th International Conference on Application of Concurrency to System …, 2014
32014
On collapsing prefix normal words
P Fleischmann, M Kulczynski, D Nowotka, DB Poulsen
International Conference on Language and Automata Theory and Applications …, 2020
22020
Concrete Delays for Symbolic Traces
DB Polsen, J van Vliet
Master’s thesis, Department of Computer Science, Aalborg University, 2010
22010
Statistical Model Checking of LLVM Code
A Legay, D Nowotka, DB Poulsen, LM Tranouez
International Symposium on Formal Methods, 542-549, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–20