Följ
Danny Bøgsted Poulsen
Danny Bøgsted Poulsen
Verifierad e-postadress på cs.aau.dk - Startsida
Titel
Citeras av
Citeras av
År
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
4982015
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
1862012
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
1842011
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
1002012
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
542012
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
502012
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
472016
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
422015
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
382012
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
202019
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
182017
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
International Symposium on Dependable Software Engineering: Theories, Tools …, 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
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
82020
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
International Conference on Language and Automata Theory and Applications …, 2020
82020
Practical controller synthesis for MTL0,∞
G Li, PG Jensen, KG Larsen, A Legay, DB Poulsen
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
62017
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20