Publications

Conference Papers

2017

Clemens Dubslaff, Christel Baier: Delayed-choice Semantics for Pomset Families and Message Sequence Graphs. MTTed 2017: accepted for publication

Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonin Kucera and Vojtech Rehak: Synthesis of Optimal Resilient Control Strategies. ATVA 2017: accepted for publication

Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonin Kucera and Vojtech Rehak: Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. QEST 2017: 190-206. Link

2016

Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier: Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. FASE 2016: 287-304. Link

Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz: Modeling Role-Based Systems with Exogenous Coordination. TPFM 2016: 122-139. Link

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

Clemens Dubslaff, Christel Baier: Quantitative Analysis of Communication Scenarios. FORMATS 2015: 76-92. Link

Daniel Krähmann, Jana Schubert, Christel Baier, Clemens Dubslaff: Ratio and Weight Quantiles. MFCS 2015: 344-356. Link

2014

Clemens Dubslaff, Sascha Klüppelholz, Christel Baier: Probabilistic Model Checking for Energy Analysis in Software Product Lines. MODULARITY 2014: 169-180. Link

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz: Trade-off Analysis Meets Probabilistic Model Checking. CSL-LICS 2014: 1-10. Link

Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz: Energy-Utility Quantiles. NASA Formal Methods 2014: 285-299.

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.

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.

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner: Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking. Petri Nets 2014: 20-39.

Journal Articles

2017

Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier: ProFeat: Feature-oriented Engineering for Family-based Probabilistic Model Checking. Formal Aspects of Computing: accepted for publication.

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 (2017). Link

2015

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

2012

Clemens Dubslaff, Christel Baier, Manuela Berg: Model Checking Probabilistic Systems against Pushdown Specifications. Inf. Process. Lett. 112(8-9): 320-328 (2012). Link

Workshop Papers and Alike

See also my page on DBLP.