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
International Conference on Tools and Algorithms for the Construction and …, 2009
1132009
Parametric Model-Checking of Stopwatch Petri Nets.
LM Traonouez, D Lime, OH Roux
J. UCS 15 (17), 3273-3304, 2009
452009
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
352013
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
312016
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
282016
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
282015
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
282008
Scalable verification of Markov decision processes
A Legay, S Sedwards, LM Traonouez
International Conference on Software Engineering and Formal Methods, 350-362, 2014
272014
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
192011
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
172016
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
172015
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
172014
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
152017
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
142010
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
132015
Rare events for statistical model checking an overview
A Legay, S Sedwards, LM Traonouez
International Workshop on Reachability Problems, 23-35, 2016
102016
Robust synthesis for real-time systems
KG Larsen, A Legay, LM Traonouez, A Wąsowski
Theoretical Computer Science 515, 96-122, 2014
102014
A parametric counterexample refinement approach for robust timed specifications
LM Traonouez
arXiv preprint arXiv:1207.4269, 2012
102012
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
102007
HyLeak: hybrid analysis tool for information leakage
F Biondi, Y Kawamoto, A Legay, LM Traonouez
International Symposium on Automated Technology for Verification and …, 2017
92017
The system can't perform the operation now. Try again later.
Articles 1–20