| Romeo: A parametric model-checker for Petri nets with stopwatches D Lime, OH Roux, C Seidner, LM Traonouez Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009 | 186 | 2009 |
| Statistical model checking A Legay, A Lukina, LM Traonouez, J Yang, SA Smolka, R Grosu Computing and software science: state of the art and perspectives, 478-504, 2019 | 111 | 2019 |
| Smart sampling for lightweight verification of Markov decision processes P D’Argenio, A Legay, S Sedwards, LM Traonouez International Journal on Software Tools for Technology Transfer 17, 469-484, 2015 | 66 | 2015 |
| Scalable verification of Markov decision processes A Legay, S Sedwards, LM Traonouez International conference on software engineering and formal methods, 350-362, 2014 | 63 | 2014 |
| Parametric model-checking of stopwatch Petri nets LM Traonouez, D Lime, OH Roux Journal of Universal Computer Science 15 (17), 3273-3304, 2009 | 63 | 2009 |
| Statistical model checking of dynamic software architectures E Cavalcante, J Quilbeuf, LM Traonouez, F Oquendo, T Batista, A Legay European Conference on Software Architecture, 185-200, 2016 | 48 | 2016 |
| Plasma lab: a modular statistical model checking platform A Legay, S Sedwards, LM Traonouez International Symposium on Leveraging Applications of Formal Methods, 77-93, 2016 | 44 | 2016 |
| QUAIL: A quantitative security analyzer for imperative code F Biondi, A Legay, LM Traonouez, A Wąsowski Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 43 | 2013 |
| A logic for the statistical model checking of dynamic software architectures J Quilbeuf, E Cavalcante, LM Traonouez, F Oquendo, T Batista, A Legay Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 36 | 2016 |
| Verification of interlocking systems using statistical model checking Q Cappart, C Limbrée, P Schaus, J Quilbeuf, LM Traonouez, A Legay 2017 IEEE 18th International Symposium on High Assurance Systems Engineering …, 2017 | 35 | 2017 |
| Parametric model-checking of time petri nets with stopwatches using the state-class graph LM Traonouez, D Lime, OH Roux International Conference on Formal Modeling and Analysis of Timed Systems …, 2008 | 35 | 2008 |
| Real-time specifications A David, KG Larsen, A Legay, U Nyman, LM Traonouez, A Wąsowski International Journal on Software Tools for Technology Transfer 17, 17-45, 2015 | 29 | 2015 |
| Domain-specific code generator modeling: a case study for multi-faceted concurrent systems S Naujokat, LM Traonouez, M Isberner, B Steffen, A Legay Leveraging Applications of Formal Methods, Verification and Validation …, 2014 | 28 | 2014 |
| Robust specification of real time components KG Larsen, A Legay, LM Traonouez, A Wąsowski Formal Modeling and Analysis of Timed Systems: 9th International Conference …, 2011 | 22 | 2011 |
| Diagnosis using unfoldings of parametric time Petri nets B Grabiec, LM Traonouez, C Jard, D Lime, OH Roux Formal Modeling and Analysis of Timed Systems: 8th International Conference …, 2010 | 18 | 2010 |
| Rare events for statistical model checking an overview A Legay, S Sedwards, LM Traonouez International Workshop on Reachability Problems, 23-35, 2016 | 17 | 2016 |
| Statistical model checking of simulink models with plasma lab A Legay, LM Traonouez Formal Techniques for Safety-Critical Systems: 4th International Workshop …, 2016 | 17 | 2016 |
| High-level frameworks for the specification and verification of scheduling problems M Chadli, JH Kim, KG Larsen, A Legay, S Naujokat, B Steffen, ... International Journal on Software Tools for Technology Transfer 20, 397-422, 2018 | 16 | 2018 |
| Model checking the ikev2 protocol using spin T Ninet, A Legay, R Maillard, LM Traonouez, O Zendra 2019 17th International Conference on Privacy, Security and Trust (PST), 1-7, 2019 | 14 | 2019 |
| Distributed verification of rare properties using importance splitting observers C Jegourel, A Legay, S Sedwards, LM Traonouez arXiv preprint arXiv:1502.01838, 2015 | 14 | 2015 |
axel legayUCLouvainVerified email at uclouvain.be
