Benoît Delahaye

Available identifiers

zbMath Open delahaye.benoitMaRDI QIDQ386008

List of research outcomes

Publication	Date of Publication	Type
End-to-end statistical model checking for parameterization and stability analysis of ODE models	2024-11-15	Paper
End-to-end statistical model checking for parametric ODE models	2023-06-02	Paper
Quantitative analysis of interval Markov chains	2023-05-26	Paper
Consistency in parametric interval probabilistic timed automata	2020-01-31	Paper
Parametric timed broadcast protocols	2020-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q5240149	2019-10-24	Paper
Reachability in parametric interval Markov chains using constraints	2019-09-17	Paper
Reachability in parametric interval Markov chains using constraints	2018-09-24	Paper
Dynamic networks of heterogeneous timed machines	2018-05-17	Paper
Probabilistic Time Petri Nets	2016-10-04	Paper
Parameter Synthesis for Parametric Interval Markov Chains	2016-03-23	Paper
Stuttering for Abstract Probabilistic Automata	2015-12-11	Paper
Heterogeneous Timed Machines	2015-01-13	Paper
Refinement and difference for probabilistic automata	2014-09-05	Paper
Stuttering for abstract probabilistic automata	2014-02-25	Paper
Abstract probabilistic automata	2013-12-13	Paper
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory	2013-08-12	Paper
Consistency and refinement for interval Markov chains	2012-08-14	Paper
Constraint Markov chains	2011-07-29	Paper
Decision Problems for Interval Markov Chains	2011-06-03	Paper
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects	2011-03-31	Paper
Abstract Probabilistic Automata	2011-02-15	Paper

Research outcomes over time

This page was built for person: Benoît Delahaye