Benoît Delahaye

Benoît Delahaye

Université de Nantes - Nantes / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 1707992
University of Nantes
person_outline Benoît Delahaye's MOST POPULAR ARTICLES
1-) Statistical model checking: An overviewA Legay, B Delahaye, S BensalemInternational conference on runtime verification, 122-135, 20105702010
2-) Statistical abstraction and model-checking of large heterogeneous systemsA Basu, S Bensalem, M Bozga, B Caillaud, B Delahaye, A LegayFormal Techniques for Distributed Systems, 32-46, 2010842010
3-) Abstract probabilistic automataB Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...Verification, Model Checking, and Abstract Interpretation: 12th …, 2011622011
4-) Statistical model checking QoS properties of systems with SBIPA Nouri, S Bensalem, M Bozga, B Delahaye, C Jegourel, A LegayInternational Journal on Software Tools for Technology Transfer 17, 171-185, 2015602015
5-) Constraint markov chainsB Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A WąsowskiTheoretical Computer Science 412 (34), 4373-4404, 2011552011