A Model for Probabilistic Reasoning on Assume/Guarantee Contracts - Benoît Delahaye; Benoît Caillaud (CoRR, 2008)

Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. - Benoît Delahaye; Benoît Caillaud; Axel Legay (ACSD, 2010)

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. - Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Caillaud; Benoît Delahaye; Axel Legay (FMOODS/FORTE, 2010)

Compositional Design Methodology with Constraint Markov Chains. - Benoît Caillaud; Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (QEST, 2010)

Verification of an AFDX Infrastructure Using Simulations and Probabilities. - Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Delahaye; Axel Legay; Emmanuel Sifakis (RV, 2010)

Statistical Model Checking: An Overview. - Axel Legay; Benoît Delahaye; Saddek Bensalem (RV, 2010)

Statistical Model Checking : An Overview - Axel Legay; Benoît Delahaye (CoRR, 2010)

Modular Specification and Compositional Analysis of Stochastic Systems. (Spécification Modulaire et Analyse Compositionnelle de Systèmes Stochastiques). - Benoît Delahaye (2010)

New Results on Abstract Probabilistic Automata. - Benoît Delahaye; Joost-Pieter Katoen; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Falak Sher; Andrzej Wasowski (ACSD, 2011)

Decision Problems for Interval Markov Chains. - Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (LATA, 2011)

APAC: A Tool for Reasoning about Abstract Probabilistic Automata. - Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (QEST, 2011)

Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. - Benoît Delahaye; Benoît Caillaud; Axel Legay (Formal Methods Syst. Des., 2011)

Constraint Markov Chains. - Benoît Caillaud; Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (Theor. Comput. Sci., 2011)

Synchronous Interface Theories and Time Triggered Scheduling. - Benoît Delahaye; Uli Fahrenberg; Thomas A. Henzinger; Axel Legay; Dejan Nickovic (FMOODS/FORTE, 2012)

Consistency and refinement for Interval Markov Chains. - Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (J. Log. Algebraic Methods Program., 2012)

New results for Constraint Markov Chains. - Benoît Delahaye; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Andrzej Wasowski (Perform. Evaluation, 2012)

Statistical abstraction and model-checking of large heterogeneous systems. - Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Delahaye; Axel Legay (Int. J. Softw. Tools Technol. Transf., 2012)

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. - Nikola Benes; Benoît Delahaye; Uli Fahrenberg; Jan Kretínský; Axel Legay (CONCUR, 2013)

A Timed Component Algebra for Services. - Benoît Delahaye; José Luiz Fiadeiro; Axel Legay; Antónia Lopes (FMOODS/FORTE, 2013)

Abstract Probabilistic Automata. - Benoît Delahaye; Joost-Pieter Katoen; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Falak Sher; Andrzej Wasowski (Inf. Comput., 2013)

Heterogeneous Timed Machines. - Benoît Delahaye; José Luiz Fiadeiro; Axel Legay; Antónia Lopes (ICTAC, 2014)

Refinement and Difference for Probabilistic Automata - Benoît Delahaye; Uli Fahrenberg; Kim G. Larsen; Axel Legay (Log. Methods Comput. Sci., 2014)

Stuttering for Abstract Probabilistic Automata. - Benoît Delahaye; Kim G. Larsen; Axel Legay (J. Log. Algebraic Methods Program., 2014)

Consistency for Parametric Interval Markov Chains. - Benoît Delahaye (SynCoP, 2015)

Statistical model checking QoS properties of systems with SBIP. - Ayoub Nouri; Saddek Bensalem; Marius Bozga; Benoît Delahaye; Cyrille Jégourel; Axel Legay (Int. J. Softw. Tools Technol. Transf., 2015)

Probabilistic Time Petri Nets. - Yrvann Emzivat; Benoît Delahaye; Didier Lime; Olivier H. Roux (Petri Nets, 2016)

Consistency in Parametric Interval Probabilistic Timed Automata. - Étienne André; Benoît Delahaye (TIME, 2016)

Parameter Synthesis for Parametric Interval Markov Chains. - Benoît Delahaye; Didier Lime; Laure Petrucci (VMCAI, 2016)

Reachability in Parametric Interval Markov Chains Using Constraints. - Anicet Bart; Benoît Delahaye; Didier Lime; Éric Monfroy; Charlotte Truchet (QEST, 2017)

Moving from Event-B to probabilistic Event-B. - Mohamed Amine; Benoît Delahaye; Arnaud Lanoix (SAC, 2017)

Dynamic networks of heterogeneous timed machines. - José Luiz Fiadeiro; Antónia Lopes; Benoît Delahaye; Axel Legay (Math. Struct. Comput. Sci., 2018)

Reachability in parametric Interval Markov Chains using constraints. - Anicet Bart; Benoît Delahaye; Paulin Fournier; Didier Lime; Éric Monfroy; Charlotte Truchet (Theor. Comput. Sci., 2018)

Parametric Statistical Model Checking of UAV Flight Plan. - Ran Bao; J. Christian Attiogbé; Benoît Delahaye; Paulin Fournier; Didier Lime (FORTE, 2019)

Graphical Event Model Learning and Verification for Security Assessment. - Dimitri Antakly; Benoît Delahaye; Philippe Leray 001 (IEA/AIE, 2019)

Parametric Timed Broadcast Protocols. - Étienne André; Benoît Delahaye; Paulin Fournier; Didier Lime (VMCAI, 2019)

Introducing probabilistic reasoning within Event-B. - Mohamed Amine Aouadhi; Benoît Delahaye; Arnaud Lanoix (Softw. Syst. Model., 2019)

Modeling and Verification of Systems with Uncertainties. (Modélisation et Vérification de systèmes incertains). - Benoît Delahaye (2020)

Consistency in Parametric Interval Probabilistic Timed Automata. - Étienne André; Benoît Delahaye; Paulin Fournier (J. Log. Algebraic Methods Program., 2020)

Quantitative Analysis of Interval Markov Chains. - Giovanni Bacci 001; Benoît Delahaye; Kim G. Larsen; Anders Mariegaard (Model Checking, Synthesis, and Learning, 2021)

End-to-End Statistical Model Checking for Parametric ODE Models. - David Julien 001; Guillaume Cantin; Benoît Delahaye (QEST, 2022)

End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models. - David Julien 001; Gilles Ardourel; Guillaume Cantin; Benoît Delahaye (ACM Trans. Model. Comput. Simul., 2024)