| 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 | 457 | 2015 |
| 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 | 177 | 2011 |
| 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 | 174 | 2012 |
| 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 | 96 | 2012 |
| 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 | 51 | 2012 |
| 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 | 47 | 2012 |
| 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 | 41 | 2016 |
| 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 | 37 | 2015 |
| 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 | 37 | 2012 |
| 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 | 31 | 2012 |
| 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 | 25 | 2014 |
| 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 | 16 | 2019 |
| 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 | 14 | 2017 |
| 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 | 10 | 2020 |
| 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 | 9 | 2011 |
| 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 | 8 | 2016 |
| On collapsing prefix normal words P Fleischmann, M Kulczynski, D Nowotka, DB Poulsen International Conference on Language and Automata Theory and Applications …, 2020 | 7 | 2020 |
| 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 | 6 | 2020 |
| 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 | 5 | 2020 |
| Duration probabilistic automata D Poulsen, J van Vliet Technical report, Aalborg University, 2011 | 4 | 2011 |
axel legayUCLouvainVerified email at uclouvain.be
