| Statistical model checking: An overview A Legay, B Delahaye, S Bensalem International conference on runtime verification, 122-135, 2010 | 615 | 2010 |
| 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 | 122 | 2012 |
| Abstract probabilistic automata B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ... Verification, Model Checking, and Abstract Interpretation: 12th …, 2011 | 61 | 2011 |
| 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 | 60 | 2015 |
| Constraint markov chains B Caillaud, B Delahaye, KG Larsen, A Legay, ML Pedersen, A Wąsowski Theoretical Computer Science 412 (34), 4373-4404, 2011 | 55 | 2011 |
| 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 | 53 | 2010 |
| 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 | 45 | 2010 |
| 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 | 44 | 2012 |
| 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 | 34 | 2011 |
| Abstract probabilistic automata B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ... Information and Computation 232, 66-116, 2013 | 33 | 2013 |
| 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 | 32 | 2011 |
| 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 | 32 | 2010 |
| 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 | 28 | 2013 |
| Parameter synthesis for parametric interval Markov chains B Delahaye, D Lime, L Petrucci Verification, Model Checking, and Abstract Interpretation: 17th …, 2016 | 24 | 2016 |
| 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 | 23 | 2011 |
| 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 | 21 | 2018 |
| Probabilistic time Petri nets Y Emzivat, B Delahaye, D Lime, OH Roux Application and Theory of Petri Nets and Concurrency: 37th International …, 2016 | 21 | 2016 |
| Consistency for parametric interval Markov chains B Delahaye 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)(2015), 2015 | 19 | 2015 |
| 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 | 19 | 2012 |
| 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 | 17 | 2011 |
