Benoît Delahaye

Orcid: 0000-0002-9104-4361

According to our database1, Benoît Delahaye authored at least 40 papers between 2008 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
End-to-End Statistical Model Checking for Parametric ODE Models.
Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

2021
Quantitative Analysis of Interval Markov Chains.
Proceedings of the Model Checking, Synthesis, and Learning, 2021

2020
Consistency in Parametric Interval Probabilistic Timed Automata.
J. Log. Algebraic Methods Program., 2020

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

2019
Introducing probabilistic reasoning within Event-B.
Softw. Syst. Model., 2019

Parametric Timed Broadcast Protocols.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Graphical Event Model Learning and Verification for Security Assessment.
Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

Parametric Statistical Model Checking of UAV Flight Plan.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

2018
Reachability in parametric Interval Markov Chains using constraints.
Theor. Comput. Sci., 2018

Dynamic networks of heterogeneous timed machines.
Math. Struct. Comput. Sci., 2018

2017
Moving from Event-B to probabilistic Event-B.
Proceedings of the Symposium on Applied Computing, 2017

Reachability in Parametric Interval Markov Chains Using Constraints.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2016
Parameter Synthesis for Parametric Interval Markov Chains.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Consistency in Parametric Interval Probabilistic Timed Automata.
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Probabilistic Time Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2015
Statistical model checking QoS properties of systems with SBIP.
Int. J. Softw. Tools Technol. Transf., 2015

Consistency for Parametric Interval Markov Chains.
Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015

2014
Stuttering for Abstract Probabilistic Automata.
J. Log. Algebraic Methods Program., 2014

Refinement and Difference for Probabilistic Automata
Log. Methods Comput. Sci., 2014

Heterogeneous Timed Machines.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013
Abstract Probabilistic Automata.
Inf. Comput., 2013

A Timed Component Algebra for Services.
Proceedings of the Formal Techniques for Distributed Systems, 2013

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012
Statistical abstraction and model-checking of large heterogeneous systems.
Int. J. Softw. Tools Technol. Transf., 2012

New results for Constraint Markov Chains.
Perform. Evaluation, 2012

Consistency and refinement for Interval Markov Chains.
J. Log. Algebraic Methods Program., 2012

Synchronous Interface Theories and Time Triggered Scheduling.
Proceedings of the Formal Techniques for Distributed Systems, 2012

2011
Constraint Markov Chains.
Theor. Comput. Sci., 2011

Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects.
Formal Methods Syst. Des., 2011

APAC: A Tool for Reasoning about Abstract Probabilistic Automata.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Decision Problems for Interval Markov Chains.
Proceedings of the Language and Automata Theory and Applications, 2011

New Results on Abstract Probabilistic Automata.
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).
PhD thesis, 2010

Statistical Model Checking : An Overview
CoRR, 2010

Statistical Model Checking: An Overview.
Proceedings of the Runtime Verification - First International Conference, 2010

Verification of an AFDX Infrastructure Using Simulations and Probabilities.
Proceedings of the Runtime Verification - First International Conference, 2010

Compositional Design Methodology with Constraint Markov Chains.
Proceedings of the QEST 2010, 2010

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems.
Proceedings of the Formal Techniques for Distributed Systems, 2010

Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2008
A Model for Probabilistic Reasoning on Assume/Guarantee Contracts
CoRR, 2008


  Loading...