Publications
Here I list publications where I was involved. The linked PDFs are author's versions that possibly contain minor postprint corrections.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): Accepted for publication (2020). |
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): In press (2019). |
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 (FAOC), 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). 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 artifacts |
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 PDF artifacts |
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) |