| 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 | 370 | 2015 |
| Statistical model checking for networks of priced timed automata A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, J Van Vliet, ... International conference on formal modeling and analysis of timed systems, 80-96, 2011 | 167 | 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 | 161 | 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 | 86 | 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 | 46 | 2012 |
| Monitor-based statistical model checking for weighted metric temporal logic P Bulychev, A David, KG Larsen, A Legay, G Li, DB Poulsen, A Stainer International Conference on Logic for Programming Artificial Intelligence …, 2012 | 43 | 2012 |
| Checking and distributing statistical model checking P Bulychev, A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen NASA Formal Methods Symposium, 449-463, 2012 | 37 | 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 | 35 | 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 | 32 | 2015 |
| 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 | 30 | 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 | 22 | 2014 |
| 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 | 11 | 2017 |
| 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 |
| 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 | 8 | 2019 |
| 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 | 6 | 2016 |
| On collapsing prefix normal words P Fleischmann, M Kulczynski, D Nowotka, DB Poulsen International Conference on Language and Automata Theory and Applications …, 2020 | 5 | 2020 |
| Duration probabilistic automata D Poulsen, J van Vliet Technical report, Aalborg University, 2011 | 4 | 2011 |
| Quantified dynamic metric temporal logic for dynamic networks of stochastic hybrid automata A David, KG Larsen, A Legay, G Li, DB Poulsen 2014 14th International Conference on Application of Concurrency to System …, 2014 | 3 | 2014 |
| Concrete Delays for Symbolic Traces DB Polsen, J van Vliet Master’s thesis, Department of Computer Science, Aalborg University, 2010 | 2 | 2010 |
| 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 | 1 | 2020 |
axel legayUCLouvainVerified email at uclouvain.be
