Nombre de documents

27

CV de Benoît Delahaye


Communication dans un congrès10 documents

  • 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., 2014. <hal-01010877>
  • Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay. Refinement and Difference for Probabilistic Automata. Kaustubh Joshi; Markus Siegle; Mariëlle Stoelinga; Pedro R. D’Argenio. QEST 2013 - 10th International Conference Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. Springer, pp.22 - 38, 2013, <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. Pedro R. D’Argenio; Hernán Melgratti. CONCUR 2013 - 24th International Conference Concurrency Theory, Aug 2013, Buenos Aires, Argentina. Springer, 8052, pp.76 - 90, 2013, LNCS - Lecture Notes in Computer Science. <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. Tiziana Margaria and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Oct 2012, Heraklion, Greece. Springer, 7609, pp.327-341, 2012, Lecture Notes in Computer Science. <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. IEEE Computer Society, 2010. <inria-00554297>
  • Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, et al.. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. John Hatcliff and Elena Zucca. Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, Jun 2010, Amsterdam, Netherlands. Springer, 6117, pp.32-46, 2010. <inria-00554321>
  • Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, et al.. Verification of an AFDX infrastructure using simulation and probabilities. Howard Barringer, Ylis Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky and Nikolai Tillmann. Runtime Verification - First International Conference, RV 2010, Nov 2010, St. Julians, Malta. Springer, 6418, pp.330-344, 2010, LNCS. <10.1007/978-3-642-16612-9>. <hal-00557717>
  • Axel Legay, Benoît Delahaye, Saddek Bensalem. Statistical Model Checking: An Overview. Runtime Verification, Nov 2010, Malta, Malta. 2010, <10.1007/978-3-642-16612-9_11>. <inria-00591593>
  • 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. 2010, <10.1109/QEST.2010.23>. <inria-00591578>

Article dans une revue6 documents

  • 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>

Chapitre d'ouvrage1 document

  • Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, et al.. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. John Hatcliff; Elena Zucca. Formal Techniques for Distributed Systems, 6117, Springer, pp.32-46, 2010, Lecture Notes in Computer Science, 978-3-642-13463-0. <10.1007/978-3-642-13464-7_4>. <hal-01055148>

Rapport9 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>

Thèse1 document

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