Number of documents

39

cv


Journal articles10 documents

  • 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⟩
  • 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⟩
  • 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⟩
  • Mohamed Aouadhi, Benoît Delahaye, Arnaud Lanoix. Introducing Probabilistic Reasoning within Event-B. Software & Systems Modeling, Springer Verlag, 2017. ⟨hal-01610778⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩

Conference papers18 documents

  • É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. ⟨hal-01961497⟩
  • 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. ⟨hal-02129161⟩
  • 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⟩
  • 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⟩
  • Yrvann Emzivat, Benoit Delahaye, Didier Lime, Olivier 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⟩
  • 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⟩
  • 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. 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⟩
  • 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⟩
  • 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⟩
  • 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 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⟩
  • 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⟩

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. Moving from Event-B to Probabilistic Event-B. [Research Report] LINA-University of Nantes. 2016. ⟨hal-01316599⟩
  • 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. 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⟩
  • Benoît Delahaye, Benoit Caillaud, Axel Legay. Compositional Reasoning on (Probabilistic) Contracts. [Research Report] RR-6970, INRIA. 2009. ⟨inria-00398985⟩
  • 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. 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⟩