Clemens Dubslaff

81 papers A* 7A 1B 7C 1Journal 29Unranked 31

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Tailoring binary decision diagram compilation for feature models. J. Syst. Softw. Clemens Dubslaff, Nils Husung, Nikolai Käfer
2026	J	`jnl`	The life of software features: An exploratory case study of 189 feature requests in Marlin. J. Syst. Softw. Aron van der Hofstad, Loek Cleophas, Clemens Dubslaff, Jacob Krüger
2025	—	`conf`	Explaining Control Policies through Predicate Decision Diagrams. HSCC Debraj Chakraborty, Clemens Dubslaff, Sudeep Kanav, Jan Kretínský, Christoph Weinhuber
2025	J	`jnl`	Explaining Control Policies through Predicate Decision Diagrams. CoRR Debraj Chakraborty, Clemens Dubslaff, Sudeep Kanav, Jan Kretínský, Christoph Weinhuber
2025	—	`conf`	Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. SPLC (A) Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	J	`jnl`	Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. Formal Aspects Comput. Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	—	`conf`	Featured Message Sequence Graphs. Principles of Formal Quantitative Analysis Clemens Dubslaff
2025	—	`ed.`	Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday Principles of Formal Quantitative Analysis Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz
2025	—	`conf`	When to Sample from Feature Diagrams? VaMoS Nikolai Käfer, Sven Apel, Christel Baier, Clemens Dubslaff, Holger Hermanns
2024	A*	`conf`	Blackbox Observability of Features and Feature Interactions. ASE Kallistos Weis, Leopoldo Teixeira, Clemens Dubslaff, Sven Apel
2024	—	`conf`	Compiling Binary Decision Diagrams with Interrupt-Based Downsizing. Principles of Verification (3) Clemens Dubslaff, Joshua Wirtz
2024	—	`conf`	Configuration Monitor Synthesis. ATVA (2) Maximilian A. Köhl, Clemens Dubslaff, Holger Hermanns
2024	J	`jnl`	Configuration Monitor Synthesis. CoRR Maximilian A. Köhl, Clemens Dubslaff, Holger Hermanns
2024	—	`conf`	Configuring BDD Compilation Techniques for Feature Models. SPLC (A) Clemens Dubslaff, Nils Husung, Nikolai Käfer
2024	J	`jnl`	Feature causality. J. Syst. Softw. Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel
2024	J	`jnl`	Lazy model checking for recursive state machines. Softw. Syst. Model. Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker
2024	J	`jnl`	Negative Latency in the Tactile Internet as Enabler for Global Metaverse Immersion. IEEE Netw. Jonas Schulz, Clemens Dubslaff, Patrick Seeling, Shu-Chen Li, Stefanie Speidel, Frank H. P. Fitzek
2024	—	`conf`	OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. TACAS (3) Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl
2024	—	`conf`	Template Decision Diagrams for Meta Control and Explainability. xAI (2) Clemens Dubslaff, Verena Klös, Juliane Päßler
2024	—	`conf`	X-by-Construction Meets AI. ISoLA (4) Maurice H. ter Beek, Loek Cleophas, Clemens Dubslaff, Ina Schaefer
2023	A*	`conf`	A Unifying Formal Approach to Importance Values in Boolean Functions. IJCAI Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff
2023	J	`jnl`	A Unifying Formal Approach to Importance Values in Boolean Functions. CoRR Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff
2023	J	`jnl`	Interaction detection in configurable systems - A formal approach featuring roles. J. Syst. Softw. Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
2023	J	`jnl`	More for Less: Safe Policy Improvement With Stronger Performance Guarantees. CoRR Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
2023	A*	`conf`	More for Less: Safe Policy Improvement with Stronger Performance Guarantees. IJCAI Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
2023	J	`jnl`	On the Foundations of Cycles in Bayesian Networks. CoRR Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
2023	—	`ed.`	Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023. TiCSA@ETAPS Maurice H. ter Beek, Clemens Dubslaff
2023	—	`conf`	Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. NFM Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel
2023	J	`jnl`	Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. CoRR Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel
2023	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings ICTAC Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa
2023	—	`conf`	Towards a Formal Account on Negative Latency. AISoLA Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann
2022	J	`jnl`	Admissibility in Probabilistic Argumentation. J. Artif. Intell. Res. Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
2022	A*	`conf`	Causality in Configurable Software Systems. ICSE Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel
2022	J	`jnl`	Causality in Configurable Software Systems. CoRR Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel
2022	—	`conf`	Configurable-by-Construction Runtime Monitoring. ISoLA (1) Clemens Dubslaff, Maximilian A. Köhl
2022	—	`conf`	On the Foundations of Cycles in Bayesian Networks. Principles of Systems Design Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
2022	—	`conf`	Operational Causality - Necessarily Sufficient and Sufficiently Necessary. A Journey from Process Algebra via Timed Automata to Model Learning Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
2022	—	`ed.`	Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022. MARS Clemens Dubslaff, Bas Luttik
2022	—	`—`	Quantitative Analysis of Configurable and Reconfigurable Systems. Clemens Dubslaff
2021	A*	`conf`	Admissibility in Probabilistic Argumentation. KR Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
2021	B	`conf`	Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines. SEFM Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker
2021	J	`jnl`	Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput. Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
2021	A*	`conf`	From Verification to Causality-Based Explications (Invited Talk). ICALP Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
2021	J	`jnl`	From Verification to Causality-based Explications. CoRR Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
2021	—	`ch.`	Quantitative konfigurierbare und rekonfigurierbare Systeme . Ausgezeichnete Informatikdissertationen Clemens Dubslaff
2020	—	`conf`	Components in Probabilistic Systems: Suitable by Construction. ISoLA (1) Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl
2020	—	`conf`	From features to roles. SPLC (A) Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
2020	—	`conf`	Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. Description Logics Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
2020	—	`conf`	Iterative Variable Reordering: Taming Huge System Families. MARS Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek
2020	J	`jnl`	Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis. CoRR Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek
2019	J	`jnl`	Breaking the Limits of Redundancy Systems Analysis. CoRR Clemens Dubslaff, Kai Ding, Andrey Morozov, Christel Baier, Klaus Janschek
2019	B	`conf`	Compositional Feature-Oriented Systems. SEFM Clemens Dubslaff
2019	J	`jnl`	Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms. ACM Trans. Model. Comput. Simul. Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
2019	B	`conf`	Ontology-Mediated Probabilistic Model Checking. IFM Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
2019	—	`conf`	Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems. EPEW Muhammad Usama Sardar, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, Akash Kumar
2018	J	`jnl`	Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. Int. J. Softw. Tools Technol. Transf. Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
2018	—	`conf`	Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination. It's All About Coordination Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
2018	J	`jnl`	From verification to synthesis under cost-utility constraints. ACM SIGLOG News Christel Baier, Clemens Dubslaff
2018	J	`jnl`	ProFeat: feature-oriented engineering for family-based probabilistic model checking. Formal Aspects Comput. Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
2018	A*	`conf`	Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. LICS Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur
2018	J	`jnl`	Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. CoRR Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur
2017	—	`conf`	Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs. ModelEd, TestEd, TrustEd Clemens Dubslaff, Christel Baier
2017	—	`conf`	Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. QEST Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
2017	J	`jnl`	Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. CoRR Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
2017	B	`conf`	Synthesis of Optimal Resilient Control Strategies. ATVA Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
2017	J	`jnl`	Synthesis of Optimal Resilient Control Strategies. CoRR Christel Baier, Clemens Dubslaff, Lubos Korenciak, Vojtech Rehák
2016	A	`conf`	Advances in Symbolic Probabilistic Model Checking with PRISM. TACAS Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
2016	B	`conf`	Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. FASE Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
2016	—	`conf`	Modeling Role-Based Systems with Exogenous Coordination. Theory and Practice of Formal Methods Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz
2015	—	`conf`	Advances in Quantitative Software Product Line Analysis. Software Engineering & Management Clemens Dubslaff
2015	J	`jnl`	Probabilistic Model Checking for Feature-Oriented Systems. LNCS Trans. Aspect Oriented Softw. Dev. Clemens Dubslaff, Christel Baier, Sascha Klüppelholz
2015	—	`conf`	Quantitative Analysis of Communication Scenarios. FORMATS Clemens Dubslaff, Christel Baier
2015	—	`conf`	Ratio and Weight Quantiles. MFCS (1) Daniel Krähmann, Jana Schubert, Christel Baier, Clemens Dubslaff
2014	B	`conf`	Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking. Petri Nets Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner
2014	—	`conf`	Energy-Utility Quantiles. NASA Formal Methods Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
2014	B	`conf`	Probabilistic Model Checking and Non-standard Multi-objective Reasoning. FASE Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich
2014	—	`conf`	Probabilistic Model Checking for Energy-Utility Analysis. Horizons of the Mind Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
2014	—	`conf`	Probabilistic model checking for energy analysis in software product lines. MODULARITY Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
2014	—	`conf`	Trade-off analysis meets probabilistic model checking. CSL-LICS Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
2013	J	`jnl`	Probabilistic Model Checking for Energy Analysis in Software Product Lines. CoRR Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
2012	J	`jnl`	Model checking probabilistic systems against pushdown specifications. Inf. Process. Lett. Clemens Dubslaff, Christel Baier, Manuela Berg