Folgen
Danny Bøgsted Poulsen
Danny Bøgsted Poulsen
Aalborg University
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 (4), 397-415, 2015
4592015
Statistical model checking for networks of priced timed automata
A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, J Vliet, Z Wang
International conference on formal modeling and analysis of timed systems, 80-96, 2011
1772011
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
1762012
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
962012
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
512012
Monitor-based statistical model checking for weighted metric temporal logic
P Bulychev, A David, K Guldstrand Larsen, A Legay, G Li, ...
International Conference on Logic for Programming Artificial Intelligence …, 2012
472012
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
422016
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
372015
Checking and distributing statistical model checking
P Bulychev, A David, K Guldstrand Larsen, A Legay, M Mikučionis, ...
NASA Formal Methods Symposium, 449-463, 2012
372012
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
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
252014
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
162019
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
152017
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
102020
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
92011
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
82016
On collapsing prefix normal words
P Fleischmann, M Kulczynski, D Nowotka, DB Poulsen
International Conference on Language and Automata Theory and Applications …, 2020
72020
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
62020
Fluid model-checking in UPPAAL for Covid-19
PG Jensen, KY Jørgensen, KG Larsen, M Mikučionis, M Muñiz, ...
International Symposium on Leveraging Applications of Formal Methods, 385-403, 2020
52020
Duration probabilistic automata
D Poulsen, J van Vliet
Technical report, Aalborg University, 2011
42011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20