Louis-Marie Traonouez

Available identifiers

Publication	Date of Publication	Type
Statistical model checking	2022-02-16	Paper
Logical vs. behavioural specifications	2020-03-12	Paper
Hybrid statistical estimation of mutual information and its application to information flow	2019-05-10	Paper
Compositionality for quantitative specifications	2018-10-22	Paper
Rare events for statistical model checking an overview	2018-03-26	Paper
Structural Refinement for the Modal nu-Calculus	2015-01-13	Paper
Parametric and quantitative extensions of modal transition systems	2014-07-24	Paper
Specification Theories for Probabilistic and Real-Time Systems	2014-07-24	Paper
Symbolic unfolding of parametric stopwatch Petri nets	2014-06-30	Paper
Robust synthesis for real-time systems	2013-12-10	Paper
Robust specification of real time components	2011-10-07	Paper
Symbolic unfolding of parametric stopwatch Petri nets	2010-10-04	Paper
Parametric model-checking of stopwatch Petri nets	2010-09-22	Paper
Diagnosis Using Unfoldings of Parametric Time Petri Nets	2010-09-10	Paper
Romeo: a parametric model-checker for Petri nets with stopwatches	2009-03-31	Paper
Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph	2008-12-02	Paper

This page was built for person: Louis-Marie Traonouez