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.2022
c27 |
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel. Causality in Configurable Software Systems. Proceedings of the 44th International Conference on Software Engineering (ICSE): Accepted for publication (2022). |
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
|
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).
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)
|