Follow
Benoît Delahaye
Benoît Delahaye
Associate Professor, Nantes University, LS2N
Verified email at univ-nantes.fr
Title
Cited by
Cited by
Year
Statistical model checking: An overview
A Legay, B Delahaye, S Bensalem
International conference on runtime verification, 122-135, 2010
6012010
Statistical abstraction and model-checking of large heterogeneous systems
A Basu, S Bensalem, M Bozga, B Delahaye, A Legay
International Journal on Software Tools for Technology Transfer 14, 53-72, 2012
1252012
Abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
Verification, Model Checking, and Abstract Interpretation: 12th …, 2011
622011
Statistical model checking QoS properties of systems with SBIP
A Nouri, S Bensalem, M Bozga, B Delahaye, C Jegourel, A Legay
International Journal on Software Tools for Technology Transfer 17, 171-185, 2015
602015
Constraint markov chains
B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski
Theoretical Computer Science 412 (34), 4373-4404, 2011
542011
Compositional design methodology with constraint Markov chains
B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wasowski
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
532010
Statistical model checking QoS properties of systems with SBIP
S Bensalem, M Bozga, B Delahaye, C Jegourel, A Legay, A Nouri
International Symposium On Leveraging Applications of Formal Methods …, 2012
442012
Verification of an AFDX infrastructure using simulations and probabilities
A Basu, S Bensalem, M Bozga, B Delahaye, A Legay, E Sifakis
International Conference on Runtime Verification, 330-344, 2010
442010
Decision problems for interval Markov chains
B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski
Language and Automata Theory and Applications: 5th International Conference …, 2011
332011
Abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
Information and Computation 232, 66-116, 2013
322013
Probabilistic contracts: A compositional reasoning methodology for the design of stochastic systems
B Delahaye, B Caillaud, A Legay
2010 10th International Conference on Application of Concurrency to System …, 2010
322010
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
B Delahaye, B Caillaud, A Legay
Formal Methods in System Design 38, 1-32, 2011
312011
Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory
N Beneš, B Delahaye, U Fahrenberg, J Křetínský, A Legay
International Conference on Concurrency Theory, 76-90, 2013
282013
Parameter synthesis for parametric interval Markov chains
B Delahaye, D Lime, L Petrucci
Verification, Model Checking, and Abstract Interpretation: 17th …, 2016
232016
New results on abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
2011 Eleventh International Conference on Application of Concurrency to …, 2011
232011
Reachability in parametric interval Markov chains using constraints
A Bart, B Delahaye, P Fournier, D Lime, E Monfroy, C Truchet
Theoretical Computer Science 747, 48-74, 2018
202018
Consistency and refinement for interval markov chains
B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wa
The Journal of Logic and Algebraic Programming 81 (3), 209-226, 2012
192012
Consistency for parametric interval Markov chains
B Delahaye
2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)(2015), 2015
182015
Probabilistic time Petri nets
Y Emzivat, B Delahaye, D Lime, OH Roux
Application and Theory of Petri Nets and Concurrency: 37th International …, 2016
172016
APAC: A tool for reasoning about abstract probabilistic automata
B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wasowski
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
172011
The system can't perform the operation now. Try again later.
Articles 1–20