Clemens Dubslaff

Available identifiers

Publication	Date of Publication	Type
Mean-payoff optimization in continuous-time Markov chains with parametric alarms	2024-09-08	Paper
Ontology-mediated probabilistic model checking	2024-04-19	Paper
Compositional Feature-Oriented Systems	2024-03-14	Paper
On the foundations of cycles in Bayesian networks	2023-08-10	Paper
Operational causality -- necessarily sufficient and sufficiently necessary	2023-07-26	Paper
Be lazy and don't care: faster CTL model checking for recursive state machines	2023-05-26	Paper
Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs	2022-11-09	Paper
Synthesis of Optimal Resilient Control Strategies	2022-08-12	Paper
Admissibility in Probabilistic Argumentation	2022-08-02	Paper
Enhancing probabilistic model checking with ontologies	2022-01-11	Paper
Modeling role-based systems with exogenous coordination	2021-05-20	Paper
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes	2021-01-20	Paper
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms	2019-09-17	Paper
Trade-off analysis meets probabilistic model checking	2018-04-23	Paper
Ratio and Weight Quantiles	2015-09-16	Paper
Quantitative Analysis of Communication Scenarios	2015-09-14	Paper
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking	2014-07-08	Paper
Probabilistic Model Checking for Energy-Utility Analysis	2014-06-02	Paper
Model checking probabilistic systems against pushdown specifications	2012-07-20	Paper

This page was built for person: Clemens Dubslaff