Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Benoit DELAHAYE

ENSEIGNANT-CHERCHEUR


: Benoit.Delahayeatls2n.fr

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.science/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.science/hal-02539195
    • [3] M. Aouadhi, B. Delahaye, A. Lanoix. Introducing Probabilistic Reasoning within Event-B. In Software and Systems Modeling ; éd. Springer Verlag, 2019.
      https://hal.science/hal-01610778
    • [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.science/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.science/hal-01917092
    • [6] B. Delahaye, D. Eveillard, N. Bouskill. On the Power of Uncertainties in Microbial System Modeling: No Need To Hide Them Anymore. In mSystems, vol. 2, num. 6. 05-12-2017
      https://hal.science/hal-01658218
    • [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://inria.hal.science/hal-01087822
    • [8] B. Delahaye, K. Larsen, A. Legay. Stuttering for Abstract Probabilistic Automata. In Journal of Logic and Algebraic Programming ; éd. Elsevier, 2014.
      https://hal.science/hal-01084342
    • [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.science/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.science/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://inria.hal.science/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://inria.hal.science/hal-00654003

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

    • [13] D. Julien, G. Cantin, B. Delahaye. End-to-End Statistical Model Checking for Parametric ODE Models. In QEST: International Conference on Quantitative Evaluation of Systems, septembre 2022, Warsaw, Pologne.
      https://hal.science/hal-03824899
    • [14] 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.science/hal-02129161
    • [15] . 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.science/hal-01961497
    • [16] 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://inria.hal.science/hal-02313737
    • [17] M. Aouadhi, B. Delahaye, A. Lanoix. Moving from Event-B to Probabilistic Event-B. In 32nd ACM SIGAPP Symposium On Applied Computing, avril 2017, Marrakech, Maroc.
      https://hal.science/hal-01590903
    • [18] 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.science/hal-01591036
    • [19] 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.science/hal-01590884
    • [20] 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.science/hal-01590900
    • [21] 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.science/hal-01590892
    • [22] B. Delahaye. Consistency for Parametric Interval Markov Chains. In 2nd International Workshop on Synthesis of Complex Parameters, avril 2015, London, Royaume-Uni.
      https://hal.science/hal-01140752
    • [23] 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.science/hal-01010877
    • [24] 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://inria.hal.science/hal-01515250
    • [25] 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://inria.hal.science/hal-01087931
    • [26] 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://inria.hal.science/hal-01087914
    • [27] 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.science/hal-00847827
    • [28] 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://inria.hal.science/inria-00554297
    • [29] 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://inria.hal.science/inria-00591578
    • [31] 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://inria.hal.science/inria-00554321v2
    • [32] 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.science/hal-00557717

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

    • [33] 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.science/hal-01555755

Theses et HDR (THESE)

Autres publications (AUTRES)

    • [36] M. Aouadhi, B. Delahaye, A. Lanoix. A Fully Probabilistic Extension of Event-B. Rapport technique, 2016 ; LINA-University of Nantes.
      https://hal.science/hal-01255753
    • [37] M. Aouadhi, B. Delahaye, A. Lanoix. Moving from Event-B to Probabilistic Event-B. Rapport technique, 2016 ; LINA-University of Nantes.
      https://hal.science/hal-01316599
    • [38] M. Aouadhi, B. Delahaye, A. Lanoix. Moving from Event-B to probabilistic Event-B. Rapport technique, 2016 ; LINA-University of Nantes.
      https://hal.science/hal-01316610v2
    • [40] B. Delahaye, A. Legay, S. Sedwards. A Simple and Efficient Statistical Model Checking Algorithm to Evaluate Markov Decision Processes. Rapport technique, 2013 ; .
      https://inria.hal.science/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://inria.hal.science/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://inria.hal.science/inria-00404304v2
Copyright : LS2N 2017 - Mentions Légales - 
 -