Follow
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, 397-415, 2015
6222015
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
2212012
Statistical model checking for networks of priced timed automata
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, J Van Vliet, ...
Formal Modeling and Analysis of Timed Systems: 9th International Conference …, 2011
2132011
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
1142012
Modelling attack-defense trees using timed automata
O Gadyatskaya, RR Hansen, KG Larsen, A Legay, MC Olesen, ...
Formal Modeling and Analysis of Timed Systems: 14th International Conference …, 2016
682016
Monitor-based statistical model checking for weighted metric temporal logic
P Bulychev, A David, K Guldstrand Larsen, A Legay, G Li, ...
Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012
582012
Rewrite-based statistical model checking of WMTL
P Bulychev, A David, KG Larsen, A Legay, G Li, DB Poulsen
Runtime Verification: Third International Conference, RV 2012, Istanbul …, 2013
552013
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, 351-367, 2015
492015
Checking and distributing statistical model checking
P Bulychev, A David, K Guldstrand Larsen, A Legay, M Mikučionis, ...
NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA …, 2012
412012
On solving word equations using SAT
JD Day, T Ehlers, M Kulczynski, F Manea, D Nowotka, DB Poulsen
Reachability Problems: 13th International Conference, RP 2019, Brussels …, 2019
352019
Runtime verification of biological systems
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, S Sedwards
Leveraging Applications of Formal Methods, Verification and Validation …, 2012
352012
Statistical model checking of dynamic networks of stochastic hybrid automata
A David, KG Larsen, A Legay, D Poulsen
Electronic Communications of the EASST 66, 2014
272014
Quantitative evaluation of attack defense trees using stochastic timed automata
RR Hansen, PG Jensen, KG Larsen, A Legay, DB Poulsen
Graphical Models for Security: 4th International Workshop, GraMSec 2017 …, 2018
222018
The power of string solving: simplicity of comparison
M Kulczynski, F Manea, D Nowotka, DB Poulsen
Proceedings of the IEEE/ACM 1st International Conference on Automation of …, 2020
142020
Importance sampling for stochastic timed automata
C Jegourel, KG Larsen, A Legay, M Mikučionis, DB Poulsen, S Sedwards
Dependable Software Engineering: Theories, Tools, and Applications: Second …, 2016
142016
ZaligVinder: A generic test framework for string solvers
M Kulczynski, F Manea, D Nowotka, DB Poulsen
Journal of Software: Evolution and Process 35 (4), e2400, 2023
132023
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach
R Gu, PG Jensen, DB Poulsen, C Seceleanu, E Enoiu, K Lundqvist
International Journal on Software Tools for Technology Transfer 24 (3), 395-414, 2022
132022
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
122011
Rule-based word equation solving
JD Day, M Kulczynski, F Manea, D Nowotka, DB Poulsen
Proceedings of the 8th International Conference on Formal Methods in …, 2020
112020
Fluid model-checking in UPPAAL for Covid-19
PG Jensen, KY Jørgensen, KG Larsen, M Mikučionis, M Muñiz, ...
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
112020
The system can't perform the operation now. Try again later.
Articles 1–20