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.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): Accepted for publication (2020). |
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): Accepted for publication (2020). |
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): Accepted for publication (2020). |
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, and Anni-Yasmin Turhan:
Ontology-Mediated Probabilistic Model Checking.
Proceedings of the 15th International Conference on integrated Formal Methods (iFM): 194-211 (2019).
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
|
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
|
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)
|