| Statistical Model Checking: An Overview. A Legay, B Delahaye, S Bensalem RV 10, 122-135, 2010 | 569 | 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 | 118 | 2012 |
| Abstract probabilistic automata B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ... Verification, Model Checking, and Abstract Interpretation: 12th …, 2011 | 63 | 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 | 58 | 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 | 52 | 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 | 51 | 2010 |
| Verification of an AFDX infrastructure using simulations and probabilities A Basu, S Bensalem, M Bozga, B Delahaye, A Legay, E Sifakis Runtime Verification: First International Conference, RV 2010, St. Julians …, 2010 | 43 | 2010 |
| Statistical model checking QoS properties of systems with SBIP S Bensalem, M Bozga, B Delahaye, C Jegourel, A Legay, A Nouri Leveraging Applications of Formal Methods, Verification and Validation …, 2012 | 42 | 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 | 33 | 2011 |
| 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 | 31 | 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 | 31 | 2010 |
| Abstract probabilistic automata B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ... Information and Computation 232, 66-116, 2013 | 30 | 2013 |
| 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 CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013 | 26 | 2013 |
| 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 |
| Parameter synthesis for parametric interval Markov chains B Delahaye, D Lime, L Petrucci Verification, Model Checking, and Abstract Interpretation: 17th …, 2016 | 22 | 2016 |
| 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 | 20 | 2012 |
| Consistency for parametric interval Markov chains B Delahaye 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15), 2015 | 19 | 2015 |
| 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 | 18 | 2018 |
| Probabilistic time Petri nets Y Emzivat, B Delahaye, D Lime, OH Roux Application and Theory of Petri Nets and Concurrency: 37th International …, 2016 | 17 | 2016 |
| 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 |
