Publications
Here I try to list our publications where I was involved. Numberings are the same as on DBLP, which usually provides the most up-to-date listing.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). Accepted for publication (2019).
c19
Clemens Dubslaff:
Compositional Feature-oriented Systems.
Proceedings of the 17th International Conference on Software Engineering and Formal Methods (SEFM'19).
Accepted for publication (2019).
c18
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'19).
Accepted for publication (2019).
2018
j05
Christel Baier, Clemens Dubslaff:
From Verification to Synthesis under Cost-Utility Constraints.
ACM SIGLOG News, Vol. 5(4) (2018). Link.
j04
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier: ProFeat: Feature-oriented Engineering for Family-based Probabilistic Model Checking. Formal Aspects of Computing 30(1): 45-75 (2018). Link
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: 1-16 (2018). 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 2018: 38-56. Link
c16
Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur: Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. LICS 2018: 86-94. Link
2017
c15
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonin Kucera, Vojtech Rehak: Synthesis of Optimal Resilient Control Strategies. ATVA 2017: 417-434. Link
c14
Clemens Dubslaff, Christel Baier: Delayed-choice Semantics for Pomset Families and Message Sequence Graphs. ModelEd, TestEd, TrustEd 2017: 64-84. Link
c13
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonin Kucera, Vojtech Rehak: Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. QEST 2017: 190-206. Link
2016
c12
Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz: Modeling Role-Based Systems with Exogenous Coordination. TPFM 2016: 122-139. Link
c11
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier: Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. FASE 2016: 287-304. Link
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. TACAS 2016: 349-366. Link
2015
j02
Clemens Dubslaff, Christel Baier, Sascha Klüppelholz: Probabilistic Model Checking for Feature-oriented Systems. Transactions on Aspect-Oriented Software Development XII: 180-220 (2015). Link
c09
Clemens Dubslaff, Christel Baier: Quantitative Analysis of Communication Scenarios. FORMATS 2015: 76-92. Link
c08
Daniel Krähmann, Jana Schubert, Christel Baier, Clemens Dubslaff: Ratio and Weight Quantiles. MFCS 2015: 344-356. Link
c07
Clemens Dubslaff: Advances in Quantitative Software Product Line Analysis. Software Engineering & Management 2015: 59-60.
2014
c06
Clemens Dubslaff, Sascha Klüppelholz, Christel Baier: Probabilistic Model Checking for Energy Analysis in Software Product Lines. Modularity 2014: 169-180. Link
c05
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner: Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking. Petri Nets 2014: 20-39.
c04
Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich: Probabilistic Model Checking for Energy-Utility Analysis. Horizons of the Mind 2014: 96-123.
c03
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz: Trade-off Analysis Meets Probabilistic Model Checking. CSL-LICS 2014: 1-10. Link
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. FASE 2014: 1-16.
c01
Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz: Energy-Utility Quantiles. NASA Formal Methods 2014: 285-299.
2012
j01
Clemens Dubslaff, Christel Baier, Manuela Berg: Model Checking Probabilistic Systems against Pushdown Specifications. Inf. Process. Lett. 112(8-9): 320-328 (2012). Link (this publication is mainly based on my Bachelor's thesis)