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 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Benoît Delahaye