Louis-Marie Traonouez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
15
Active years
2009–2023
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SMC | Towards a Multi-Agent Simulation of Cyber-attackers and Cyber-defenders Battles. | Julien Soul, Jean-Paul Jamont, Michel Occello, Paul Thron, Louis-Marie Traonouez |
| 2019 | PST | Model Checking the IKEv2 Protocol Using Spin. | Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra |
| 2019 | TrustCom | The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2. | Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra |
| 2018 | FM | Statistical Model Checking of LLVM Code. | Axel Legay, Dirk Nowotka, Danny Bgsted Poulsen, Louis-Marie Traonouez |
| 2018 | ISoLA | Statistical Model Checking of Incomplete Stochastic Systems. | Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez |
| 2018 | VECoS | Orchestration Synthesis for Real-Time Service Contracts. | Davide Basile, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez |
| 2017 | ATVA | HyLeak: Hybrid Analysis Tool for Information Leakage. | Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez |
| 2016 | ECSA | Statistical Model Checking of Dynamic Software Architectures. | Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flvio Oquendo, Thas Batista, Axel Legay |
| 2016 | FMICS | A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. | Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen |
| 2016 | ISoLA | Plasma Lab: A Modular Statistical Model Checking Platform. | Axel Legay, Sean Sedwards, Louis-Marie Traonouez |
| 2016 | ISoLA | A Logic for the Statistical Model Checking of Dynamic Software Architectures. | Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flvio Oquendo, Thas Batista, Axel Legay |
| 2016 | SAC | A formal modeling and analysis framework for software product line of preemptive real-time systems. | Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Mathieu Acher, Sungwon Kang |
| 2014 | ICTAC | Structural Refinement for the Modal nu-Calculus. | Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez |
| 2014 | ISoLA | A Formalism for Stochastic Adaptive Systems. | Benot Boyer, Axel Legay, Louis-Marie Traonouez |
| 2014 | ISoLA | Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. | Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay |
| 2014 | SEFM | Scalable Verification of Markov Decision Processes. | Axel Legay, Sean Sedwards, Louis-Marie Traonouez |
| 2013 | ATVA | PyEcdar: Towards Open Source Implementation for Timed Systems. | Axel Legay, Louis-Marie Traonouez |
| 2013 | CAV | QUAIL: A Quantitative Security Analyzer for Imperative Code. | Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski |
| 2013 | ICSE | A framework for the rigorous design of highly adaptive timed systems. | Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez |
| 2010 | ATVA | Symbolic Unfolding of Parametric Stopwatch Petri Nets. | Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux |
| 2009 | TACAS | Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. | Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez |