Benoît Delahaye

According to our database, Benoît Delahaye authored at least 41 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models.

David Julien, Gilles Ardourel, Guillaume Cantin, Benoît Delahaye

ACM Trans. Model. Comput. Simul., July, 2024

2022

End-to-End Statistical Model Checking for Parametric ODE Models.

David Julien, Guillaume Cantin, Benoît Delahaye

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

2021

Quantitative Analysis of Interval Markov Chains.

Giovanni Bacci, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard

Proceedings of the Model Checking, Synthesis, and Learning, 2021

2020

Consistency in Parametric Interval Probabilistic Timed Automata.

Étienne André, Benoît Delahaye, Paulin Fournier

J. Log. Algebraic Methods Program., 2020

Modeling and Verification of Systems with Uncertainties. (Modélisation et Vérification de systèmes incertains).

Benoît Delahaye

, 2020

2019

Introducing probabilistic reasoning within Event-B.

Mohamed Amine Aouadhi, Benoît Delahaye, Arnaud Lanoix

Softw. Syst. Model., 2019

Parametric Timed Broadcast Protocols.

Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Graphical Event Model Learning and Verification for Security Assessment.

Dimitri Antakly, Benoît Delahaye, Philippe Leray

Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

Parametric Statistical Model Checking of UAV Flight Plan.

Ran Bao, J. Christian Attiogbé, Benoît Delahaye, Paulin Fournier, Didier Lime

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

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

Dynamic networks of heterogeneous timed machines.

José Luiz Fiadeiro, Antónia Lopes, Benoît Delahaye, Axel Legay

Math. Struct. Comput. Sci., 2018

2017

Moving from Event-B to probabilistic Event-B.

Mohamed Amine, Benoît Delahaye, Arnaud Lanoix

Proceedings of the Symposium on Applied Computing, 2017

Reachability in Parametric Interval Markov Chains Using Constraints.

Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2016

Parameter Synthesis for Parametric Interval Markov Chains.

Benoît Delahaye, Didier Lime, Laure Petrucci

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Consistency in Parametric Interval Probabilistic Timed Automata.

Étienne André, Benoît Delahaye

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Probabilistic Time Petri Nets.

Yrvann Emzivat, Benoît Delahaye, Didier Lime, Olivier H. Roux

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

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

Consistency for Parametric Interval Markov Chains.

Benoît Delahaye

Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015

2014

Stuttering for Abstract Probabilistic Automata.

Benoît Delahaye, Kim G. Larsen, Axel Legay

J. Log. Algebraic Methods Program., 2014

Refinement and Difference for Probabilistic Automata

Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay

Log. Methods Comput. Sci., 2014

Heterogeneous Timed Machines.

Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

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

A Timed Component Algebra for Services.

Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes

Proceedings of the Formal Techniques for Distributed Systems, 2013

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

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

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

New results for Constraint Markov Chains.

Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski

Perform. Evaluation, 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

Synchronous Interface Theories and Time Triggered Scheduling.

Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic

Proceedings of the Formal Techniques for Distributed Systems, 2012

2011

Constraint Markov Chains.

Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski

Theor. Comput. Sci., 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

APAC: A Tool for Reasoning about Abstract Probabilistic Automata.

Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Decision Problems for Interval Markov Chains.

Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski

Proceedings of the Language and Automata Theory and Applications, 2011

New Results on Abstract Probabilistic Automata.

Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

Modular Specification and Compositional Analysis of Stochastic Systems. (Spécification Modulaire et Analyse Compositionnelle de Systèmes Stochastiques).

Benoît Delahaye

PhD thesis, 2010

Statistical Model Checking : An Overview

Axel Legay, Benoît Delahaye

CoRR, 2010

Statistical Model Checking: An Overview.

Axel Legay, Benoît Delahaye, Saddek Bensalem

Proceedings of the Runtime Verification - First International Conference, 2010

Verification of an AFDX Infrastructure Using Simulations and Probabilities.

Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis

Proceedings of the Runtime Verification - First International Conference, 2010

Compositional Design Methodology with Constraint Markov Chains.

Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski

Proceedings of the QEST 2010, 2010

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems.

Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay

Proceedings of the Formal Techniques for Distributed Systems, 2010

Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems.

Benoît Delahaye, Benoît Caillaud, Axel Legay

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2008

A Model for Probabilistic Reasoning on Assume/Guarantee Contracts

Benoît Delahaye, Benoît Caillaud

CoRR, 2008