Folgen
Danny Bøgsted Poulsen
Danny Bøgsted Poulsen
Bestätigte E-Mail-Adresse bei cs.aau.dk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
5112015
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
1922012
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
1862011
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
1032012
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
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic.
PE Bulychev, A David, KG Larsen, A Legay, G Li, DB Poulsen, A Stainer
LPAR 7180, 168-182, 2012
512012
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
482016
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
432015
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
382012
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
312012
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
262014
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
212019
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
182018
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
122020
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
112016
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
102011
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
82020
On collapsing prefix normal words
P Fleischmann, M Kulczynski, D Nowotka, DB Poulsen
Language and Automata Theory and Applications: 14th International Conference …, 2020
82020
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
82020
ZaligVinder: A generic test framework for string solvers
M Kulczynski, F Manea, D Nowotka, DB Poulsen
Journal of Software: Evolution and Process, e2400, 2021
72021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20