Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. - Louis-Marie Traonouez; Didier Lime; Olivier H. Roux (FORMATS, 2008)

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. - Didier Lime; Olivier H. Roux; Charlotte Seidner; Louis-Marie Traonouez (TACAS, 2009)

Parametric Model-Checking of Stopwatch Petri Nets. - Louis-Marie Traonouez; Didier Lime; Olivier H. Roux (J. Univers. Comput. Sci., 2009)

Vérification et dépliages de réseaux de Petri temporels paramétrés. (Model-checking and unfoldings of parametric time Petri nets). - Louis-Marie Traonouez (2009)

Symbolic Unfolding of Parametric Stopwatch Petri Nets. - Louis-Marie Traonouez; Bartosz Grabiec; Claude Jard; Didier Lime; Olivier H. Roux (ATVA, 2010)

Diagnosis Using Unfoldings of Parametric Time Petri Nets. - Bartosz Grabiec; Louis-Marie Traonouez; Claude Jard; Didier Lime; Olivier H. Roux (FORMATS, 2010)

Robust Specification of Real Time Components. - Kim G. Larsen; Axel Legay; Louis-Marie Traonouez; Andrzej Wasowski (FORMATS, 2011)

A Parametric Counterexample Refinement Approach for Robust Timed Specifications - Louis-Marie Traonouez (FIT, 2012)

Tools for Model-Checking Timed Systems. - Alexandre David; Gerd Behrmann; Peter E. Bulychev; Joakim Byg; Thomas Chatain; Kim G. Larsen; Paul Pettersson; Jacob Illum Rasmussen; Jirí Srba; Wang Yi 001; Kenneth Yrke Jørgensen; Didier Lime; et al. (Communicating Embedded Systems, 2013)

PyEcdar: Towards Open Source Implementation for Timed Systems. - Axel Legay; Louis-Marie Traonouez (ATVA, 2013)

QUAIL: A Quantitative Security Analyzer for Imperative Code. - Fabrizio Biondi; Axel Legay; Louis-Marie Traonouez; Andrzej Wasowski (CAV, 2013)

A framework for the rigorous design of highly adaptive timed systems. - Maxime Cordy; Axel Legay; Pierre-Yves Schobbens; Louis-Marie Traonouez (FormaliSE@ICSE, 2013)

Symbolic unfolding of parametric stopwatch Petri nets. - Claude Jard; Didier Lime; Olivier H. Roux; Louis-Marie Traonouez (Formal Methods Syst. Des., 2013)

Parametric and Quantitative Extensions of Modal Transition Systems. - Uli Fahrenberg; Kim Guldstrand Larsen; Axel Legay; Louis-Marie Traonouez (FPS@ETAPS, 2014)

Specification Theories for Probabilistic and Real-Time Systems. - Uli Fahrenberg; Axel Legay; Louis-Marie Traonouez (FPS@ETAPS, 2014)

Structural Refinement for the Modal nu-Calculus. - Uli Fahrenberg; Axel Legay; Louis-Marie Traonouez (ICTAC, 2014)

A Formalism for Stochastic Adaptive Systems. - Benoît Boyer; Axel Legay; Louis-Marie Traonouez (ISoLA (2), 2014)

Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. - Stefan Naujokat; Louis-Marie Traonouez; Malte Isberner; Bernhard Steffen; Axel Legay (ISoLA (1), 2014)

Scalable Verification of Markov Decision Processes. - Axel Legay; Sean Sedwards; Louis-Marie Traonouez (SEFM Workshops, 2014)

Lightweight Verification of Markov Decision Processes with Rewards. - Axel Legay; Sean Sedwards; Louis-Marie Traonouez (CoRR, 2014)

Robust synthesis for real-time systems. - Kim G. Larsen; Axel Legay; Louis-Marie Traonouez; Andrzej Wasowski (Theor. Comput. Sci., 2014)

Statistical Model Checking of Simulink Models with Plasma Lab. - Axel Legay; Louis-Marie Traonouez (FTSCS, 2015)

Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers. - Cyrille Jégourel; Axel Legay; Sean Sedwards; Louis-Marie Traonouez (CoRR, 2015)

Distributed Verification of Rare Properties using Importance Splitting Observers. - Cyrille Jégourel; Axel Legay; Sean Sedwards; Louis-Marie Traonouez (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

Estimating Rewards & Rare Events in Nondeterministic Systems. - Axel Legay; Sean Sedwards; Louis-Marie Traonouez (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

Smart sampling for lightweight verification of Markov decision processes. - Pedro R. D'Argenio; Axel Legay; Sean Sedwards; Louis-Marie Traonouez (Int. J. Softw. Tools Technol. Transf., 2015)

Real-time specifications. - Alexandre David; Kim G. Larsen; Axel Legay; Ulrik Nyman; Louis-Marie Traonouez; Andrzej Wasowski (Int. J. Softw. Tools Technol. Transf., 2015)

Statistical Model Checking of Dynamic Software Architectures. - Everton Cavalcante; Jean Quilbeuf; Louis-Marie Traonouez; Flávio Oquendo; Thaís Batista; Axel Legay (ECSA, 2016)

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 (FMICS-AVoCS, 2016)

Plasma Lab: A Modular Statistical Model Checking Platform. - Axel Legay; Sean Sedwards; Louis-Marie Traonouez (ISoLA (1), 2016)

A Logic for the Statistical Model Checking of Dynamic Software Architectures. - Jean Quilbeuf; Everton Cavalcante; Louis-Marie Traonouez; Flávio Oquendo; Thaís Batista; Axel Legay (ISoLA (1), 2016)

Rare Events for Statistical Model Checking an Overview. - Axel Legay; Sean Sedwards; Louis-Marie Traonouez (RP, 2016)

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 (SAC, 2016)

Statistical Model Checking with Change Detection. - Axel Legay; Louis-Marie Traonouez (LNCS Trans. Found. Mastering Chang., 2016)

Optimizing the resource requirements of hierarchical scheduling systems. - Jin Hyun Kim; Axel Legay; Louis-Marie Traonouez; Abdeldjalil Boudjadar; Ulrik Nyman; Kim G. Larsen; Insup Lee 001; Jin-Young Choi (SIGBED Rev., 2016)

HyLeak: Hybrid Analysis Tool for Information Leakage. - Fabrizio Biondi; Yusuke Kawamoto 001; Axel Legay; Louis-Marie Traonouez (ATVA, 2017)

Analyzing ambient assisted living solutions: A research perspective. - Ashalatha Kunnappilly; Axel Legay; Tiziana Margaria; Cristina Cerschi Seceleanu; Bernhard Steffen; Louis-Marie Traonouez (DTIS, 2017)

Verification of Interlocking Systems Using Statistical Model Checking. - Quentin Cappart; Christophe Limbrée; Pierre Schaus; Jean Quilbeuf; Louis-Marie Traonouez; Axel Legay (HASE, 2017)

Statistical Model Checking of LLVM Code. - Axel Legay; Dirk Nowotka; Danny Bøgsted Poulsen; Louis-Marie Traonouez (FM, 2018)

Statistical Model Checking of Incomplete Stochastic Systems. - Shiraj Arora; Axel Legay; Tania Richmond; Louis-Marie Traonouez (ISoLA (2), 2018)

Orchestration Synthesis for Real-Time Service Contracts. - Davide Basile 001; Maurice H. ter Beek; Axel Legay; Louis-Marie Traonouez (VECoS, 2018)

Compositionality for quantitative specifications. - Uli Fahrenberg; Jan Kretínský; Axel Legay; Louis-Marie Traonouez (Soft Comput., 2018)

High-level frameworks for the specification and verification of scheduling problems. - Mounir Chadli; Jin Hyun Kim; Kim G. Larsen; Axel Legay; Stefan Naujokat; Bernhard Steffen; Louis-Marie Traonouez (Int. J. Softw. Tools Technol. Transf., 2018)

Model Checking the IKEv2 Protocol Using Spin. - Tristan Ninet; Axel Legay; Romaric Maillard; Louis-Marie Traonouez; Olivier Zendra (PST, 2019)

The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2. - Tristan Ninet; Axel Legay; Romaric Maillard; Louis-Marie Traonouez; Olivier Zendra (TrustCom/BigDataSE, 2019)

Hybrid statistical estimation of mutual information and its application to information flow. - Fabrizio Biondi; Yusuke Kawamoto 001; Axel Legay; Louis-Marie Traonouez (Formal Aspects Comput., 2019)

Statistical Model Checking. - Axel Legay; Anna Lukina; Louis-Marie Traonouez; Junxing Yang; Scott A. Smolka; Radu Grosu (Computing and Software Science, 2019)

Logical vs. behavioural specifications. - Nikola Benes; Uli Fahrenberg; Jan Kretínský; Axel Legay; Louis-Marie Traonouez (Inf. Comput., 2020)

Towards a Multi-Agent Simulation of Cyber-attackers and Cyber-defenders Battles. - Julien Soulé; Jean-Paul Jamont; Michel Occello; Paul Théron; Louis-Marie Traonouez (SMC, 2023)

A MARL-Based Approach for Easing MAS Organization Engineering. - Julien Soulé; Jean-Paul Jamont; Michel Occello; Louis-Marie Traonouez; Paul Théron (AIAI (4), 2024)

Une Approche basée sur l'Apprentissage par Renforcement pour l'Ingénierie Organisationelle d'un SMA. - Julien Soulé; Jean-Paul Jamont; Michel Occello; Louis-Marie Traonouez; Paul Théron (JFSMA, 2024)

An Organizationally-Oriented Approach to Enhancing Explainability and Control in Multi-Agent Reinforcement Learning. - Julien Soulé; Jean-Paul Jamont; Michel Occello; Louis-Marie Traonouez; Paul Théron (AAMAS, 2025)

Streamlining Resilient Kubernetes Autoscaling with Multi-Agent Systems via an Automated Online Design Framework. - Julien Soulé; Jean-Paul Jamont; Michel Occello; Louis-Marie Traonouez; Paul Théron (CoRR, 2025)