Louis-Marie Traonouez

65 papers A* 1A 2B 7C 3Misc 2Journal 25Unranked 22

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Assisting multi-agent systems design with Auton. Agents Multi Agent Syst. Julien Soulé, Jean-Paul Jamont, Michel Occello, Louis-Marie Traonouez, Paul Théron
2025	J	`jnl`	A MARL-based Approach for Easing MAS Organization Engineering. CoRR Julien Soulé, Jean-Paul Jamont, Michel Occello, Louis-Marie Traonouez, Paul Théron
2025	A	`conf`	An Organizationally-Oriented Approach to Enhancing Explainability and Control in Multi-Agent Reinforcement Learning. AAMAS Julien Soulé, Jean-Paul Jamont, Michel Occello, Louis-Marie Traonouez, Paul Théron
2025	J	`jnl`	An Organizationally-Oriented Approach to Enhancing Explainability and Control in Multi-Agent Reinforcement Learning. CoRR Julien Soulé, Jean-Paul Jamont, Michel Occello, Louis-Marie Traonouez, Paul Théron
2025	B	`conf`	Streamlining Resilient Kubernetes Autoscaling with Multi-Agent Systems via an Automated Online Design Framework. CLOUD Julien Soulé, Jean-Paul Jamont, Michel Occello, Louis-Marie Traonouez, Paul Théron
2025	J	`jnl`	Streamlining Resilient Kubernetes Autoscaling with Multi-Agent Systems via an Automated Online Design Framework. CoRR Julien Soulé, Jean-Paul Jamont, Michel Occello, Louis-Marie Traonouez, Paul Théron
2025	J	`jnl`	Towards a Multi-Agent Simulation of Cyber-attackers and Cyber-defenders Battles. CoRR Julien Soulé, Jean-Paul Jamont, Michel Occello, Paul Théron, Louis-Marie Traonouez
2025	—	`conf`	Une approche organisationnelle pour améliorer l'explicabilité et le contrôle dans l'apprentissage par renforcement multi-agent. JFSMA Julien Soulé, Jean-Paul Jamont, Michel Occello, Louis-Marie Traonouez, Paul Théron
2024	—	`conf`	A MARL-Based Approach for Easing MAS Organization Engineering. AIAI (4) Julien Soulé, Jean-Paul Jamont, Michel Occello, Louis-Marie Traonouez, Paul Théron
2024	—	`conf`	Une Approche basée sur l'Apprentissage par Renforcement pour l'Ingénierie Organisationelle d'un SMA. JFSMA Julien Soulé, Jean-Paul Jamont, Michel Occello, Louis-Marie Traonouez, Paul Théron
2023	B	`conf`	Towards a Multi-Agent Simulation of Cyber-attackers and Cyber-defenders Battles. SMC Julien Soulé, Jean-Paul Jamont, Michel Occello, Paul Théron, Louis-Marie Traonouez
2020	J	`jnl`	Logical vs. behavioural specifications. Inf. Comput. Nikola Benes, Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
2019	J	`jnl`	Hybrid statistical estimation of mutual information and its application to information flow. Formal Aspects Comput. Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
2019	C	`conf`	Model Checking the IKEv2 Protocol Using Spin. PST Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra
2019	—	`ch.`	Statistical Model Checking. Computing and Software Science Axel Legay, Anna Lukina, Louis-Marie Traonouez, Junxing Yang, Scott A. Smolka, Radu Grosu
2019	—	`conf`	The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2. TrustCom/BigDataSE Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra
2018	J	`jnl`	Compositionality for quantitative specifications. Soft Comput. Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
2018	J	`jnl`	High-level frameworks for the specification and verification of scheduling problems. Int. J. Softw. Tools Technol. Transf. Mounir Chadli, Jin Hyun Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez
2018	J	`jnl`	Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow. CoRR Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
2018	C	`conf`	Orchestration Synthesis for Real-Time Service Contracts. VECoS Davide Basile, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez
2018	—	`conf`	Statistical Model Checking of Incomplete Stochastic Systems. ISoLA (2) Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez
2018	B	`conf`	Statistical Model Checking of LLVM Code. FM Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen, Louis-Marie Traonouez
2017	—	`conf`	Analyzing ambient assisted living solutions: A research perspective. DTIS Ashalatha Kunnappilly, Axel Legay, Tiziana Margaria, Cristina Cerschi Seceleanu, Bernhard Steffen, Louis-Marie Traonouez
2017	B	`conf`	HyLeak: Hybrid Analysis Tool for Information Leakage. ATVA Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
2017	—	`conf`	Verification of Interlocking Systems Using Statistical Model Checking. HASE Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay
2016	—	`conf`	A Logic for the Statistical Model Checking of Dynamic Software Architectures. ISoLA (1) Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay
2016	—	`conf`	A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen
2016	Misc	`conf`	A formal modeling and analysis framework for software product line of preemptive real-time systems. SAC Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Mathieu Acher, Sungwon Kang
2016	J	`jnl`	Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Rev. Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi
2016	—	`conf`	Plasma Lab: A Modular Statistical Model Checking Platform. ISoLA (1) Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2016	—	`conf`	Rare Events for Statistical Model Checking an Overview. RP Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2016	B	`conf`	Statistical Model Checking of Dynamic Software Architectures. ECSA Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay
2016	J	`jnl`	Statistical Model Checking with Change Detection. LNCS Trans. Found. Mastering Chang. Axel Legay, Louis-Marie Traonouez
2016	J	`jnl`	Verification of interlocking systems using statistical model checking. CoRR Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay
2015	J	`jnl`	Distributed Verification of Rare Properties using Importance Splitting Observers. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2015	J	`jnl`	Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers. CoRR Cyrille Jégourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2015	J	`jnl`	Estimating Rewards & Rare Events in Nondeterministic Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2015	J	`jnl`	Real-time specifications. Int. J. Softw. Tools Technol. Transf. Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski
2015	J	`jnl`	Smart sampling for lightweight verification of Markov decision processes. Int. J. Softw. Tools Technol. Transf. Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2015	—	`conf`	Statistical Model Checking of Simulink Models with Plasma Lab. FTSCS Axel Legay, Louis-Marie Traonouez
2014	—	`conf`	A Formalism for Stochastic Adaptive Systems. ISoLA (2) Benoît Boyer, Axel Legay, Louis-Marie Traonouez
2014	—	`conf`	Compositionality for Quantitative Specifications. FACS Ulrich Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
2014	J	`jnl`	Compositionality for Quantitative Specifications. CoRR Uli Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez
2014	—	`conf`	Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. ISoLA (1) Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay
2014	J	`jnl`	Lightweight Verification of Markov Decision Processes with Rewards. CoRR Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2014	—	`conf`	Parametric and Quantitative Extensions of Modal Transition Systems. FPS@ETAPS Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez
2014	J	`jnl`	Robust synthesis for real-time systems. Theor. Comput. Sci. Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
2014	—	`conf`	Scalable Verification of Markov Decision Processes. SEFM Workshops Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2014	J	`jnl`	Smart Sampling for Lightweight Verification of Markov Decision Processes. CoRR Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
2014	—	`conf`	Specification Theories for Probabilistic and Real-Time Systems. FPS@ETAPS Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
2014	C	`conf`	Structural Refinement for the Modal nu-Calculus. ICTAC Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
2014	J	`jnl`	Structural Refinement for the Modal nu-Calculus. CoRR Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
2013	—	`conf`	A framework for the rigorous design of highly adaptive timed systems. FormaliSE@ICSE Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez
2013	B	`conf`	PyEcdar: Towards Open Source Implementation for Timed Systems. ATVA Axel Legay, Louis-Marie Traonouez
2013	A*	`conf`	QUAIL: A Quantitative Security Analyzer for Imperative Code. CAV Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
2013	J	`jnl`	Symbolic unfolding of parametric stopwatch Petri nets. Formal Methods Syst. Des. Claude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez
2013	—	`ch.`	Tools for Model-Checking Timed Systems. Communicating Embedded Systems Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez
2012	Misc	`conf`	A Parametric Counterexample Refinement Approach for Robust Timed Specifications FIT Louis-Marie Traonouez
2011	—	`conf`	Robust Specification of Real Time Components. FORMATS Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
2010	—	`conf`	Diagnosis Using Unfoldings of Parametric Time Petri Nets. FORMATS Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux
2010	B	`conf`	Symbolic Unfolding of Parametric Stopwatch Petri Nets. ATVA Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux
2009	J	`jnl`	Parametric Model-Checking of Stopwatch Petri Nets. J. Univers. Comput. Sci. Louis-Marie Traonouez, Didier Lime, Olivier H. Roux
2009	A	`conf`	Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. TACAS Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez
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
2008	—	`conf`	Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. FORMATS Louis-Marie Traonouez, Didier Lime, Olivier H. Roux