Benoît Delahaye
46
Documents
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-03824899v1
|
|
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-02129161v1
|
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-01961497v1
|
|
|
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-02313737v1
|
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-01555755v1
|
|
|
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-01590903v1
|
|
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-01591036v1
|
|
Consistency in Parametric Interval Probabilistic Timed Automata23rd International Symposium on Temporal Representation and Reasoning, Oct 2016, Copenhagen, Denmark
Communication dans un congrès
hal-01590892v1
|
|
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-01590884v1
|
|
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-01590900v1
|
Consistency for Parametric Interval Markov Chains2nd International Workshop on Synthesis of Complex Parameters, Apr 2015, London, United Kingdom
Communication dans un congrès
hal-01140752v1
|
|
|
Heterogeneous Timed Machines11th International Colloquium on Theoretical Aspects of Computing, Sep 2014, Bucharest, France. 18 p
Communication dans un congrès
hal-01010877v1
|
|
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-01087931v1
|
|
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-01087914v1
|
|
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-01515250v1
|
|
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-00847827v1
|
|
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⟩
Communication dans un congrès
hal-00557717v1
|
|
Statistical Model Checking: An OverviewRuntime Verification, Nov 2010, Malta, Malta. ⟨10.1007/978-3-642-16612-9_11⟩
Communication dans un congrès
inria-00591593v1
|
|
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-00591578v1
|
|
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-00554321v2
|
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-00554297v1
|
|
Statistical model checking for parameterized models2019
Pré-publication, Document de travail
hal-02021064v1
|
|
Modular Specification and Compositional Analysis of Stochastic SystemsModeling and Simulation. Université Rennes 1, 2010. English. ⟨NNT : ⟩
Thèse
tel-00591609v1
|
|
Modeling and Verification of Systems with UncertaintiesFormal Languages and Automata Theory [cs.FL]. Université de Nantes, 2020
HDR
tel-03636882v1
|