Benoît Delahaye

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
End-to-end statistical model checking for parameterization and stability analysis of ODE models ACM Transactions on Modeling and Computer Simulation	2024-11-15	Paper
End-to-end statistical model checking for parametric ODE models Quantitative Evaluation of Systems	2023-06-02	Paper
Quantitative analysis of interval Markov chains Model Checking, Synthesis, and Learning	2023-05-26	Paper
Consistency in parametric interval probabilistic timed automata Journal of Logical and Algebraic Methods in Programming	2020-01-31	Paper
Parametric timed broadcast protocols (available as arXiv preprint)	2020-01-23	Paper
Consistency for parametric interval Markov chains	2019-10-24	Paper
Reachability in parametric interval Markov chains using constraints Lecture Notes in Computer Science	2019-09-17	Paper
Reachability in parametric interval Markov chains using constraints Theoretical Computer Science	2018-09-24	Paper
Dynamic networks of heterogeneous timed machines Mathematical Structures in Computer Science	2018-05-17	Paper
Probabilistic time Petri nets Application and Theory of Petri Nets and Concurrency	2016-10-04	Paper
Parameter synthesis for parametric interval Markov chains Lecture Notes in Computer Science	2016-03-23	Paper
Stuttering for abstract probabilistic automata Logical Foundations of Computer Science	2015-12-11	Paper
Heterogeneous timed machines Theoretical Aspects of Computing – ICTAC 2014	2015-01-13	Paper
Refinement and difference for probabilistic automata Logical Methods in Computer Science	2014-09-05	Paper
Stuttering for abstract probabilistic automata The Journal of Logic and Algebraic Programming	2014-02-25	Paper
Abstract probabilistic automata Information and Computation	2013-12-13	Paper
Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory CONCUR 2013 – Concurrency Theory	2013-08-12	Paper
Consistency and refinement for interval Markov chains The Journal of Logic and Algebraic Programming	2012-08-14	Paper
Constraint Markov chains Theoretical Computer Science	2011-07-29	Paper
Decision Problems for Interval Markov Chains Language and Automata Theory and Applications	2011-06-03	Paper
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects Formal Methods in System Design	2011-03-31	Paper
Abstract probabilistic automata Lecture Notes in Computer Science	2011-02-15	Paper

Research outcomes over time

This page was built for person: Benoît Delahaye