Publications

Here I list publications where I was involved. The linked PDFs are author's versions that possibly differ from the published versions in terms of style and minor corrections.

2021

j09	Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan. Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects of Computing (2021). DOI PDF
j08	Christel Baier, Darío Cuevas Rivera, Clemens Dubslaff, Stefan J. Kiebel. Human-inspired models for tactile computing. Tactile Internet with Human-in-the-Loop, Chp. 8: 173-200 (2021). DOI
j07	Uwe Aßmann, Christel Baier, Clemens Dubslaff, Dominik Grzelak, Simon Hanisch, Ardhi P. P. Hartono, Stefan Köpsell, Tianfang Lin, Thorsten Strufe. Tactile computing: Essential building blocks for the Tactile Internet. Tactile Internet with Human-in-the-Loop, Chp. 13: 301-326 (2021). DOI
c26	Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker. Be Lazy and Don’t Care: Faster CTL Model Checking for Recursive State Machines. Proceedings of the 19th International Conference on Software Engineering and Formal Methods (SEFM): Accepted for publication (2021).
c25	Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer. Admissibility in Probabilistic Argumentation. Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR): Accepted for publication (2021).
c24	Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek. From Verification to Causality-based Explications. Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP): 1-20 (2021). DOI arXiv
w04	Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan. Supporting Ontology-Mediated Stream Reasoning with Model Checking. Proceedings of the 5th Stream Reasoning Workshop (SR): Accepted for publication (2021).

2020

c23	Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl. Components in Probabilistic Systems: Suitable by Construction. Proceedings of the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA): Verification Principles, 240-261 (2020). DOI
c22	Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz. From Features to Roles. Proceedings of the 24th International Systems and Software Product Line Conference (SPLC): 19:1-19:11 (2020). DOI PDF
c21	Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek. Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis. Proceedings of the 30th European Safety and Reliability Conference (ESREL) and 15th Probabilistic Safety Assessment and Management Conference (PSAM): 4489 (2020). DOI PDF arXiv
w03	Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan. Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. Proceedings of the 33rd International Workshop on Description Logics (DL): 9:1-21 (2020). link
w02	Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek. Iterative Variable Reordering: Taming Huge System Families. Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems (MARS): 121-133 (2020). DOI PDF

2019

j06	Christel Baier, Clemens Dubslaff, Ľuboš Korenčiak, Antonìn Kučera, Vojtěch Řehàk. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. ACM Transactions on Modeling and Computer Simulation (TOMACS), Vol. 28: 1-26 (2019). DOI PDF
c20	Clemens Dubslaff, Kai Ding, Andrey Morozov, Christel Baier, Klaus Janschek. Breaking the Limits of Redundancy Systems Analysis. Proceedings of the 29th European Safety and Reliability Conference (ESREL): 2317-2325 (2019). DOI PDF
c19	Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan. Ontology-Mediated Probabilistic Model Checking. Proceedings of the 15th International Conference on integrated Formal Methods (iFM): 194-211 (2019). best paper award DOI PDF artifacts
c18	Clemens Dubslaff. Compositional Feature-Oriented Systems. Proceedings of the 17th International Conference on Software Engineering and Formal Methods (SEFM): 162-180 (2019). DOI PDF
w01	Muhammad Usama Sardar, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, Akash Kumar. Performance evaluation of thermal-constrained scheduling strategies in multi-core systems. Proceedings of the 16th European Performance Engineering Workshop (EPEW): 133-147 (2019). DOI

2018

j05	Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier. ProFeat: Feature-oriented Engineering for Family-based Probabilistic Model Checking. Formal Aspects of Computing (FAC), Vol. 30(1): 45-75 (2018). DOI
j04	Christel Baier, Clemens Dubslaff. From Verification to Synthesis under Cost-Utility Constraints. ACM SIGLOG News, Vol. 5(4): 26-46 (2018). DOI PDF
j03	Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller. Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. International Journal on Software Tools for Technology Transfer (STTT), Vol. 20: 1-16 (2018). DOI link
c17	Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz. Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination. It's All About Coordination: 38-56 (2018). DOI link
c16	Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur. Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): 86-94 (2018). DOI arXiv

2017

c15	Christel Baier, Clemens Dubslaff, Ľuboš Korenčiak, Antonìn Kučera, Vojtěch Řehàk. Synthesis of Optimal Resilient Control Strategies. Proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA): 417-434 (2017). DOI arXiv
c14	Clemens Dubslaff, Christel Baier. Delayed-choice Semantics for Pomset Families and Message Sequence Graphs. ModelEd, TestEd, TrustEd: 64-84 (2017). DOI PDF
c13	Christel Baier, Clemens Dubslaff, Ľuboš Korenčiak, Antonìn Kučera, Vojtěch Řehàk. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. Proceedings of the 14th International Conference on Quantitative Evaluation of Systems (QEST): 190-206 (2017). DOI arXiv

2016

c12	Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz. Modeling Role-Based Systems with Exogenous Coordination. Theory and Practice of Formal Methods: 122-139 (2016). DOI
c11	Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier. Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering (FASE): 287-304 (2016). DOI
c10	Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller. Advances in Symbolic Probabilistic Model Checking with PRISM. Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS): 349-366 (2016). DOI

2015

j02	Clemens Dubslaff, Christel Baier, Sascha Klüppelholz. Probabilistic Model Checking for Feature-oriented Systems. Transactions on Aspect-Oriented Software Development (TAOSD) XII: 180-220 (2015). DOI
c09	Clemens Dubslaff, Christel Baier. Quantitative Analysis of Communication Scenarios. Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS): 76-92. DOI PDF
c08	Daniel Krähmann, Jana Schubert, Christel Baier, Clemens Dubslaff. Ratio and Weight Quantiles. Proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science (MFCS): 344-356. DOI
c07	Clemens Dubslaff. Advances in Quantitative Software Product Line Analysis. Software Engineering & Management: 59-60 (2015).

2014

c06	Clemens Dubslaff, Sascha Klüppelholz, Christel Baier. Probabilistic Model Checking for Energy Analysis in Software Product Lines. Proceedings of the 13th International Conference on Modularity (Modularity): 169-180 (2014). DOI arXiv
c05	Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner. Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking. Proceedings of the 35th International Conference on the Application and Theory of Petri Nets and Concurrency (PN): 20-39 (2014). DOI
c04	Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich. Probabilistic Model Checking for Energy-Utility Analysis. Horizons of the Mind: 96-123 (2014). DOI
c03	Christel Baier, Clemens Dubslaff, Sascha Klüppelholz. Trade-off Analysis Meets Probabilistic Model Checking. Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): 1-10 (2014). DOI
c02	Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich. Probabilistic Model Checking and Non-standard Multi-objective Reasoning. Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE): 1-16 (2014). DOI
c01	Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz. Energy-Utility Quantiles. Proceedings of the 6th International Symposium on NASA Formal Methods (NFM): 285-299 (2014). DOI link

2012

j01	Clemens Dubslaff, Christel Baier, Manuela Berg. Model Checking Probabilistic Systems against Pushdown Specifications. Information Processing Letters (IPL) 112(8-9): 320-328 (2012). DOI PDF (this publication is mainly based on my Bachelor's thesis)