| Romeo: A parametric model-checker for Petri nets with stopwatches D Lime, OH Roux, C Seidner, LM Traonouez International Conference on Tools and Algorithms for the Construction and …, 2009 | 123 | 2009 |
| Parametric Model-Checking of Stopwatch Petri Nets. LM Traonouez, D Lime, OH Roux J. UCS 15 (17), 3273-3304, 2009 | 50 | 2009 |
| QUAIL: A quantitative security analyzer for imperative code F Biondi, A Legay, LM Traonouez, A Wąsowski International Conference on Computer Aided Verification, 702-707, 2013 | 37 | 2013 |
| 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 | 34 | 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 (4), 469-484, 2015 | 31 | 2015 |
| Scalable verification of Markov decision processes A Legay, S Sedwards, LM Traonouez International Conference on Software Engineering and Formal Methods, 350-362, 2014 | 31 | 2014 |
| 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 | 30 | 2008 |
| A logic for the statistical model checking of dynamic software architectures J Quilbeuf, E Cavalcante, LM Traonouez, F Oquendo, T Batista, A Legay International Symposium on Leveraging Applications of Formal Methods, 806-820, 2016 | 29 | 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 | 23 | 2016 |
| Domain-specific code generator modeling: a case study for multi-faceted concurrent systems S Naujokat, LM Traonouez, M Isberner, B Steffen, A Legay International Symposium On Leveraging Applications of Formal Methods …, 2014 | 20 | 2014 |
| Robust specification of real time components KG Larsen, A Legay, LM Traonouez, A Wąsowski International Conference on Formal Modeling and Analysis of Timed Systems …, 2011 | 20 | 2011 |
| 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 | 19 | 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 (1), 17-45, 2015 | 18 | 2015 |
| Diagnosis using unfoldings of parametric time Petri nets B Grabiec, LM Traonouez, C Jard, D Lime, OH Roux International Conference on Formal Modeling and Analysis of Timed Systems …, 2010 | 14 | 2010 |
| Statistical model checking of simulink models with plasma lab A Legay, LM Traonouez International Workshop on Formal Techniques for Safety-Critical Systems, 259-264, 2015 | 13 | 2015 |
| Parameterized study of a time petri net D Delfieu, M Sogbohossou, LM Traonouez, S Revol Cybernetics and information technologies, systems and applications: CITSA, 89-90, 2007 | 12 | 2007 |
| Rare events for statistical model checking an overview A Legay, S Sedwards, LM Traonouez International Workshop on Reachability Problems, 23-35, 2016 | 11 | 2016 |
| Distributed verification of rare properties using importance splitting observers C Jegourel, A Legay, S Sedwards, LM Traonouez arXiv preprint arXiv:1502.01838, 2015 | 11 | 2015 |
| HyLeak: hybrid analysis tool for information leakage F Biondi, Y Kawamoto, A Legay, LM Traonouez International Symposium on Automated Technology for Verification and …, 2017 | 10 | 2017 |
| Robust synthesis for real-time systems KG Larsen, A Legay, LM Traonouez, A Wąsowski Theoretical Computer Science 515, 96-122, 2014 | 10 | 2014 |
axel legayUCLouvainVerified email at uclouvain.be
