Clemens Dubslaff

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 48

Top Topics

Markov Decision Process

Reliability Analysis

Top Venues

J. Syst. Softw.

Publications

Clemens Dubslaff, Nils Husung, Nikolai Käfer
Configuring BDD Compilation Techniques for Feature Models. SPLC (A) (2024)
Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker
Lazy model checking for recursive state machines. Softw. Syst. Model. 23 (2) (2024)
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel
Feature causality. J. Syst. Softw. 209 (2024)
Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl
OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. TACAS (3) (2024)
Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff
A Unifying Formal Approach to Importance Values in Boolean Functions. IJCAI (2023)
Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff
A Unifying Formal Approach to Importance Values in Boolean Functions. CoRR (2023)
Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. CoRR (2023)
Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel
Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. NFM (2023)
Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann
Towards a Formal Account on Negative Latency. AISoLA (2023)
Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
On the Foundations of Cycles in Bayesian Networks. CoRR (2023)
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
More for Less: Safe Policy Improvement With Stronger Performance Guarantees. CoRR (2023)
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
More for Less: Safe Policy Improvement with Stronger Performance Guarantees. IJCAI (2023)
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
Interaction detection in configurable systems - A formal approach featuring roles. J. Syst. Softw. 196 (2023)
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel
Causality in Configurable Software Systems. ICSE (2022)
Clemens Dubslaff, Maximilian A. Köhl
Configurable-by-Construction Runtime Monitoring. ISoLA (1) (2022)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Operational Causality - Necessarily Sufficient and Sufficiently Necessary. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel
Causality in Configurable Software Systems. CoRR (2022)
Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
On the Foundations of Cycles in Bayesian Networks. Principles of Systems Design (2022)
Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
Admissibility in Probabilistic Argumentation. J. Artif. Intell. Res. 74 (2022)
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput. 33 (6) (2021)
Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker
Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines. SEFM (2021)
Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
Admissibility in Probabilistic Argumentation. KR (2021)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
From Verification to Causality-based Explications. CoRR (2021)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
From Verification to Causality-Based Explications (Invited Talk). ICALP (2021)
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. Description Logics (2020)
Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek
Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis. CoRR (2020)
Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek
Iterative Variable Reordering: Taming Huge System Families. MARS@ETAPS (2020)
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
From features to roles. SPLC (A) (2020)
Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl
Components in Probabilistic Systems: Suitable by Construction. ISoLA (1) (2020)
Clemens Dubslaff
Compositional Feature-Oriented Systems. SEFM (2019)
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Ontology-Mediated Probabilistic Model Checking. IFM (2019)
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms. ACM Trans. Model. Comput. Simul. 29 (4) (2019)
Clemens Dubslaff, Kai Ding, Andrey Morozov, Christel Baier, Klaus Janschek
Breaking the Limits of Redundancy Systems Analysis. CoRR (2019)
Muhammad Usama Sardar, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, Akash Kumar
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems. EPEW (2019)
Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. CoRR (2018)
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. Int. J. Softw. Tools Technol. Transf. 20 (2) (2018)
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
ProFeat: feature-oriented engineering for family-based probabilistic model checking. Formal Aspects Comput. 30 (1) (2018)
Christel Baier, Clemens Dubslaff
From verification to synthesis under cost-utility constraints. ACM SIGLOG News 5 (4) (2018)
Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. LICS (2018)
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)
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Vojtech Rehák
Synthesis of Optimal Resilient Control Strategies. CoRR (2017)
Clemens Dubslaff, Christel Baier
Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs. ModelEd, TestEd, TrustEd (2017)
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Synthesis of Optimal Resilient Control Strategies. ATVA (2017)
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. QEST (2017)
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. CoRR (2017)
Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz
Modeling Role-Based Systems with Exogenous Coordination. Theory and Practice of Formal Methods (2016)
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)
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. FASE (2016)
Daniel Krähmann, Jana Schubert, Christel Baier, Clemens Dubslaff
Ratio and Weight Quantiles. MFCS (1) (2015)
Clemens Dubslaff
Advances in Quantitative Software Product Line Analysis. Software Engineering & Management (2015)
Clemens Dubslaff, Christel Baier, Sascha Klüppelholz
Probabilistic Model Checking for Feature-Oriented Systems. LNCS Trans. Aspect Oriented Softw. Dev. 12 (2015)
Clemens Dubslaff, Christel Baier
Quantitative Analysis of Communication Scenarios. FORMATS (2015)
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
Trade-off analysis meets probabilistic model checking. CSL-LICS (2014)
Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
Probabilistic model checking for energy analysis in software product lines. MODULARITY (2014)
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking. Petri Nets (2014)
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)
Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
Probabilistic Model Checking for Energy-Utility Analysis. Horizons of the Mind (2014)
Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
Energy-Utility Quantiles. NASA Formal Methods (2014)
Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
Probabilistic Model Checking for Energy Analysis in Software Product Lines. CoRR (2013)
Clemens Dubslaff, Christel Baier, Manuela Berg
Model checking probabilistic systems against pushdown specifications. Inf. Process. Lett. 112 (8-9) (2012)