Access content directly

Benoît Delahaye

46
Documents

Publications

Image document

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

David Julien , Gilles Ardourel , Guillaume Cantin , Benoit Delahaye
ACM Transactions on Modeling and Computer Simulation, 2024, ⟨10.1145/3649438⟩
Journal articles hal-04478120v1
Image document

Consistency in Parametric Interval Probabilistic Timed Automata

Étienne André , Benoit Delahaye , Paulin Fournier
Journal of Logical and Algebraic Methods in Programming, inPress, ⟨10.1016/j.jlamp.2019.04.007⟩
Journal articles hal-02154775v1
Image document

Probabilistic modeling to estimate jellyfish ecophysiological properties and size distributions

Simon Ramondenc , Damien Eveillard , Lionel Guidi , Fabien Lombard , Benoit Delahaye
Scientific Reports, 2020, 10 (1), ⟨10.1038/s41598-020-62357-5⟩
Journal articles hal-02539195v1
Image document

Introducing Probabilistic Reasoning within Event-B

Mohamed Amine Aouadhi , Benoît Delahaye , Arnaud Lanoix
Software and Systems Modeling, 2019
Journal articles hal-01610778v1

Dynamic networks of heterogeneous timed machines

José Luiz Fiadeiro , Antónia Lopes , Benoît Delahaye , Axel Legay
Mathematical Structures in Computer Science, 2018, 28 (06), pp.800 - 855. ⟨10.1017/S0960129517000135⟩
Journal articles hal-01917079v1

Reachability in parametric Interval Markov Chains using constraints

Anicet Bart , Benoît Delahaye , Paulin Fournier , Didier Lime , Eric Monfroy
Theoretical Computer Science, 2018, 747, pp.48 - 74. ⟨10.1016/j.tcs.2018.06.016⟩
Journal articles hal-01917092v1

On the Power of Uncertainties in Microbial System Modeling: No Need To Hide Them Anymore

Benoît Delahaye , Damien Eveillard , Nicholas Bouskill
mSystems, 2017, 2 (6), ⟨10.1128/mSystems.00169-17⟩
Journal articles hal-01658218v1

Stuttering for Abstract Probabilistic Automata

Benoit Delahaye , Kim Guldstrand Larsen , Axel Legay
Journal of Logic and Algebraic Programming, 2014, Journal of Logic and Algebraic Programming, pp.Pages 1-19. ⟨10.1016/j.jlap.2013.05.006⟩
Journal articles hal-01084342v1
Image document

Statistical model checking QoS properties of systems with SBIP

Ayoub Nouri , Saddek Bensalem , Marius Bozga , Benoit Delahaye , Cyrille Jegourel
International Journal on Software Tools for Technology Transfer, 2014, pp.14. ⟨10.1007/s10009-014-0313-6⟩
Journal articles hal-01087822v1
Image document

Refinement and Difference for Probabilistic Automata

Benoit Delahaye , Uli Fahrenberg , Kim Guldstrand Larsen , Axel Legay
Logical Methods in Computer Science, 2014, pp.LMCS-2013-936
Journal articles hal-01010866v1

Statistical abstraction and model-checking of Large Heterogeneous Systems

Ananda Basu , Saddek Bensalem , Marius Bozga , Benoît Delahaye , Axel Legay
International Journal on Software Tools for Technology Transfer, 2012, 14 (1), pp.53-72. ⟨10.1007/s10009-011-0201-2⟩
Journal articles hal-00722489v1

Constraint Markov Chains

Benoit Caillaud , Benoît Delahaye , Kim Guldstrand Larsen , Axel Legay , Mikkel L. Pedersen
Theoretical Computer Science, 2011, 412 (34), pp.4373-4404. ⟨10.1016/j.tcs.2011.05.010⟩
Journal articles hal-00654003v1

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 in System Design, 2011, 38 (1), pp.1-32. ⟨10.1007/s10703-010-0107-8⟩
Journal articles inria-00554307v1
Image document

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

David Julien , Guillaume Cantin , Benoît Delahaye
QEST: International Conference on Quantitative Evaluation of Systems, Sep 2022, Warsaw, Poland. pp.85-106, ⟨10.1007/978-3-031-16336-4_5⟩
Conference papers hal-03824899v1

Parametric Timed Broadcast Protocols

Étienne André , Benoît Delahaye , Paulin Fournier , Didier Lime
20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019), Constantin Enea and Ruzica Piskac, Jan 2019, Lisboa, Portugal. ⟨10.1007/978-3-030-11245-5_23⟩
Conference papers hal-01961497v1
Image document

Parametric Statistical Model Checking of UAV Flight Plan

Ran Bao , Christian Attiogbe , Benoit Delahaye , Paulin Fournier , Didier Lime
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.57-74, ⟨10.1007/978-3-030-21759-4_4⟩
Conference papers hal-02313737v1
Image document

Graphical event model learning and verification for security assessment

Dimitri Antakly , Benoit Delahaye , Philippe Leray
32th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems (IEA/AIE 2019), 2019, Graz, Austria. pp.245-252, ⟨10.1007/978-3-030-22999-3_22⟩
Conference papers hal-02129161v1
Image document

Moving from Event-B to Probabilistic Event-B

Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix
32nd ACM SIGAPP Symposium On Applied Computing, Apr 2017, Marrakech, Morocco. ⟨10.1145/3019612.3019823⟩
Conference papers hal-01590903v1

Vérification de chaînes de Markov à intervalles paramétrés avec des contraintes

Anicet Bart , Benoit Delahaye , Eric Monfroy , Charlotte Truchet
Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
Conference papers hal-01555755v1
Image document

Reachability in Parametric Interval Markov Chains Using Constraints

Anicet Bart , Benoit Delahaye , Didier Lime , Eric Monfroy , Charlotte Truchet
14th International Conference on Quantitative Evaluation of SysTems, Sep 2017, Berlin, Germany. pp.527 - 189, ⟨10.1007/978-3-319-66335-7_11⟩
Conference papers hal-01591036v1
Image document

Parameter Synthesis for Parametric Interval Markov Chains

Benoit Delahaye , Didier Lime , Laure Petrucci
17th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2016, Saint Petersburg, Forida, United States. pp.372 - 390, ⟨10.1007/978-3-662-49122-5_18⟩
Conference papers hal-01590884v1
Image document

Probabilistic Time Petri Nets

Yrvann Emzivat , Benoit Delahaye , Didier Lime , Olivier Henri Roux
37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, Jun 2016, Torun, Poland. pp.261-280
Conference papers hal-01590900v1
Image document

Consistency in Parametric Interval Probabilistic Timed Automata

Etienne André , Benoit Delahaye
23rd International Symposium on Temporal Representation and Reasoning, Oct 2016, Copenhagen, Denmark
Conference papers hal-01590892v1

Consistency for Parametric Interval Markov Chains

Benoit Delahaye
2nd International Workshop on Synthesis of Complex Parameters, Apr 2015, London, United Kingdom
Conference papers hal-01140752v1
Image document

Heterogeneous Timed Machines

Benoit Delahaye , J. L. Fiadeiro , Axel Legay , Antónia Lopes
11th International Colloquium on Theoretical Aspects of Computing, Sep 2014, Bucharest, France. 18 p
Conference papers hal-01010877v1
Image document

Refinement and Difference for Probabilistic Automata

Benoît Delahaye , Uli Fahrenberg , Kim Guldstrand Larsen , Axel Legay
QEST 2013 - 10th International Conference Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.22 - 38, ⟨10.1007/978-3-642-40196-1_3⟩
Conference papers hal-01087931v1
Image document

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory

Nikola Beneš , Benoît Delahaye , Uli Fahrenberg , Jan Křetínský , Axel Legay
CONCUR 2013 - 24th International Conference Concurrency Theory, Aug 2013, Buenos Aires, Argentina. pp.76 - 90, ⟨10.1007/978-3-642-40184-8_7⟩
Conference papers hal-01087914v1
Image document

A Timed Component Algebra for Services

Benoît Delahaye , José Luiz Fiadeiro , Axel Legay , Antónia Lopes
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.242-257, ⟨10.1007/978-3-642-38592-6_17⟩
Conference papers hal-01515250v1
Image document

Statistical Model Checking QoS properties of Systems with SBIP

Saddek Bensalem , Marius Bozga , Benoît Delahaye , Cyrille Jégourel , Axel Legay
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Oct 2012, Heraklion, Greece. pp.327-341, ⟨10.1007/978-3-642-34026-0_25⟩
Conference papers hal-00847827v1
Image document

Statistical Model Checking: An Overview

Axel Legay , Benoît Delahaye , Saddek Bensalem
Runtime Verification, Nov 2010, Malta, Malta. ⟨10.1007/978-3-642-16612-9_11⟩
Conference papers inria-00591593v1

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

Benoît Delahaye , Benoît Caillaud , Axel Legay
10th International Conference on Application of Concurrency to System Design (ACSD), Jun 2010, Braga, Portugal
Conference papers inria-00554297v1
Image document

Compositional design methodology with constraint Markov chains

Benoit Caillaud , Benoît Delahaye , Kim Guldstrand Larsen , Axel Legay , Mikkel L. Pedersen
QEST 2010, Sep 2010, Williamsburg, Virginia, United States. ⟨10.1109/QEST.2010.23⟩
Conference papers inria-00591578v1
Image document

Verification of an AFDX infrastructure using simulation and probabilities

Ananda Basu , Saddek Bensalem , Marius Bozga , Benoît Delahaye , Axel Legay
Runtime Verification - First International Conference, RV 2010, Nov 2010, St. Julians, Malta. pp.330-344, ⟨10.1007/978-3-642-16612-9⟩
Conference papers hal-00557717v1
Image document

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems

Ananda Basu , Saddek Bensalem , Marius Bozga , Benoît Caillaud , Benoît Delahaye
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.32-46, ⟨10.1007/978-3-642-13464-7_4⟩
Conference papers inria-00554321v2
Image document

Moving from Event-B to probabilistic Event-B

Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix
[Research Report] LINA-University of Nantes. 2016
Reports hal-01316610v2
Image document

Moving from Event-B to Probabilistic Event-B

Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix
[Research Report] LINA-University of Nantes. 2016
Reports hal-01316599v1
Image document

A Fully Probabilistic Extension of Event-B

Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix
[Research Report] LINA-University of Nantes. 2016
Reports hal-01255753v1
Image document

About Probabilistic Event-B

Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix
[Research Report] LINA-University of Nantes. 2015
Reports hal-01151594v2
Image document

A Simple and Efficient Statistical Model Checking Algorithm to Evaluate Markov Decision Processes

Benoît Delahaye , Axel Legay , Sean Sedwards
[Technical Report] 2013
Reports hal-00856704v1
Image document

Statistical abstraction and model-checking of large heterogeneous systems

Ananda Basu , Saddek Bensalem , Marius Bozga , Benoît Caillaud , Benoît Delahaye
[Research Report] RR-7238, INRIA. 2010
Reports inria-00466158v1
Image document

Compositional Reasoning on (Probabilistic) Contracts

Benoît Delahaye , Benoit Caillaud , Axel Legay
[Research Report] RR-6970, INRIA. 2009
Reports inria-00398985v1
Image document

Compositional Design Methodology with Constraint Markov Chains

Benoit Caillaud , Benoît Delahaye , Kim Guldstrand Larsen , Axel Legay , Mikkel L. Pedersen
[Research Report] RR-6993, INRIA. 2009
Reports inria-00404304v2
Image document

A Model for Probabilistic Reasoning on Assume/Guarantee Contracts

Benoît Delahaye , Benoit Caillaud
[Research Report] RR-6719, INRIA. 2008, pp.17
Reports inria-00337538v1
Image document

Modeling and Verification of Systems with Uncertainties

Benoit Delahaye
Formal Languages and Automata Theory [cs.FL]. Université de Nantes, 2020
Habilitation à diriger des recherches tel-03636882v1