| 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 | 620 | 2015 |
| 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 | 220 | 2012 |
| 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 | 213 | 2011 |
| 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 | 114 | 2012 |
| 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 | 68 | 2016 |
| 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 | 58 | 2012 |
| 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 | 55 | 2013 |
| 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 | 49 | 2015 |
| 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 | 41 | 2012 |
| 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 | 35 | 2019 |
| 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 | 35 | 2012 |
| 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 | 27 | 2014 |
| 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 | 22 | 2018 |
| 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 | 14 | 2020 |
| 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 | 14 | 2016 |
| 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 | 13 | 2023 |
| 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 | 13 | 2022 |
| 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 | 12 | 2011 |
| 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 | 11 | 2020 |
| 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 | 11 | 2020 |
Kim G. LarsenDirector, Professor Aalborg UniversityEmail confirmado em cs.aau.dk
