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
5792015
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
2142012
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
2082011
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
1092012
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
662016
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
592012
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
562013
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
472015
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
402012
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
362012
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
302019
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
282014
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
122016
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
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
102023
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
102022
On collapsing prefix normal words
P Fleischmann, M Kulczynski, D Nowotka, DB Poulsen
International Conference on Language and Automata Theory and Applications …, 2020
102020
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
102020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20