
Benoît Delahaye
46
Documents
Publications
Publications
|
End-to-End Statistical Model Checking for Parametric ODE ModelsQEST: International Conference on Quantitative Evaluation of Systems, Sep 2022, Warsaw, Poland. pp.85-106, ⟨10.1007/978-3-031-16336-4_5⟩
Communication dans un congrès
hal-03824899
v1
|
|
Parametric Timed Broadcast Protocols20th 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⟩
Communication dans un congrès
hal-01961497
v1
|
|
Graphical event model learning and verification for security assessment32th 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⟩
Communication dans un congrès
hal-02129161
v1
|
|
Parametric Statistical Model Checking of UAV Flight Plan39th 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⟩
Communication dans un congrès
hal-02313737
v1
|
|
Reachability in Parametric Interval Markov Chains Using Constraints14th International Conference on Quantitative Evaluation of SysTems, Sep 2017, Berlin, Germany. pp.527 - 189, ⟨10.1007/978-3-319-66335-7_11⟩
Communication dans un congrès
hal-01591036
v1
|
|
Moving from Event-B to Probabilistic Event-B32nd ACM SIGAPP Symposium On Applied Computing, Apr 2017, Marrakech, Morocco. ⟨10.1145/3019612.3019823⟩
Communication dans un congrès
hal-01590903
v1
|
Vérification de chaînes de Markov à intervalles paramétrés avec des contraintesTreizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
Communication dans un congrès
hal-01555755
v1
|
|
|
Parameter Synthesis for Parametric Interval Markov Chains17th 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⟩
Communication dans un congrès
hal-01590884
v1
|
|
Probabilistic Time Petri Nets37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, Jun 2016, Torun, Poland. pp.261-280
Communication dans un congrès
hal-01590900
v1
|
|
Consistency in Parametric Interval Probabilistic Timed Automata23rd International Symposium on Temporal Representation and Reasoning, Oct 2016, Copenhagen, Denmark
Communication dans un congrès
hal-01590892
v1
|
Consistency for Parametric Interval Markov Chains2nd International Workshop on Synthesis of Complex Parameters, Apr 2015, London, United Kingdom
Communication dans un congrès
hal-01140752
v1
|
|
|
Heterogeneous Timed Machines11th International Colloquium on Theoretical Aspects of Computing, Sep 2014, Bucharest, France. 18 p
Communication dans un congrès
hal-01010877
v1
|
|
A Timed Component Algebra for Services15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.242-257, ⟨10.1007/978-3-642-38592-6_17⟩
Communication dans un congrès
hal-01515250
v1
|
|
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification TheoryCONCUR 2013 - 24th International Conference Concurrency Theory, Aug 2013, Buenos Aires, Argentina. pp.76 - 90, ⟨10.1007/978-3-642-40184-8_7⟩
Communication dans un congrès
hal-01087914
v1
|
|
Refinement and Difference for Probabilistic AutomataQEST 2013 - 10th International Conference Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.22 - 38, ⟨10.1007/978-3-642-40196-1_3⟩
Communication dans un congrès
hal-01087931
v1
|
|
Statistical Model Checking QoS properties of Systems with SBIPLeveraging 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⟩
Communication dans un congrès
hal-00847827
v1
|
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
Communication dans un congrès
inria-00554297
v1
|
|
|
Statistical Abstraction and Model-Checking of Large Heterogeneous SystemsJoint 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⟩
Communication dans un congrès
inria-00554321
v2
|
|
Statistical Model Checking: An OverviewRuntime Verification, Nov 2010, Malta, Malta. ⟨10.1007/978-3-642-16612-9_11⟩
Communication dans un congrès
inria-00591593
v1
|
|
Compositional design methodology with constraint Markov chainsQEST 2010, Sep 2010, Williamsburg, Virginia, United States. ⟨10.1109/QEST.2010.23⟩
Communication dans un congrès
inria-00591578
v1
|
|
Verification of an AFDX infrastructure using simulation and probabilitiesRuntime Verification - First International Conference, RV 2010, Nov 2010, St. Julians, Malta. pp.330-344, ⟨10.1007/978-3-642-16612-9_25⟩
Communication dans un congrès
hal-00557717
v1
|
|
Statistical model checking for parameterized models2019
Pré-publication, Document de travail
hal-02021064
v1
|
|
Moving from Event-B to probabilistic Event-B[Research Report] LINA-University of Nantes. 2016
Rapport
(rapport de recherche)
hal-01316610
v2
|
|
A Fully Probabilistic Extension of Event-B[Research Report] LINA-University of Nantes. 2016
Rapport
(rapport de recherche)
hal-01255753
v1
|
|
About Probabilistic Event-B[Research Report] LINA-University of Nantes. 2015
Rapport
(rapport de recherche)
hal-01151594
v2
|
|
A Simple and Efficient Statistical Model Checking Algorithm to Evaluate Markov Decision Processes[Technical Report] 2013
Rapport
(rapport technique)
hal-00856704
v1
|
|
Statistical abstraction and model-checking of large heterogeneous systems[Research Report] RR-7238, INRIA. 2010
Rapport
(rapport de recherche)
inria-00466158
v1
|
|
Compositional Design Methodology with Constraint Markov Chains[Research Report] RR-6993, INRIA. 2009
Rapport
(rapport de recherche)
inria-00404304
v2
|
|
Compositional Reasoning on (Probabilistic) Contracts[Research Report] RR-6970, INRIA. 2009
Rapport
(rapport de recherche)
inria-00398985
v1
|
|
A Model for Probabilistic Reasoning on Assume/Guarantee Contracts[Research Report] RR-6719, INRIA. 2008, pp.17
Rapport
(rapport de recherche)
inria-00337538
v1
|
|
Modular Specification and Compositional Analysis of Stochastic SystemsModeling and Simulation. Université Rennes 1, 2010. English. ⟨NNT : ⟩
Thèse
tel-00591609
v1
|
|
Modeling and Verification of Systems with UncertaintiesFormal Languages and Automata Theory [cs.FL]. Université de Nantes, 2020
HDR
tel-03636882
v1
|
Chargement...
Chargement...