Clemens Dubslaff

According to our database, Clemens Dubslaff authored at least 63 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., September, 2024

Lazy model checking for recursive state machines.

Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker

Softw. Syst. Model., April, 2024

Feature causality.

Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel

J. Syst. Softw., March, 2024

Configuration Monitor Synthesis.

Maximilian A. Köhl, Clemens Dubslaff, Holger Hermanns

CoRR, 2024

OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust.

Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl

Dataset, 2024

Template Decision Diagrams for Meta Control and Explainability.

Clemens Dubslaff, Verena Klös, Juliane Päßler

Proceedings of the Explainable Artificial Intelligence, 2024

OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust.

Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Configuring BDD Compilation Techniques for Feature Models.

Clemens Dubslaff, Nils Husung, Nikolai Käfer

Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024

X-by-Construction Meets AI.

Maurice H. ter Beek, Loek Cleophas, Clemens Dubslaff, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

2023

OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust.

Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl

Dataset, October, 2023

FeatCause - Sources and Data.

Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel

Dataset, September, 2023

Interaction detection in configurable systems - A formal approach featuring roles.

Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz

J. Syst. Softw., 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

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access.

Christel Baier, Clemens Dubslaff, Patrick Wienhöft, Stefan J. Kiebel

Proceedings of the NASA Formal Methods - 15th International Symposium, 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

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

A Unifying Formal Approach to Importance Values in Boolean Functions.

Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Interaction Detection in Configurable Systems - A Formal Approach Featuring Roles, Artifact.

Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz

Dataset, November, 2022

FeatCause - Sources and Data.

Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel

Dataset, February, 2022

Quantitative Analysis of Configurable and Reconfigurable Systems.

Clemens Dubslaff

PhD thesis, 2022

Admissibility in Probabilistic Argumentation.

Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns

J. Artif. Intell. Res., 2022

Configurable-by-Construction Runtime Monitoring.

Clemens Dubslaff, Maximilian A. Köhl

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Causality in Configurable Software Systems.

Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

On the Foundations of Cycles in Bayesian Networks.

Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer

Proceedings of the Principles of Systems Design, 2022

Operational Causality - Necessarily Sufficient and Sufficiently Necessary.

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Quantitative konfigurierbare und rekonfigurierbare Systeme .

Clemens Dubslaff

Proceedings of the Ausgezeichnete Informatikdissertationen 2021., 2021

Enhancing Probabilistic Model Checking with Ontologies.

Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan

Formal Aspects Comput., 2021

From Verification to Causality-based Explications.

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek

CoRR, 2021

Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines.

Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

From Verification to Causality-Based Explications (Invited Talk).

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020

From Features to Roles, Artifact (SPLC2020).

Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz

Dataset, September, 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

Dataset, August, 2020

Iterative Variable Reordering: Taming Huge System Families.

Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis.

Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek

CoRR, 2020

From features to roles.

Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Components in Probabilistic Systems: Suitable by Construction.

Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification.

Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms.

Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák

ACM Trans. Model. Comput. Simul., 2019

Breaking the Limits of Redundancy Systems Analysis.

Clemens Dubslaff, Kai Ding, Andrey Morozov, Christel Baier, Klaus Janschek

CoRR, 2019

Compositional Feature-Oriented Systems.

Clemens Dubslaff

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Ontology-Mediated Probabilistic Model Checking.

Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems.

Muhammad Usama Sardar, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, Akash Kumar

Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019

2018

Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.

Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller

Int. J. Softw. Tools Technol. Transf., 2018

From verification to synthesis under cost-utility constraints.

Christel Baier, Clemens Dubslaff

ACM SIGLOG News, 2018

ProFeat: feature-oriented engineering for family-based probabilistic model checking.

Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier

Formal Aspects Comput., 2018

Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes.

Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination.

Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz

Proceedings of the It's All About Coordination, 2018

2017

Synthesis of Optimal Resilient Control Strategies.

Christel Baier, Clemens Dubslaff, Lubos Korenciak, Vojtech Rehák

CoRR, 2017

Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs.

Clemens Dubslaff, Christel Baier

Proceedings of the ModelEd, TestEd, TrustEd, 2017

Synthesis of Optimal Resilient Control Strategies.

Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

Advances in Symbolic Probabilistic Model Checking with PRISM.

Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat.

Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier

Proceedings of the Fundamental Approaches to Software Engineering, 2016

Modeling Role-Based Systems with Exogenous Coordination.

Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Probabilistic Model Checking for Feature-Oriented Systems.

Clemens Dubslaff, Christel Baier, Sascha Klüppelholz

LNCS Trans. Aspect Oriented Softw. Dev., 2015

Advances in Quantitative Software Product Line Analysis.

Clemens Dubslaff

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Ratio and Weight Quantiles.

Daniel Krähmann, Jana Schubert, Christel Baier, Clemens Dubslaff

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Quantitative Analysis of Communication Scenarios.

Clemens Dubslaff, Christel Baier

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

Energy-Utility Quantiles.

Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Probabilistic Model Checking and Non-standard Multi-objective Reasoning.

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Trade-off analysis meets probabilistic model checking.

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Probabilistic Model Checking for Energy-Utility Analysis.

Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking.

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

Probabilistic model checking for energy analysis in software product lines.

Clemens Dubslaff, Sascha Klüppelholz, Christel Baier

Proceedings of the 13th International Conference on Modularity, 2014

2012

Model checking probabilistic systems against pushdown specifications.

Clemens Dubslaff, Christel Baier, Manuela Berg

Inf. Process. Lett., 2012