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
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
j04
Christel Baier, Clemens Dubslaff:
From Verification to Synthesis under Cost-Utility Constraints.
ACM SIGLOG News, Vol. 5(4): 26-46 (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: 38-56 (2018). 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'18): 86-94 (2018). 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)