Publications

Here I try to list conference and journal publications where I was involved. Take also a look at DBLP.

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).

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).

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).

c18

Clemens Dubslaff. Compositional Feature-Oriented Systems. Proceedings of the 17th International Conference on Software Engineering and Formal Methods (SEFM): 162-180 (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), 30(1): 45-75 (2018).

j04

Christel Baier, Clemens Dubslaff: From Verification to Synthesis under Cost-Utility Constraints. ACM SIGLOG News, Vol. 5(4): 26-46 (2018).

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): 1-16 (2018).

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).

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).

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).

c14

Clemens Dubslaff, Christel Baier: Delayed-choice Semantics for Pomset Families and Message Sequence Graphs. ModelEd, TestEd, TrustEd: 64-84 (2017).

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).

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).

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).

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).

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).

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.

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.

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).

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).

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).

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).

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).

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).

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).

(this publication is mainly based on my Bachelor's thesis)