Clemens Dubslaff

zbMath Opendubslaff.clemensMaRDI QIDQ436313

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
Mean-payoff optimization in continuous-time Markov chains with parametric alarms ACM Transactions on Modeling and Computer Simulation	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 Lecture Notes in Computer Science	2023-08-10	Paper
Operational causality -- necessarily sufficient and sufficiently necessary Lecture Notes in Computer Science	2023-07-26	Paper
Be lazy and don't care: faster CTL model checking for recursive state machines Software Engineering and Formal Methods	2023-05-26	Paper
Delayed-choice semantics for pomset families and message sequence graphs ModelEd, TestEd, TrustEd	2022-11-09	Paper
Synthesis of Optimal Resilient Control Strategies Automated Technology for Verification and Analysis	2022-08-12	Paper
Admissibility in Probabilistic Argumentation Journal of Artificial Intelligence Research	2022-08-02	Paper
Enhancing probabilistic model checking with ontologies Formal Aspects of Computing	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 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Mean-payoff optimization in continuous-time Markov chains with parametric alarms Quantitative Evaluation of Systems	2019-09-17	Paper
Trade-off analysis meets probabilistic model checking Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)	2018-04-23	Paper
Ratio and weight quantiles Mathematical Foundations of Computer Science 2015	2015-09-16	Paper
Quantitative analysis of communication scenarios Lecture Notes in Computer Science	2015-09-14	Paper
Energy-utility analysis for resilient systems using probabilistic model checking Application and Theory of Petri Nets and Concurrency	2014-07-08	Paper
Probabilistic model checking for energy-utility analysis Lecture Notes in Computer Science	2014-06-02	Paper
Model checking probabilistic systems against pushdown specifications Information Processing Letters	2012-07-20	Paper

Research outcomes over time

This page was built for person: Clemens Dubslaff