Follow
Louis-Marie Traonouez
Louis-Marie Traonouez
INRIA Rennes
Verified email at inria.fr
Title
Cited by
Cited by
Year
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
1682009
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
692019
Parametric model-checking of stopwatch Petri nets
LM Traonouez, D Lime, OH Roux
Journal of Universal Computer Science 15 (17), 3273-3304, 2009
632009
Scalable verification of Markov decision processes
A Legay, S Sedwards, LM Traonouez
Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops …, 2015
502015
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
462016
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
442015
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
422013
Plasma lab: a modular statistical model checking platform
A Legay, S Sedwards, LM Traonouez
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
412016
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
342016
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
322008
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
312017
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
252015
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
242014
Robust Specification of Real Time Components.
KG Larsen, A Legay, LM Traonouez, A Wasowski
FORMATS 6919, 129-144, 2011
202011
Diagnosis Using Unfoldings of Parametric Time Petri Nets.
B Grabiec, LM Traonouez, C Jard, D Lime, OH Roux
FORMATS, 137-151, 2010
172010
Rare events for statistical model checking an overview
A Legay, S Sedwards, LM Traonouez
Reachability Problems: 10th International Workshop, RP 2016, Aalborg …, 2016
162016
Statistical model checking of simulink models with plasma lab
A Legay, LM Traonouez
Formal Techniques for Safety-Critical Systems: 4th International Workshop …, 2016
152016
Distributed verification of rare properties using importance splitting observers
C Jegourel, A Legay, S Sedwards, LM Traonouez
arXiv preprint arXiv:1502.01838, 2015
152015
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
132018
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
132013
The system can't perform the operation now. Try again later.
Articles 1–20