Model checking probabilistic systems against pushdown specifications. - Clemens Dubslaff; Christel Baier; Manuela Berg (Inf. Process. Lett., 2012)

Probabilistic model checking for energy analysis in software product lines. - Clemens Dubslaff; Sascha Klüppelholz; Christel Baier (MODULARITY, 2014)

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

Probabilistic Model Checking for Energy-Utility Analysis. - Christel Baier; Clemens Dubslaff; Joachim Klein 001; Sascha Klüppelholz; Sascha Wunderlich (Horizons of the Mind, 2014)

Trade-off analysis meets probabilistic model checking. - Christel Baier; Clemens Dubslaff; Sascha Klüppelholz (CSL-LICS, 2014)

Probabilistic Model Checking and Non-standard Multi-objective Reasoning. - Christel Baier; Clemens Dubslaff; Sascha Klüppelholz; Marcus Daum; Joachim Klein 001; Steffen Märcker; Sascha Wunderlich (FASE, 2014)

Energy-Utility Quantiles. - Christel Baier; Marcus Daum; Clemens Dubslaff; Joachim Klein 001; Sascha Klüppelholz (NASA Formal Methods, 2014)

Quantitative Analysis of Communication Scenarios. - Clemens Dubslaff; Christel Baier (FORMATS, 2015)

Ratio and Weight Quantiles. - Daniel Krähmann; Jana Schubert; Christel Baier; Clemens Dubslaff (MFCS (1), 2015)

Advances in Quantitative Software Product Line Analysis. - Clemens Dubslaff (Software Engineering & Management, 2015)

Probabilistic Model Checking for Feature-Oriented Systems. - Clemens Dubslaff; Christel Baier; Sascha Klüppelholz (LNCS Trans. Aspect Oriented Softw. Dev., 2015)

Modeling Role-Based Systems with Exogenous Coordination. - Philipp Chrszon; Clemens Dubslaff; Christel Baier; Joachim Klein 001; Sascha Klüppelholz (Theory and Practice of Formal Methods, 2016)

Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. - Philipp Chrszon; Clemens Dubslaff; Sascha Klüppelholz; Christel Baier (FASE, 2016)

Advances in Symbolic Probabilistic Model Checking with PRISM. - Joachim Klein 001; Christel Baier; Philipp Chrszon; Marcus Daum; Clemens Dubslaff; Sascha Klüppelholz; Steffen Märcker; David Müller 001 (TACAS, 2016)

Synthesis of Optimal Resilient Control Strategies. - Christel Baier; Clemens Dubslaff; Lubos Korenciak; Antonín Kucera 001; Vojtech Rehák (ATVA, 2017)

Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs. - Clemens Dubslaff; Christel Baier (ModelEd, TestEd, TrustEd, 2017)

Synthesis of Optimal Resilient Control Strategies. - Christel Baier; Clemens Dubslaff; Lubos Korenciak; Vojtech Rehák (CoRR, 2017)

Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination. - Christel Baier; Philipp Chrszon; Clemens Dubslaff; Joachim Klein 001; Sascha Klüppelholz (It's All About Coordination, 2018)

Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. - Christel Baier; Nathalie Bertrand 001; Clemens Dubslaff; Daniel Gburek; Ocan Sankur (LICS, 2018)

ProFeat: feature-oriented engineering for family-based probabilistic model checking. - Philipp Chrszon; Clemens Dubslaff; Sascha Klüppelholz; Christel Baier (Formal Aspects Comput., 2018)

From verification to synthesis under cost-utility constraints. - Christel Baier; Clemens Dubslaff (ACM SIGLOG News, 2018)

Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. - Joachim Klein 001; Christel Baier; Philipp Chrszon; Marcus Daum; Clemens Dubslaff; Sascha Klüppelholz; Steffen Märcker; David Müller 001 (Int. J. Softw. Tools Technol. Transf., 2018)

Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems. - Muhammad Usama Sardar; Clemens Dubslaff; Sascha Klüppelholz; Christel Baier; Akash Kumar 001 (EPEW, 2019)

Ontology-Mediated Probabilistic Model Checking. - Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan (IFM, 2019)

Compositional Feature-Oriented Systems. - Clemens Dubslaff (SEFM, 2019)

Breaking the Limits of Redundancy Systems Analysis. - Clemens Dubslaff; Kai Ding 001; Andrey Morozov 001; Christel Baier; Klaus Janschek (CoRR, 2019)

Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms. - Christel Baier; Clemens Dubslaff; Lubos Korenciak; Antonín Kucera 001; Vojtech Rehák (ACM Trans. Model. Comput. Simul., 2019)

Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. - Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan (Description Logics, 2020)

Components in Probabilistic Systems: Suitable by Construction. - Christel Baier; Clemens Dubslaff; Holger Hermanns; Michaela Klauck; Sascha Klüppelholz; Maximilian A. Köhl (ISoLA (1), 2020)

From features to roles. - Philipp Chrszon; Christel Baier; Clemens Dubslaff; Sascha Klüppelholz (SPLC (A), 2020)

Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis. - Clemens Dubslaff; Andrey Morozov 001; Christel Baier; Klaus Janschek (CoRR, 2020)

Iterative Variable Reordering: Taming Huge System Families. - Clemens Dubslaff; Andrey Morozov 001; Christel Baier; Klaus Janschek (MARS@ETAPS, 2020)

Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction". - Christel Baier; Clemens Dubslaff; Holger Hermanns; Michaela Klauck; Sascha Klüppelholz; Maximilian A. Köhl (Zenodo, 2020)

From Features to Roles, Artifact (SPLC2020). - Philipp Chrszon; Christel Baier; Clemens Dubslaff; Sascha Klüppelholz (Zenodo, 2020)

From Verification to Causality-Based Explications (Invited Talk). - Christel Baier; Clemens Dubslaff; Florian Funke 002; Simon Jantsch; Rupak Majumdar; Jakob Piribauer; Robin Ziemek (ICALP, 2021)

Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines. - Clemens Dubslaff; Patrick Wienhöft; Ansgar Fehnker (SEFM, 2021)

From Verification to Causality-based Explications. - Christel Baier; Clemens Dubslaff; Florian Funke 002; Simon Jantsch; Rupak Majumdar; Jakob Piribauer; Robin Ziemek (CoRR, 2021)

Enhancing Probabilistic Model Checking with Ontologies. - Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan (Formal Aspects Comput., 2021)

Quantitative konfigurierbare und rekonfigurierbare Systeme . - Clemens Dubslaff (Ausgezeichnete Informatikdissertationen, 2021)

Operational Causality - Necessarily Sufficient and Sufficiently Necessary. - Christel Baier; Clemens Dubslaff; Florian Funke 002; Simon Jantsch; Jakob Piribauer; Robin Ziemek (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

On the Foundations of Cycles in Bayesian Networks. - Christel Baier; Clemens Dubslaff; Holger Hermanns; Nikolai Käfer (Principles of Systems Design, 2022)

Causality in Configurable Software Systems. - Clemens Dubslaff; Kallistos Weis; Christel Baier; Sven Apel (ICSE, 2022)

Configurable-by-Construction Runtime Monitoring. - Clemens Dubslaff; Maximilian A. Köhl (ISoLA (1), 2022)

Admissibility in Probabilistic Argumentation. - Nikolai Käfer; Christel Baier; Martin Diller; Clemens Dubslaff; Sarah Alice Gaggl; Holger Hermanns (J. Artif. Intell. Res., 2022)

Quantitative Analysis of Configurable and Reconfigurable Systems. - Clemens Dubslaff (2022)

FeatCause - Sources and Data. - Clemens Dubslaff; Kallistos Weis; Christel Baier; Sven Apel (Zenodo, 2022)

Interaction Detection in Configurable Systems - A Formal Approach Featuring Roles, Artifact. - Philipp Chrszon; Christel Baier; Clemens Dubslaff; Sascha Klüppelholz (Zenodo, 2022)

A Unifying Formal Approach to Importance Values in Boolean Functions. - Hans Harder; Simon Jantsch; Christel Baier; Clemens Dubslaff (IJCAI, 2023)

More for Less: Safe Policy Improvement with Stronger Performance Guarantees. - Patrick Wienhöft; Marnix Suilen; Thiago D. Simão; Clemens Dubslaff; Christel Baier; Nils Jansen 001 (IJCAI, 2023)

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. - Christel Baier; Clemens Dubslaff; Patrick Wienhöft; Stefan J. Kiebel (NFM, 2023)

Towards a Formal Account on Negative Latency. - Clemens Dubslaff; Jonas Schulz; Patrick Wienhöft; Christel Baier; Frank H. P. Fitzek; Stefan J. Kiebel; Johannes Lehmann 001 (AISoLA, 2023)

Interaction detection in configurable systems - A formal approach featuring roles. - Philipp Chrszon; Christel Baier; Clemens Dubslaff; Sascha Klüppelholz (J. Syst. Softw., 2023)

FeatCause - Sources and Data. - Clemens Dubslaff; Kallistos Weis; Christel Baier; Sven Apel (Zenodo, 2023)

OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. - Nils Husung; Clemens Dubslaff; Holger Hermanns; Maximilian A. Köhl (Zenodo, 2023)

Configuration Monitor Synthesis. - Maximilian A. Köhl; Clemens Dubslaff; Holger Hermanns (ATVA (2), 2024)

Compiling Binary Decision Diagrams with Interrupt-Based Downsizing. - Clemens Dubslaff; Joshua Wirtz (Principles of Verification (3), 2024)

X-by-Construction Meets AI. - Maurice H. ter Beek; Loek Cleophas; Clemens Dubslaff; Ina Schaefer (ISoLA (4), 2024)

Blackbox Observability of Features and Feature Interactions. - Kallistos Weis; Leopoldo Teixeira; Clemens Dubslaff; Sven Apel (ASE, 2024)

Configuring BDD Compilation Techniques for Feature Models. - Clemens Dubslaff; Nils Husung; Nikolai Käfer (SPLC (A), 2024)

OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. - Nils Husung; Clemens Dubslaff; Holger Hermanns; Maximilian A. Köhl (TACAS (3), 2024)

Template Decision Diagrams for Meta Control and Explainability. - Clemens Dubslaff; Verena Klös; Juliane Päßler (xAI (2), 2024)

OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. - Nils Husung; Clemens Dubslaff; Holger Hermanns; Maximilian A. Köhl (Zenodo, 2024)

Feature causality. - Clemens Dubslaff; Kallistos Weis; Christel Baier; Sven Apel (J. Syst. Softw., 2024)

Lazy model checking for recursive state machines. - Clemens Dubslaff; Patrick Wienhöft; Ansgar Fehnker (Softw. Syst. Model., 2024)

Negative Latency in the Tactile Internet as Enabler for Global Metaverse Immersion. - Jonas Schulz; Clemens Dubslaff; Patrick Seeling; Shu-Chen Li; Stefanie Speidel; Frank H. P. Fitzek (IEEE Netw., 2024)

Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Clemens Dubslaff; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Zenodo, 2024)

Explaining Control Policies through Predicate Decision Diagrams. - Debraj Chakraborty 002; Clemens Dubslaff; Sudeep Kanav; Jan Kretínský; Christoph Weinhuber (HSCC, 2025)

When to Sample from Feature Diagrams? - Nikolai Käfer; Sven Apel; Christel Baier; Clemens Dubslaff; Holger Hermanns (VaMoS, 2025)