Clemens Dubslaff
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
25
Venues
16
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
25 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SACMAT | A Causal Framework for Explainable Access Control: [Work in Progress Paper]. | Gelareh Hasel Mehri, Clemens Dubslaff, Tim A. C. Willemse, Nicola Zannone |
| 2025 | SPLC | Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. | Juliane Pler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa |
| 2024 | ATVA | Configuration Monitor Synthesis. | Maximilian A. Khl, Clemens Dubslaff, Holger Hermanns |
| 2024 | ISoLA | X-by-Construction Meets AI. | Maurice H. ter Beek, Loek Cleophas, Clemens Dubslaff, Ina Schaefer |
| 2024 | SPLC | Configuring BDD Compilation Techniques for Feature Models. | Clemens Dubslaff, Nils Husung, Nikolai Kfer |
| 2024 | TACAS | OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust. | Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Khl |
| 2023 | IJCAI | A Unifying Formal Approach to Importance Values in Boolean Functions. | Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff |
| 2023 | IJCAI | More for Less: Safe Policy Improvement with Stronger Performance Guarantees. | Patrick Wienhft, Marnix Suilen, Thiago D. Simo, Clemens Dubslaff, Christel Baier, Nils Jansen |
| 2023 | VECoS | Towards a Formal Account on Negative Latency. | Clemens Dubslaff, Jonas Schulz, Patrick Wienhft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann |
| 2022 | ICSE | Causality in Configurable Software Systems. | Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel |
| 2022 | ISoLA | Configurable-by-Construction Runtime Monitoring. | Clemens Dubslaff, Maximilian A. Khl |
| 2021 | ICALP | From Verification to Causality-Based Explications (Invited Talk). | Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek |
| 2021 | KR | Admissibility in Probabilistic Argumentation. | Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Kfer |
| 2021 | SEFM | Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines. | Clemens Dubslaff, Patrick Wienhft, Ansgar Fehnker |
| 2020 | ISoLA | Components in Probabilistic Systems: Suitable by Construction. | Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klppelholz, Maximilian A. Khl |
| 2020 | SPLC | From features to roles. | Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klppelholz |
| 2019 | IFM | Ontology-Mediated Probabilistic Model Checking. | Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan |
| 2019 | SEFM | Compositional Feature-Oriented Systems. | Clemens Dubslaff |
| 2018 | LICS | Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. | Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur |
| 2017 | ATVA | Synthesis of Optimal Resilient Control Strategies. | Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonn Kucera, Vojtech Rehk |
| 2016 | FASE | Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. | Philipp Chrszon, Clemens Dubslaff, Sascha Klppelholz, Christel Baier |
| 2016 | TACAS | Advances in Symbolic Probabilistic Model Checking with PRISM. | Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klppelholz, Steffen Mrcker, David Mller |
| 2015 | MFCS | Ratio and Weight Quantiles. | Daniel Krhmann, Jana Schubert, Christel Baier, Clemens Dubslaff |
| 2014 | CSL | Trade-off analysis meets probabilistic model checking. | Christel Baier, Clemens Dubslaff, Sascha Klppelholz |
| 2014 | FASE | Probabilistic Model Checking and Non-standard Multi-objective Reasoning. | Christel Baier, Clemens Dubslaff, Sascha Klppelholz, Marcus Daum, Joachim Klein, Steffen Mrcker, Sascha Wunderlich |