Louis-Marie Traonouez

Axel Legay, Olivier Zendra, Louis-Marie Traonouez, 2019, 2019 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/13th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE).

Statistical Model Checking of Dynamic Software Architectures

Axel Legay, Flávio Oquendo, Everton Cavalcante, 2016, ECSA.

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems

Kim G. Larsen, Axel Legay, Bernhard Steffen, 2016, FMICS-AVoCS.

Statistical Model Checking of LLVM Code

Axel Legay, Louis-Marie Traonouez, Dirk Nowotka, 2018, FM.

Parametric Model-Checking of Stopwatch Petri Nets

Didier Lime, Olivier H. Roux, Louis-Marie Traonouez, 2009, J. Univers. Comput. Sci..

Smart sampling for lightweight verification of Markov decision processes

Axel Legay, Sean Sedwards, Louis-Marie Traonouez, 2014, International Journal on Software Tools for Technology Transfer.

Diagnosis Using Unfoldings of Parametric Time Petri Nets

Didier Lime, Olivier H. Roux, Louis-Marie Traonouez, 2010, FORMATS.

Statistical Model Checking

Axel Legay, Radu Grosu, Scott A. Smolka, 2019, Computing and Software Science.

A Logic for the Statistical Model Checking of Dynamic Software Architectures

Axel Legay, Flávio Oquendo, Everton Cavalcante, 2016, ISoLA.

Lightweight Monte Carlo Verification of Markov Decision Processes with Rewards

Axel Legay, Sean Sedwards, Louis-Marie Traonouez, 2014 .

Statistical Model Checking of Incomplete Stochastic Systems

Axel Legay, Louis-Marie Traonouez, Tania Richmond, 2018, ISoLA.

Real-time specifications

Kim G. Larsen, Axel Legay, Andrzej Wasowski, 2013, International Journal on Software Tools for Technology Transfer.

Compositionality for Quantitative Specifications

Axel Legay, Ulrich Fahrenberg, Jan Kretínský, 2014, FACS.

Statistical Model Checking of Simulink Models with Plasma Lab

Axel Legay, Louis-Marie Traonouez, 2015, FTSCS.

Estimating Rewards & Rare Events in Nondeterministic Systems

Axel Legay, Sean Sedwards, Louis-Marie Traonouez, 2015, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Plasma Lab Statistical Model Checker: Architecture, Usage and Extension

Axel Legay, Louis-Marie Traonouez, Axel Legay, 2017 .

Specification Theories for Probabilistic and Real-Time Systems

Axel Legay, Ulrich Fahrenberg, Louis-Marie Traonouez, 2014, FPS@ETAPS.

Robust Specification of Real Time Components

Kim G. Larsen, Axel Legay, Andrzej Wasowski, 2011, FORMATS.

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches

Didier Lime, Olivier H. Roux, Louis-Marie Traonouez, 2009, TACAS.

Model Checking the IKEv2 Protocol Using Spin

Axel Legay, Olivier Zendra, Louis-Marie Traonouez, 2019, 2019 17th International Conference on Privacy, Security and Trust (PST).

Distributed Verification of Rare Properties using Importance Splitting Observers

Cyrille Jégourel, Axel Legay, Sean Sedwards, 2015, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Lightweight Verification of Markov Decision Processes with Rewards pdf

Axel Legay, Sean Sedwards, Louis-Marie Traonouez, 2014, ArXiv.

Orchestration Synthesis for Real-Time Service Contracts

Axel Legay, Maurice H. ter Beek, Davide Basile, 2018, VECoS.

Statistical Model Checking with Change Detection

Axel Legay, Louis-Marie Traonouez, Axel Legay, 2016, LNCS Trans. Found. Mastering Chang..

Hybrid statistical estimation of mutual information and its application to information flow

Axel Legay, Fabrizio Biondi, Louis-Marie Traonouez, 2018, Formal Aspects of Computing.

Symbolic Unfolding of Parametric Stopwatch Petri Nets

Didier Lime, Olivier H. Roux, Louis-Marie Traonouez, 2010, ATVA.

A Parametric Counterexample Refinement Approach for Robust Timed Specifications

Louis-Marie Traonouez, 2012, FIT.

QUAIL: A Quantitative Security Analyzer for Imperative Code

Axel Legay, Andrzej Wasowski, Fabrizio Biondi, 2013, CAV.

A Formalism for Stochastic Adaptive Systems

Axel Legay, Louis-Marie Traonouez, Benoît Boyer, 2014, ISoLA.

Statistical Model Checking with Changes and Simulink

Axel Legay, Kevin Corre, Louis-Marie Traonouez, 2014 .

Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems

Axel Legay, Bernhard Steffen, Louis-Marie Traonouez, 2014, ISoLA.

PyEcdar: Towards Open Source Implementation for Timed Systems

Axel Legay, Louis-Marie Traonouez, Axel Legay, 2013, ATVA.

Robust synthesis for real-time systems

Kim G. Larsen, Axel Legay, Andrzej Wasowski, 2014, Theor. Comput. Sci..

Logical vs. behavioural specifications

Axel Legay, Louis-Marie Traonouez, Jan Křetínský, 2020, Inf. Comput..

Scalable Verification of Markov Decision Processes

Axel Legay, Sean Sedwards, Louis-Marie Traonouez, 2013, SEFM Workshops.

Structural Refinement for the Modal nu-Calculus

Axel Legay, Ulrich Fahrenberg, Louis-Marie Traonouez, 2014, ICTAC.

Analyzing ambient assisted living solutions: A research perspective

Tiziana Margaria, Axel Legay, Bernhard Steffen, 2017, 2017 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS).

Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers pdf

Cyrille Jégourel, Axel Legay, Sean Sedwards, 2015, ArXiv.

High-level frameworks for the specification and verification of scheduling problems

Kim G. Larsen, Axel Legay, Bernhard Steffen, 2017, International Journal on Software Tools for Technology Transfer.

A framework for the rigorous design of highly adaptive timed systems

Pierre-Yves Schobbens, Axel Legay, Maxime Cordy, 2013, 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE).

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, Louis-Marie Traonouez, 2009 .