Louis-Marie Traonouez

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 29

Top Venues

CoRR

Int. J. Softw. Tools Technol. Transf.

ISoLA (1)

FPS@ETAPS

University of Nantes, France (PHD)

Education History

University of Nantes, France

PHD

Publications

Julien Soulé, Jean-Paul Jamont, Michel Occello, Paul Théron, Louis-Marie Traonouez
Towards a Multi-Agent Simulation of Cyber-attackers and Cyber-defenders Battles. SMC (2023)
Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
Logical vs. behavioural specifications. Inf. Comput. 271 (2020)
Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra
Model Checking the IKEv2 Protocol Using Spin. PST (2019)
Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
Hybrid statistical estimation of mutual information and its application to information flow. Formal Aspects Comput. 31 (2) (2019)
Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra
The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2. TrustCom/BigDataSE (2019)
Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow. CoRR (2018)
Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez
Statistical Model Checking of Incomplete Stochastic Systems. ISoLA (2) (2018)
Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
Compositionality for quantitative specifications. Soft Comput. 22 (4) (2018)
Davide Basile, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez
Orchestration Synthesis for Real-Time Service Contracts. VECoS (2018)
Mounir Chadli, Jin Hyun Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez
High-level frameworks for the specification and verification of scheduling problems. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez
Statistical Model Checking of LLVM Code. FM (2018)
Ashalatha Kunnappilly, Axel Legay, Tiziana Margaria, Cristina Cerschi Seceleanu, Bernhard Steffen, Louis-Marie Traonouez
Analyzing ambient assisted living solutions: A research perspective. DTIS (2017)
Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay
Verification of Interlocking Systems Using Statistical Model Checking. HASE (2017)
Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
HyLeak: Hybrid Analysis Tool for Information Leakage. ATVA (2017)
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Rare Events for Statistical Model Checking an Overview. RP (2016)
Axel Legay, Louis-Marie Traonouez
Statistical Model Checking with Change Detection. LNCS Trans. Found. Mastering Chang. 1 (2016)
Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay
Verification of interlocking systems using statistical model checking. CoRR (2016)
Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi
Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Rev. 13 (3) (2016)
Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay
Statistical Model Checking of Dynamic Software Architectures. ECSA (2016)
Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Mathieu Acher, Sungwon Kang
A formal modeling and analysis framework for software product line of preemptive real-time systems. SAC (2016)
Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay
A Logic for the Statistical Model Checking of Dynamic Software Architectures. ISoLA (1) (2016)
Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS (2016)
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Plasma Lab: A Modular Statistical Model Checking Platform. ISoLA (1) (2016)
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Estimating Rewards & Rare Events in Nondeterministic Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers. CoRR (2015)
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski
Real-time specifications. Int. J. Softw. Tools Technol. Transf. 17 (1) (2015)
Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Distributed Verification of Rare Properties using Importance Splitting Observers. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Axel Legay, Louis-Marie Traonouez
Statistical Model Checking of Simulink Models with Plasma Lab. FTSCS (2015)
Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Smart sampling for lightweight verification of Markov decision processes. Int. J. Softw. Tools Technol. Transf. 17 (4) (2015)
Ulrich Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
Compositionality for Quantitative Specifications. FACS (2014)
Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
Structural Refinement for the Modal nu-Calculus. ICTAC (2014)
Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
Structural Refinement for the Modal nu-Calculus. CoRR (2014)
Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
Robust synthesis for real-time systems. Theor. Comput. Sci. 515 (2014)
Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
Specification Theories for Probabilistic and Real-Time Systems. FPS@ETAPS (2014)
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Scalable Verification of Markov Decision Processes. SEFM Workshops (2014)
Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay
Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. ISoLA (1) (2014)
Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Smart Sampling for Lightweight Verification of Markov Decision Processes. CoRR (2014)
Benoît Boyer, Axel Legay, Louis-Marie Traonouez
A Formalism for Stochastic Adaptive Systems. ISoLA (2) (2014)
Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez
Parametric and Quantitative Extensions of Modal Transition Systems. FPS@ETAPS (2014)
Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
Compositionality for Quantitative Specifications. CoRR (2014)
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Lightweight Verification of Markov Decision Processes with Rewards. CoRR (2014)
Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez
A framework for the rigorous design of highly adaptive timed systems. FormaliSE@ICSE (2013)
Claude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez
Symbolic unfolding of parametric stopwatch Petri nets. Formal Methods Syst. Des. 43 (3) (2013)
Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
QUAIL: A Quantitative Security Analyzer for Imperative Code. CAV (2013)
Axel Legay, Louis-Marie Traonouez
PyEcdar: Towards Open Source Implementation for Timed Systems. ATVA (2013)
Louis-Marie Traonouez
A Parametric Counterexample Refinement Approach for Robust Timed Specifications FIT (2012)
Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
Robust Specification of Real Time Components. FORMATS (2011)
Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux
Diagnosis Using Unfoldings of Parametric Time Petri Nets. FORMATS (2010)
Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux
Symbolic Unfolding of Parametric Stopwatch Petri Nets. ATVA (2010)
Louis-Marie Traonouez, Didier Lime, Olivier H. Roux
Parametric Model-Checking of Stopwatch Petri Nets. J. Univers. Comput. Sci. 15 (17) (2009)
Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. TACAS (2009)
Louis-Marie Traonouez, Didier Lime, Olivier H. Roux
Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. FORMATS (2008)

Louis-Marie Traonouez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Louis-Marie Traonouez