Louis‐Marie Traonouez
Thales (Australia)(AU)
Publications by Year
Research Areas
Formal Methods in Verification, Petri Nets in System Modeling, Software Reliability and Analysis Research, Real-Time Systems Scheduling, Model-Driven Software Engineering Techniques
Most-Cited Works
- → Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches(2009)113 cited
- → Smart sampling for lightweight verification of Markov decision processes(2015)55 cited
- → Scalable Verification of Markov Decision Processes(2015)53 cited
- → Parametric Model-Checking of Stopwatch Petri Nets(2020)48 cited
- → Statistical Model Checking of Dynamic Software Architectures(2016)37 cited
- → QUAIL: A Quantitative Security Analyzer for Imperative Code(2013)34 cited
- → Plasma Lab: A Modular Statistical Model Checking Platform(2016)34 cited
- → Verification of Interlocking Systems Using Statistical Model Checking(2017)31 cited
- → A Logic for the Statistical Model Checking of Dynamic Software Architectures(2016)27 cited
- → Real-time specifications(2013)22 cited