Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Benoit DELAHAYE

ENSEIGNANT-CHERCHEUR

Responsable adjoint d'équipe
Service : AFFAIRES DOCTORALES.Equipes : AELOS, VELO.

: Benoit.Delahayeatls2n.fr

: +33 (0)2 51 12 58 45

Page pro : http://pagesperso.ls2n.fr/~delahaye-b/

Adresse :

Université de Nantes - faculté des Sciences et Techniques ( FST )
Petit Port
2 Chemin de la Houssinière
BP 92208
44322 Nantes Cedex 3

Batiment 11, étage 2, bureau 218



Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [1] . André, B. Delahaye, P. Fournier. Consistency in Parametric Interval Probabilistic Timed Automata. In Journal of Logical and Algebraic Methods in Programming ; éd. Elsevier, 2020.
      https://hal.archives-ouvertes.fr/hal-02154775
    • [2] S. Ramondenc, D. Eveillard, L. Guidi, F. Lombard, B. Delahaye. Probabilistic modeling to estimate jellyfish ecophysiological properties and size distributions. In Scientific Reports ; éd. Nature Publishing Group, 2020, vol. 10, num. 1.
      https://hal.archives-ouvertes.fr/hal-02539195
    • [4] J. Fiadeiro, A. Lopes, B. Delahaye, A. Legay. Dynamic networks of heterogeneous timed machines. In Mathematical Structures in Computer Science ; éd. Cambridge University Press (CUP), 2018, vol. 28, num. 06.
      https://hal.archives-ouvertes.fr/hal-01917079
    • [5] A. Bart, B. Delahaye, P. Fournier, D. Lime, E. Monfroy, C. Truchet. Reachability in parametric Interval Markov Chains using constraints. In Theoretical Computer Science ; éd. Elsevier, 2018, vol. 747.
      https://hal.archives-ouvertes.fr/hal-01917092
    • [7] A. Nouri, S. Bensalem, M. Bozga, B. Delahaye, C. Jegourel, A. Legay. Statistical model checking QoS properties of systems with SBIP. In International Journal on Software Tools for Technology Transfer ; éd. Springer Verlag, 2014.
      https://hal.inria.fr/hal-01087822
    • [9] B. Delahaye, U. Fahrenberg, K. Larsen, A. Legay. Refinement and Difference for Probabilistic Automata. In Logical Methods in Computer Science ; éd. Logical Methods in Computer Science Association, 2014.
      https://hal.archives-ouvertes.fr/hal-01010866
    • [10] A. Basu, S. Bensalem, M. Bozga, B. Delahaye, A. Legay. Statistical abstraction and model-checking of Large Heterogeneous Systems. In International Journal on Software Tools for Technology Transfer ; éd. Springer Verlag, 2012, vol. 14, num. 1.
      https://hal.archives-ouvertes.fr/hal-00722489
    • [11] B. Delahaye, B. Caillaud, A. Legay. Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Systems with Stochastic and/or non-Deterministic Aspects. In Formal Methods in System Design ; éd. Springer Verlag, 2011, vol. 38, num. 1.
      https://hal.inria.fr/inria-00554307
    • [12] B. Caillaud, B. Delahaye, K. Larsen, A. Legay, M. Pedersen, A. Wasowski. Constraint Markov Chains. In Theoretical Computer Science ; éd. Elsevier, 2011, vol. 412, num. 34.
      https://hal.inria.fr/hal-00654003

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [13] D. Antakly, B. Delahaye, P. Leray. Graphical event model learning and verification for security assessment. In 32th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems (IEA/AIE 2019), 2019, Graz, Autriche.
      https://hal.archives-ouvertes.fr/hal-02129161
    • [14] . André, B. Delahaye, P. Fournier, D. Lime. Parametric Timed Broadcast Protocols. In 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019), janvier 2019, Lisboa, Portugal.
      https://hal.archives-ouvertes.fr/hal-01961497
    • [15] R. Bao, C. Attiogbe, B. Delahaye, P. Fournier, D. Lime. Parametric Statistical Model Checking of UAV Flight Plan. In 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), juin 2019, Copenhagen, Danemark.In Jorge A. Pérez (éds.), . Springer International Publishing, 2019.
      https://hal.inria.fr/hal-02313737
    • [17] A. Bart, B. Delahaye, D. Lime, E. Monfroy, C. Truchet. Reachability in Parametric Interval Markov Chains Using Constraints. In 14th International Conference on Quantitative Evaluation of SysTems, septembre 2017, Berlin, Allemagne.
      https://hal.archives-ouvertes.fr/hal-01591036
    • [18] B. Delahaye, D. Lime, L. Petrucci. Parameter Synthesis for Parametric Interval Markov Chains. In 17th International Conference on Verification, Model Checking, and Abstract Interpretation, janvier 2016, Saint Petersburg, Forida, états-Unis.
      https://hal.archives-ouvertes.fr/hal-01590884
    • [19] Y. Emzivat, B. Delahaye, D. Lime, O. Roux. Probabilistic Time Petri Nets. In 37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, juin 2016, Torun, Pologne.
      https://hal.archives-ouvertes.fr/hal-01590900
    • [20] E. André, B. Delahaye. Consistency in Parametric Interval Probabilistic Timed Automata. In 23rd International Symposium on Temporal Representation and Reasoning, octobre 2016, Copenhagen, Danemark.
      https://hal.archives-ouvertes.fr/hal-01590892
    • [22] B. Delahaye, J. Fiadeiro, A. Legay, A. Lopes. Heterogeneous Timed Machines. In 11th International Colloquium on Theoretical Aspects of Computing, septembre 2014, Bucharest, France.
      https://hal.archives-ouvertes.fr/hal-01010877
    • [23] B. Delahaye, J. Fiadeiro, A. Legay, A. Lopes. A Timed Component Algebra for Services. In 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), juin 2013, Florence, Italie.In Dirk Beyer (éds.), . Springer, 2013.
      https://hal.inria.fr/hal-01515250
    • [24] B. Delahaye, U. Fahrenberg, K. Larsen, A. Legay. Refinement and Difference for Probabilistic Automata. In QEST 2013 - 10th International Conference Quantitative Evaluation of Systems, août 2013, Buenos Aires, Argentine.In Kaustubh Joshi (éds.), . Springer, 2013.
      https://hal.inria.fr/hal-01087931
    • [25] N. Beneš, B. Delahaye, U. Fahrenberg, J. Křetínský, A. Legay. Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. In CONCUR 2013 - 24th International Conference Concurrency Theory, août 2013, Buenos Aires, Argentine.In Pedro R. D’Argenio (éds.), . Springer, 2013.
      https://hal.inria.fr/hal-01087914
    • [26] S. Bensalem, M. Bozga, B. Delahaye, C. Jégourel, A. Legay, A. Nouri. Statistical Model Checking QoS properties of Systems with SBIP. In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, octobre 2012, Heraklion, Grèce.In Tiziana Margaria and Bernhard Steffen (éds.), Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Springer, 2012.
      https://hal.archives-ouvertes.fr/hal-00847827
    • [27] B. Delahaye, B. Caillaud, A. Legay. Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems.. In 10th International Conference on Application of Concurrency to System Design (ACSD), juin 2010, Braga, Portugal.
      https://hal.inria.fr/inria-00554297
    • [28] B. Caillaud, B. Delahaye, K. Larsen, A. Legay, M. Pedersen, A. Wasowski. Compositional design methodology with constraint Markov chains. In QEST 2010, septembre 2010, Williamsburg, Virginia, états-Unis.
      https://hal.inria.fr/inria-00591578
    • [30] A. Basu, S. Bensalem, M. Bozga, B. Caillaud, B. Delahaye, A. Legay. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. In 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), juin 2010, Amsterdam, Pays-Bas.In John Hatcliff; Elena Zucca (éds.), . Springer, 2010.
      https://hal.inria.fr/inria-00554321v2
    • [31] A. Basu, S. Bensalem, M. Bozga, B. Delahaye, A. Legay, E. Sifakis. Verification of an AFDX infrastructure using simulation and probabilities. In Runtime Verification - First International Conference, RV 2010, novembre 2010, St. Julians, Malte.In Howard Barringer, Yli{è}s Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky and Nikolai Tillmann (éds.), Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Springer, 2010.
      https://hal.archives-ouvertes.fr/hal-00557717

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [32] A. Bart, B. Delahaye, E. Monfroy, C. Truchet. Vérification de chaînes de Markov à intervalles paramétrés avec des contraintes. In Treizièmes journées Francophones de Programmation par Contraintes, juin 2017, Montreuil sur Mer, France.
      https://hal.archives-ouvertes.fr/hal-01555755

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

    • [33] T. Brihaye, B. Delahaye, L. Jezequel, N. Markey, J. Srba. Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters. In Electronic Proceedings in Theoretical Computer Science ; éd. EPTCS, 2016, vol. 220. 31-07-2016
      https://hal.archives-ouvertes.fr/hal-02942556

Theses et HDR (THESE)

Autres publications (AUTRES)

    • [40] B. Delahaye, A. Legay, S. Sedwards. A Simple and Efficient Statistical Model Checking Algorithm to Evaluate Markov Decision Processes. Rapport technique, 2013 ; .
      https://hal.inria.fr/hal-00856704
    • [41] A. Basu, S. Bensalem, M. Bozga, B. Caillaud, B. Delahaye, A. Legay. Statistical abstraction and model-checking of large heterogeneous systems. Rapport technique, 2010 ; INRIA.
      https://hal.inria.fr/inria-00466158
    • [42] B. Caillaud, B. Delahaye, K. Larsen, A. Legay, M. Pedersen, A. Wasowski. Compositional Design Methodology with Constraint Markov Chains. Rapport technique, 2009 ; INRIA.
      https://hal.inria.fr/inria-00404304v2
Copyright : LS2N 2017 - Mentions Légales - 
 -