Benoît Delahaye
Benoît Delahaye
Assistant Professor, University of Nantes, 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
4332010
Statistical abstraction and model-checking of large heterogeneous systems
A Basu, S Bensalem, M Bozga, B Caillaud, B Delahaye, A Legay
Formal Techniques for Distributed Systems, 32-46, 2010
782010
Abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
International Workshop on Verification, Model Checking, and Abstract …, 2011
562011
Constraint markov chains
B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski
Theoretical Computer Science 412 (34), 4373-4404, 2011
482011
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
482010
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
422012
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 (2), 171-185, 2015
392015
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 (1), 53-72, 2012
342012
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
332010
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
282010
Decision problems for interval Markov chains
B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski
International Conference on Language and Automata Theory and Applications …, 2011
262011
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), 1-32, 2011
262011
Abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
Information and Computation 232, 66-116, 2013
252013
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
222013
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
202011
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
152011
Parameter synthesis for parametric interval Markov chains
B Delahaye, D Lime, L Petrucci
International Conference on Verification, Model Checking, and Abstract …, 2016
142016
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
132012
Consistency for parametric interval Markov chains
B Delahaye
2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15), 2015
122015
Statistical model checking: Present and future
S Bensalem, B Delahaye, A Legay
RV. Springer-Verlag, 2010
122010
The system can't perform the operation now. Try again later.
Articles 1–20