Skip to Main content
Number of documents

43

cv


Journal articles12 documents

  • Simon Ramondenc, Damien Eveillard, Lionel Guidi, Fabien Lombard, Benoit Delahaye. Probabilistic modeling to estimate jellyfish ecophysiological properties and size distributions. Scientific Reports, Nature Publishing Group, 2020, 10 (1), ⟨10.1038/s41598-020-62357-5⟩. ⟨hal-02539195⟩
  • Étienne André, Benoit Delahaye, Paulin Fournier. Consistency in Parametric Interval Probabilistic Timed Automata. Journal of Logical and Algebraic Methods in Programming, Elsevier, In press, ⟨10.1016/j.jlamp.2019.04.007⟩. ⟨hal-02154775⟩
  • Mohamed Aouadhi, Benoît Delahaye, Arnaud Lanoix. Introducing Probabilistic Reasoning within Event-B. Software and Systems Modeling, Springer Verlag, 2019. ⟨hal-01610778⟩
  • José Fiadeiro, Antónia Lopes, Benoît Delahaye, Axel Legay. Dynamic networks of heterogeneous timed machines. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, 28 (06), pp.800 - 855. ⟨10.1017/S0960129517000135⟩. ⟨hal-01917079⟩
  • Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Eric Monfroy, et al.. Reachability in parametric Interval Markov Chains using constraints. Theoretical Computer Science, Elsevier, 2018, 747, pp.48 - 74. ⟨10.1016/j.tcs.2018.06.016⟩. ⟨hal-01917092⟩
  • Benoît Delahaye, Damien Eveillard, Nicholas Bouskill. On the Power of Uncertainties in Microbial System Modeling: No Need To Hide Them Anymore. mSystems, 2017, 2 (6), ⟨10.1128/mSystems.00169-17⟩. ⟨hal-01658218⟩
  • Benoit Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay. Refinement and Difference for Probabilistic Automata. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, pp.LMCS-2013-936. ⟨hal-01010866⟩
  • Benoit Delahaye, Kim Guldstrand Larsen, Axel Legay. Stuttering for Abstract Probabilistic Automata. Journal of Logic and Algebraic Programming, Elsevier, 2014, Journal of Logic and Algebraic Programming, pp.Pages 1-19. ⟨10.1016/j.jlap.2013.05.006⟩. ⟨hal-01084342⟩
  • Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoit Delahaye, Cyrille Jegourel, et al.. Statistical model checking QoS properties of systems with SBIP. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2014, pp.14. ⟨10.1007/s10009-014-0313-6⟩. ⟨hal-01087822⟩
  • Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay. Statistical abstraction and model-checking of Large Heterogeneous Systems. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (1), pp.53-72. ⟨10.1007/s10009-011-0201-2⟩. ⟨hal-00722489⟩
  • 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 in System Design, Springer Verlag, 2011, 38 (1), pp.1-32. ⟨10.1007/s10703-010-0107-8⟩. ⟨inria-00554307⟩
  • Benoit Caillaud, Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel L. Pedersen, et al.. Constraint Markov Chains. Theoretical Computer Science, Elsevier, 2011, 412 (34), pp.4373-4404. ⟨10.1016/j.tcs.2011.05.010⟩. ⟨hal-00654003⟩

Conference papers19 documents

  • Ran Bao, Christian Attiogbe, Benoit Delahaye, Paulin Fournier, Didier Lime. Parametric Statistical Model Checking of UAV Flight Plan. 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⟩. ⟨hal-02313737⟩
  • Dimitri Antakly, Benoit Delahaye, Philippe Leray. Graphical event model learning and verification for security assessment. 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⟩. ⟨hal-02129161⟩
  • Étienne André, Benoît Delahaye, Paulin Fournier, Didier Lime. Parametric Timed Broadcast Protocols. 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⟩. ⟨hal-01961497⟩
  • Mohamed Aouadhi, Benoit Delahaye, Arnaud Lanoix. Moving from Event-B to Probabilistic Event-B. 32nd ACM SIGAPP Symposium On Applied Computing, Apr 2017, Marrakech, Morocco. ⟨10.1145/3019612.3019823⟩. ⟨hal-01590903⟩
  • Anicet Bart, Benoit Delahaye, Eric Monfroy, Charlotte Truchet. Vérification de chaînes de Markov à intervalles paramétrés avec des contraintes. Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France. ⟨hal-01555755⟩
  • Anicet Bart, Benoit Delahaye, Didier Lime, Eric Monfroy, Charlotte Truchet. Reachability in Parametric Interval Markov Chains Using Constraints. 14th International Conference on Quantitative Evaluation of SysTems, Sep 2017, Berlin, Germany. pp.527 - 189, ⟨10.1007/978-3-319-66335-7_11⟩. ⟨hal-01591036⟩
  • Yrvann Emzivat, Benoit Delahaye, Didier Lime, Olivier Henri Roux. Probabilistic Time Petri Nets. 37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, Jun 2016, Torun, Poland. pp.261-280. ⟨hal-01590900⟩
  • Etienne André, Benoit Delahaye. Consistency in Parametric Interval Probabilistic Timed Automata. 23rd International Symposium on Temporal Representation and Reasoning, Oct 2016, Copenhagen, Denmark. ⟨hal-01590892⟩
  • Benoit Delahaye, Didier Lime, Laure Petrucci. Parameter Synthesis for Parametric Interval Markov Chains. 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⟩. ⟨hal-01590884⟩
  • Benoit Delahaye. Consistency for Parametric Interval Markov Chains. 2nd International Workshop on Synthesis of Complex Parameters, Apr 2015, London, United Kingdom. ⟨hal-01140752⟩
  • Benoit Delahaye, J. L. Fiadeiro, Axel Legay, Antónia Lopes. Heterogeneous Timed Machines. 11th International Colloquium on Theoretical Aspects of Computing, Sep 2014, Bucharest, France. 18 p. ⟨hal-01010877⟩
  • Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay. Refinement and Difference for Probabilistic Automata. 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⟩. ⟨hal-01087931⟩
  • Nikola Beneš, Benoît Delahaye, Uli Fahrenberg, Jan Křetínský, Axel Legay. Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. CONCUR 2013 - 24th International Conference Concurrency Theory, Aug 2013, Buenos Aires, Argentina. pp.76 - 90, ⟨10.1007/978-3-642-40184-8_7⟩. ⟨hal-01087914⟩
  • Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, et al.. Statistical Model Checking QoS properties of Systems with SBIP. 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⟩. ⟨hal-00847827⟩
  • Benoit Caillaud, Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel L. Pedersen, et al.. Compositional design methodology with constraint Markov chains. QEST 2010, Sep 2010, Williamsburg, Virginia, United States. ⟨10.1109/QEST.2010.23⟩. ⟨inria-00591578⟩
  • Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, et al.. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. 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⟩. ⟨inria-00554321v2⟩
  • Axel Legay, Benoît Delahaye, Saddek Bensalem. Statistical Model Checking: An Overview. Runtime Verification, Nov 2010, Malta, Malta. ⟨10.1007/978-3-642-16612-9_11⟩. ⟨inria-00591593⟩
  • Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, et al.. Verification of an AFDX infrastructure using simulation and probabilities. Runtime Verification - First International Conference, RV 2010, Nov 2010, St. Julians, Malta. pp.330-344, ⟨10.1007/978-3-642-16612-9⟩. ⟨hal-00557717⟩
  • Benoît Delahaye, Benoît Caillaud, Axel Legay. Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems.. 10th International Conference on Application of Concurrency to System Design (ACSD), Jun 2010, Braga, Portugal. ⟨inria-00554297⟩

Directions of work or proceedings1 document

  • Thomas Brihaye, Benoit Delahaye, Loïg Jezequel, Nicolas Markey, Jiří Srba. Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters. Electronic Proceedings in Theoretical Computer Science, 220, 2016, ⟨10.4204/EPTCS.220⟩. ⟨hal-02942556⟩

Preprints, Working Papers, ...1 document

  • Benoit Delahaye, Paulin Fournier, Didier Lime. Statistical model checking for parameterized models. 2019. ⟨hal-02021064⟩

Reports9 documents

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

Theses1 document

  • Benoît Delahaye. Modular Specification and Compositional Analysis of Stochastic Systems. Modeling and Simulation. Université Rennes 1, 2010. English. ⟨tel-00591609⟩