| 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 | 168 | 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 | 69 | 2019 |
| 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 |
| Scalable verification of Markov decision processes A Legay, S Sedwards, LM Traonouez Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops …, 2015 | 50 | 2015 |
| Statistical model checking of dynamic software architectures E Cavalcante, J Quilbeuf, LM Traonouez, F Oquendo, T Batista, A Legay Software Architecture: 10th European Conference, ECSA 2016, Copenhagen …, 2016 | 46 | 2016 |
| 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 | 44 | 2015 |
| 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 | 42 | 2013 |
| Plasma lab: a modular statistical model checking platform A Legay, S Sedwards, LM Traonouez Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 41 | 2016 |
| 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 | 34 | 2016 |
| Parametric model-checking of time petri nets with stopwatches using the state-class graph LM Traonouez, D Lime, OH Roux Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008 | 32 | 2008 |
| 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 | 31 | 2017 |
| 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 | 25 | 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 | 24 | 2014 |
| Robust Specification of Real Time Components. KG Larsen, A Legay, LM Traonouez, A Wasowski FORMATS 6919, 129-144, 2011 | 20 | 2011 |
| Diagnosis Using Unfoldings of Parametric Time Petri Nets. B Grabiec, LM Traonouez, C Jard, D Lime, OH Roux FORMATS, 137-151, 2010 | 17 | 2010 |
| Rare events for statistical model checking an overview A Legay, S Sedwards, LM Traonouez Reachability Problems: 10th International Workshop, RP 2016, Aalborg …, 2016 | 16 | 2016 |
| Statistical model checking of simulink models with plasma lab A Legay, LM Traonouez Formal Techniques for Safety-Critical Systems: 4th International Workshop …, 2016 | 15 | 2016 |
| Distributed verification of rare properties using importance splitting observers C Jegourel, A Legay, S Sedwards, LM Traonouez arXiv preprint arXiv:1502.01838, 2015 | 15 | 2015 |
| 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 | 13 | 2018 |
| A framework for the rigorous design of highly adaptive timed systems M Cordy, A Legay, PY Schobbens, LM Traonouez 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE …, 2013 | 13 | 2013 |
axel legayUCLouvainVerified email at uclouvain.be
