3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.FL2019★ 1 cited
Consistency in Parametric Interval Probabilistic Timed Automata
Étienne André, Benoît Delahaye, Paulin Fournier
We propose a new abstract formalism for probabilistic timed systems, Parametric Interval Probabilistic Timed Automata, based on an extension of Parametric Timed Automata and Interv…
cs.LO2017
Reachability in Parametric Interval Markov Chains using Constraints
Anicet Bart, Benoit Delahaye, Didier Lime +2
Parametric Interval Markov Chains (pIMCs) are a specification formalism that extend Markov Chains (MCs) and Interval Markov Chains (IMCs) by taking into account imprecision in the…
cs.PF2008★ 3 cited
A Model for Probabilistic Reasoning on Assume/Guarantee Contracts
Benoît Delahaye, Benoît Caillaud
In this paper, we present a probabilistic adaptation of an Assume/Guarantee contract formalism. For the sake of generality, we assume that the extended state machines used in the c…