Benoît Delahaye

Publications

Article dans une revue (14)

Datascape: exploring heterogeneous dataspace Jakez Rolland,Ronan Boutin,Damien Eveillard,Benoit Delahaye Scientific Reports, 2024, 14, pp.7041. ⟨10.1038/s41598-024-52493-7⟩ Article dans une revue hal-04674835v1
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⟩ Article dans une revue hal-04478120v1
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⟩ Article dans une revue hal-02539195v1
Consistency in Parametric Interval Probabilistic Timed Automata Étienne André,Benoit Delahaye,Paulin Fournier Journal of Logical and Algebraic Methods in Programming, In press, ⟨10.1016/j.jlamp.2019.04.007⟩ Article dans une revue hal-02154775v1
Introducing Probabilistic Reasoning within Event-B Mohamed Amine Aouadhi,Benoît Delahaye,Arnaud Lanoix Software and Systems Modeling, 2019, ⟨10.1007/s10270-017-0626-5⟩ Article dans une revue 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⟩ Article dans une revue hal-01917079v1
Reachability in parametric Interval Markov Chains using constraints Anicet Bart,Benoît Delahaye,Didier Lime,Eric Monfroy,Charlotte Truchet Theoretical Computer Science, 2018, 747, pp.48-74. ⟨10.1016/j.tcs.2018.06.016⟩ Article dans une revue 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⟩ Article dans une revue hal-01658218v1
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 Article dans une revue hal-01010866v1
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⟩ Article dans une revue istex hal-01084342v1
Statistical model checking QoS properties of systems with SBIP Ayoub Nouri,Saddek Bensalem,Marius Bozga,Benoit Delahaye,Cyrille Jegourelet al. International Journal on Software Tools for Technology Transfer, 2014, pp.14. ⟨10.1007/s10009-014-0313-6⟩ Article dans une revue hal-01087822v1
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⟩ Article dans une revue istex hal-00722489v1
Constraint Markov Chains Benoit Caillaud,Benoît Delahaye,Kim Guldstrand Larsen,Axel Legay,Mikkel L. Pedersenet al. Theoretical Computer Science, 2011, 412 (34), pp.4373-4404. ⟨10.1016/j.tcs.2011.05.010⟩ Article dans une revue istex 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⟩ Article dans une revue istex inria-00554307v1

Communication dans un congrès (21)

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⟩ Communication dans un congrès hal-03824899v1
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⟩ Communication dans un congrès hal-02129161v1
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⟩ Communication dans un congrès hal-01961497v1
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⟩ Communication dans un congrès hal-02313737v1
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⟩ Communication dans un congrès hal-01590903v1
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⟩ Communication dans un congrès hal-01591036v1
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 Communication dans un congrès hal-01555755v1
Consistency in Parametric Interval Probabilistic Timed Automata Etienne André,Benoit Delahaye 23rd International Symposium on Temporal Representation and Reasoning, Oct 2016, Copenhagen, Denmark Communication dans un congrès hal-01590892v1
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 Communication dans un congrès hal-01590900v1
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⟩ Communication dans un congrès hal-01590884v1
Consistency for Parametric Interval Markov Chains Benoit Delahaye 2nd International Workshop on Synthesis of Complex Parameters, Apr 2015, London, United Kingdom Communication dans un congrès hal-01140752v1
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 Communication dans un congrès hal-01010877v1
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⟩ Communication dans un congrès hal-01087931v1
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⟩ Communication dans un congrès hal-01087914v1
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⟩ Communication dans un congrès hal-01515250v1
Statistical Model Checking QoS properties of Systems with SBIP Saddek Bensalem,Marius Bozga,Benoît Delahaye,Cyrille Jégourel,Axel Legayet al. 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⟩ Communication dans un congrès hal-00847827v1
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⟩ Communication dans un congrès inria-00591593v1
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems Ananda Basu,Saddek Bensalem,Marius Bozga,Benoît Caillaud,Benoît Delahayeet al. 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⟩ Communication dans un congrès inria-00554321v2
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 Communication dans un congrès inria-00554297v1
Compositional design methodology with constraint Markov chains Benoit Caillaud,Benoît Delahaye,Kim Guldstrand Larsen,Axel Legay,Mikkel L. Pedersenet al. QEST 2010, Sep 2010, Williamsburg, Virginia, United States. ⟨10.1109/QEST.2010.23⟩ Communication dans un congrès inria-00591578v1
Verification of an AFDX infrastructure using simulation and probabilities Ananda Basu,Saddek Bensalem,Marius Bozga,Benoît Delahaye,Axel Legayet al. Runtime Verification - First International Conference, RV 2010, Nov 2010, St. Julians, Malta. pp.330-344, ⟨10.1007/978-3-642-16612-9_25⟩ Communication dans un congrès hal-00557717v1

Pré-publication, Document de travail (1)

Statistical model checking for parameterized models Benoit Delahaye,Paulin Fournier,Didier Lime 2019 Pré-publication, Document de travail hal-02021064v1

Rapport (8)

Moving from Event-B to probabilistic Event-B Mohamed Amine Aouadhi,Benoit Delahaye,Arnaud Lanoix [Research Report] LINA-University of Nantes. 2016 Rapport (rapport de recherche) hal-01316610v2
A Fully Probabilistic Extension of Event-B Mohamed Amine Aouadhi,Benoit Delahaye,Arnaud Lanoix [Research Report] LINA-University of Nantes. 2016 Rapport (rapport de recherche) hal-01255753v1
About Probabilistic Event-B Mohamed Amine Aouadhi,Benoit Delahaye,Arnaud Lanoix [Research Report] LINA-University of Nantes. 2015 Rapport (rapport de recherche) hal-01151594v2
A Simple and Efficient Statistical Model Checking Algorithm to Evaluate Markov Decision Processes Benoît Delahaye,Axel Legay,Sean Sedwards [Technical Report] 2013 Rapport (rapport technique) hal-00856704v1
Statistical abstraction and model-checking of large heterogeneous systems Ananda Basu,Saddek Bensalem,Marius Bozga,Benoît Caillaud,Benoît Delahayeet al. [Research Report] RR-7238, INRIA. 2010 Rapport (rapport de recherche) inria-00466158v1
Compositional Reasoning on (Probabilistic) Contracts Benoît Delahaye,Benoit Caillaud,Axel Legay [Research Report] RR-6970, INRIA. 2009 Rapport (rapport de recherche) inria-00398985v1
Compositional Design Methodology with Constraint Markov Chains Benoit Caillaud,Benoît Delahaye,Kim Guldstrand Larsen,Axel Legay,Mikkel L. Pedersenet al. [Research Report] RR-6993, INRIA. 2009 Rapport (rapport de recherche) inria-00404304v2
A Model for Probabilistic Reasoning on Assume/Guarantee Contracts Benoît Delahaye,Benoit Caillaud [Research Report] RR-6719, INRIA. 2008, pp.17 Rapport (rapport de recherche) inria-00337538v1

Thèse (1)

Modular Specification and Compositional Analysis of Stochastic Systems Benoît Delahaye Modeling and Simulation. Université Rennes 1, 2010. English. ⟨NNT : ⟩ Thèse tel-00591609v1

HDR (1)

Modeling and Verification of Systems with Uncertainties Benoit Delahaye Formal Languages and Automata Theory [cs.FL]. Université de Nantes, 2020 HDR tel-03636882v1