Publications
Here I list publications where I was involved. The linked PDFs are preprints or author's versions that possibly differ from the published versions in terms of style and minor corrections. In case you find a typo and alike or miss an author's version, please contact me. I am always happy to update the list of papers here.2025
j15 |
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, S. Lizeth Tapia Tarifa, Einar Broch Johnsen. Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. Formal Aspects of Computing (2025). Accepted for publication. |
c41 |
Nikolai Käfer, Sven Apel, Christel Baier, Clemens Dubslaff, Holger Hermanns. When to Sample from Feature Diagrams? Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS): accepted for publication (2025). |
2024
j14 |
Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker.
Lazy Model Checking for Recursive State Machines.
The Journal of Software and Systems Modeling (SoSyM): Vol. 23, 369–401 (2024).
DOI
|
j13 |
Jonas Schulz, Clemens Dubslaff, Patrick Seeling, Shu-Chen Li, Stefanie Speidel, Frank Fitzek.
Negative Latency in the Tactile Internet as Enabler for
Global Metaverse Immersion.
IEEE Network (2024).
DOI
|
j12 |
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel.
Feature Causality.
The Journal of Systems & Software (JSS): Vol. 209 (2024).
DOI
|
c40 |
Clemens Dubslaff, Joshua Wirtz.
Compiling Binary Decision Diagrams with Interrupt-based Downsizing.
Proceedings of Principles of Verification: Cycling the Probabilistic Landscape (PVCPL): 252–273 (2024).
DOI
|
c39 |
Kallistos Weis, Leopoldo Motta Teixeira, Clemens Dubslaff, Sven Apel.
Blackbox Observability of Features and Feature Interactions.
Proceedings of the 39th International Conference on Automated Software Engineering (ASE): 1120–1132 (2024).
DOI
|
c38 |
Clemens Dubslaff, Nils Husung, Nikolai Käfer.
Configuring BDD Compilation Techniques for Feature Models.
Proceedings of the 28th International Systems and Software Product Line Conference (SPLC): 209-216 (2024).
DOI
|
c37 |
Maximilian A. Köhl, Clemens Dubslaff, Holger Hermanns.
Configuration Monitor Synthesis.
Proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA): accepted for publication (2024).
arXiv
|
c36 |
Clemens Dubslaff, Verena Klös, Juliane Päßler.
Template Decision Diagrams for Meta Control and Explainability.
Proceedings of the 2nd World Conference on eXplainable Artificial Intelligence (XAI): 219–242 (2024).
DOI
PDF
|
c35 |
Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl.
OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust.
Proceedings of the 30th International Conference on Tools and Algorithms
for the Construction and Analysis of Systems (TACAS): 255–275 (2024).
awarded best paper
DOI
|
2023
j11 |
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz.
Interaction Detection in Configurable Systems – A Formal Approach Featuring Roles.
The Journal of Systems & Software (JSS), Vol. 196 (2023).
DOI
|
c34 |
Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft, Christel Baier, Frank H.P. Fitzek, Stefan J. Kiebel, Johannes Lehmann.
Towards a Formal Account on Negative Latency.
Proceedings of the first International Conference on Bridging the Gap between AI and Reality (AISoLA): 188-214 (2023).
DOI
PDF
|
c33 |
Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff.
A Unifying Formal Approach to Importance Values in Boolean Functions.
Proceedings of the 32th International Joint Conference on Artificial Intelligence (IJCAI): 2728-2737 (2023).
DOI
PDF
arXiv
|
c32 |
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen.
More for Less: Safe Policy Improvement With Stronger Performance Guarantees.
Proceedings of the 32th International Joint Conference on Artificial Intelligence (IJCAI): 4406-4415 (2023).
DOI
PDF
arXiv
|
c31 |
Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel.
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access.
Proceedings of the 15th International Symposium on NASA Formal Methods (NFM): 86-103 (2023).
DOI
arXiv
|
2022
j10 |
Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns.
Admissibility in Probabilistic Argumentation.
Journal of Artificial Intelligence Research (JAIR), Vol. 74: 957-1009 (2022).
DOI
|
c30 |
Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer.
On the Foundations of Cycles in Bayesian Networks.
Principles of Systems Design: 343-363 (2022).
DOI
|
c29 |
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek.
Operational Causality – Necessarily Sufficient and Sufficiently Necessary.
A Journey from Process Algebra via Timed Automata to Model Learning: 27-45 (2022).
DOI
PDF
|
c28 |
Clemens Dubslaff, Maximilian A. Köhl.
Configurable-by-Construction Runtime Monitoring.
Proceedings of the 10th International Symposium On Leveraging
Applications of Formal Methods, Verification and Validation (ISoLA):
220-241 (2022).
DOI
PDF
|
c27 |
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel.
Causality in Configurable Software Systems.
Proceedings of the 44th International Conference on Software Engineering (ICSE): 325-337 (2022).
DOI
PDF
arXiv
|
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): 332-350 (2021).
DOI
PDF
|
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): 87-98 (2021).
DOI
|
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
|
w05 |
Clemens Dubslaff.
Quantitative Analyse von konfigurierbaren und rekonfigurierbaren Systemen.
Ausgezeichnete Informatikdissertationen: 21-30 (2021).
DOI
|
w04 |
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan.
Supporting Ontology-Mediated Stream Reasoning with Model Checking.
Proceedings of the 5th Stream Reasoning Workshop (SR): 1-3 (2021).
link
|
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).
awarded best paper
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
PDF
|
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).
nominated best paper
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
PDF
|
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)
|