Benoît Delahaye

ORCID

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 17

Top Venues

CoRR

QEST

VMCAI

J. Log. Algebraic Methods Program.

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

David Julien, Guillaume Cantin, Benoît Delahaye
End-to-End Statistical Model Checking for Parametric ODE Models. QEST (2022)
Giovanni Bacci, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard
Quantitative Analysis of Interval Markov Chains. Model Checking, Synthesis, and Learning (2021)
Étienne André, Benoît Delahaye, Paulin Fournier
Consistency in Parametric Interval Probabilistic Timed Automata. J. Log. Algebraic Methods Program. 110 (2020)
Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime
Parametric Timed Broadcast Protocols. VMCAI (2019)
Étienne André, Benoît Delahaye, Paulin Fournier
Consistency in Parametric Interval Probabilistic Timed Automata. CoRR (2019)
Dimitri Antakly, Benoît Delahaye, Philippe Leray
Graphical Event Model Learning and Verification for Security Assessment. IEA/AIE (2019)
Mohamed Amine Aouadhi, Benoît Delahaye, Arnaud Lanoix
Introducing probabilistic reasoning within Event-B. Softw. Syst. Model. 18 (3) (2019)
Ran Bao, J. Christian Attiogbé, Benoît Delahaye, Paulin Fournier, Didier Lime
Parametric Statistical Model Checking of UAV Flight Plan. FORTE (2019)
José Luiz Fiadeiro, Antónia Lopes, Benoît Delahaye, Axel Legay
Dynamic networks of heterogeneous timed machines. Math. Struct. Comput. Sci. 28 (6) (2018)
Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime
Parametric Timed Broadcast Protocols. CoRR (2018)
Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Éric Monfroy, Charlotte Truchet
Reachability in parametric Interval Markov Chains using constraints. Theor. Comput. Sci. 747 (2018)
Mohamed Amine, Benoît Delahaye, Arnaud Lanoix
Moving from Event-B to probabilistic Event-B. SAC (2017)
Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet
Reachability in Parametric Interval Markov Chains using Constraints. CoRR (2017)
Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet
Reachability in Parametric Interval Markov Chains Using Constraints. QEST (2017)
Benoît Delahaye, Didier Lime, Laure Petrucci
Parameter Synthesis for Parametric Interval Markov Chains. VMCAI (2016)
Yrvann Emzivat, Benoît Delahaye, Didier Lime, Olivier H. Roux
Probabilistic Time Petri Nets. Petri Nets (2016)
Étienne André, Benoît Delahaye
Consistency in Parametric Interval Probabilistic Timed Automata. TIME (2016)
Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay
Statistical model checking QoS properties of systems with SBIP. Int. J. Softw. Tools Technol. Transf. 17 (2) (2015)
Benoît Delahaye
Consistency for Parametric Interval Markov Chains. SynCoP (2015)
Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes
Heterogeneous Timed Machines. ICTAC (2014)
Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay
Refinement and Difference for Probabilistic Automata Log. Methods Comput. Sci. 10 (3) (2014)
Benoît Delahaye, Kim G. Larsen, Axel Legay
Stuttering for Abstract Probabilistic Automata. J. Log. Algebraic Methods Program. 83 (1) (2014)
Benoît Delahaye, Kim G. Larsen, Axel Legay
Stuttering for Abstract Probabilistic Automata. LFCS (2013)
Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
Abstract Probabilistic Automata. Inf. Comput. 232 (2013)
Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CONCUR (2013)
Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CoRR (2013)
Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes
A Timed Component Algebra for Services. FMOODS/FORTE (2013)
Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay
Refinement and Difference for Probabilistic Automata. QEST (2013)
Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
Consistency and refinement for Interval Markov Chains. J. Log. Algebraic Methods Program. 81 (3) (2012)
Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
New results for Constraint Markov Chains. Perform. Evaluation 69 (7-8) (2012)
Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic
Synchronous Interface Theories and Time Triggered Scheduling. FMOODS/FORTE (2012)
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay
Statistical abstraction and model-checking of large heterogeneous systems. Int. J. Softw. Tools Technol. Transf. 14 (1) (2012)
Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri
Statistical Model Checking QoS Properties of Systems with SBIP. ISoLA (1) (2012)
Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
New Results on Abstract Probabilistic Automata. ACSD (2011)
Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
Decision Problems for Interval Markov Chains. LATA (2011)
Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
APAC: A Tool for Reasoning about Abstract Probabilistic Automata. QEST (2011)
Benoît Delahaye, Benoît Caillaud, Axel Legay
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Formal Methods Syst. Des. 38 (1) (2011)
Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
Constraint Markov Chains. Theor. Comput. Sci. 412 (34) (2011)
Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
Abstract Probabilistic Automata. VMCAI (2011)
Axel Legay, Benoît Delahaye, Saddek Bensalem
Statistical Model Checking: An Overview. RV (2010)
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis
Verification of an AFDX Infrastructure Using Simulations and Probabilities. RV (2010)
Benoît Delahaye, Benoît Caillaud, Axel Legay
Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. ACSD (2010)
Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
Compositional Design Methodology with Constraint Markov Chains. QEST (2010)
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. FMOODS/FORTE (2010)
Axel Legay, Benoît Delahaye
Statistical Model Checking : An Overview CoRR (2010)
Benoît Delahaye, Benoît Caillaud
A Model for Probabilistic Reasoning on Assume/Guarantee Contracts CoRR (2008)

Benoît Delahaye.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Benoît Delahaye