Axel Legay
Nexen (Canada)(CA)NXP (Belgium)(BE)BH Consulting (Ireland)(IE)UCLouvain(BE)
Publications by Year
Research Areas
Formal Methods in Verification, Software Reliability and Analysis Research, Software Testing and Debugging Techniques, Advanced Software Engineering Methodologies, Model-Driven Software Engineering Techniques
Most-Cited Works
- → Uppaal SMC tutorial(2015)456 cited
- → Statistical Model Checking: An Overview(2010)408 cited
- → Timed I/O automata(2010)173 cited
- → Statistical Model Checking for Networks of Priced Timed Automata(2011)150 cited
- → QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems(2018)149 cited
- → UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata(2012)146 cited
- → Time for Statistical Model Checking of Real-Time Systems(2011)144 cited