Clemens Dubslaff

View Scopus Profile

Clemens Dubslaff

Dr. rer. nat.

 https://orcid.org/0000-0001-5718-8276
  • 435
    Citations - based on content available in repository [source: Scopus]
20122025

Content available in repository

Search results

  • 2025

    Compiling Binary Decision Diagrams with Interrupt-Based Downsizing

    Dubslaff, C. & Wirtz, J., 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Springer, Vol. 3. p. 252-273 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15262 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • 2024

    Blackbox Observability of Features and Feature Interactions

    Weis, K., Teixeira, L., Dubslaff, C. & Apel, S., 27 Oct 2024, ASE '24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering. New York: Association for Computing Machinery, Inc, p. 1120-1132 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Configuration Monitor Synthesis

    Köhl, M. A., Dubslaff, C. & Hermanns, H., 2024.

    Research output: Working paper › Academic

  • Configuring BDD Compilation Techniques for Feature Models

    Dubslaff, C., Husung, N. & Käfer, N., 2 Sept 2024, SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference. Cordy, M., Strüber, D., Pinto, M., Groher, I., Dhungana, D., Krüger, J., Alvas Pereira, J., Acher, M., Thüm, T., ter Beek, M., Galasso-Carbonnel, J., Arcaini, P., Mousavi, M. R., Tërnava, X., Galindo, J., Yue, T., Fuentes, L. & Horcas, J. M. (eds.). New York: Association for Computing Machinery, Inc, p. 209-216 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    9 Downloads (Pure)

  • Feature causality

    Dubslaff, C. (Corresponding author), Weis, K., Baier, C. & Apel, S., Mar 2024, In: Journal of Systems and Software. 209, 19 p., 111915.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    32 Downloads (Pure)

  • Lazy model checking for recursive state machines

    Dubslaff, C. (Corresponding author), Wienhöft, P. (Corresponding author) & Fehnker, A., Apr 2024, In: Software and Systems Modeling. 23, 2, p. 369-401 33 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File
    10 Downloads (Pure)

  • Negative Latency in the Tactile Internet as Enabler for Global Metaverse Immersion

    Schulz, J., Dubslaff, C., Seeling, P., Li, S. C., Speidel, S. & Fitzek, F. H. P. (Corresponding author), Sept 2024, In: IEEE Network. 38, 5, p. 167-173 7 p., 10466554.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File
    5 Citations (Scopus)
    1 Downloads (Pure)

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

    Husung, N. (Corresponding author), Dubslaff, C., Hermanns, H. & Köhl, M. A., 5 Apr 2024, Tools and Algorithms for the Construction and Analysis of System: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III. Finkbeiner, B. & Kovács, L. (eds.). Cham: Springer, p. 255-275 21 p. (Lecture Notes in Computer Science (LNCS); vol. 14572).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    5 Citations (Scopus)
    19 Downloads (Pure)

  • Template Decision Diagrams for Meta Control and Explainability

    Dubslaff, C. (Corresponding author), Klös, V. (Corresponding author) & Päßler, J. (Corresponding author), 10 Jul 2024, Explainable Artificial Intelligence: Second World Conference, xAI 2024, Valletta, Malta, July 17–19, 2024, Proceedings, Part II. Longo, L., Lapuschkin, S. & Seifert, C. (eds.). Cham: Springer, p. 219-242 24 p. (Communications in Computer and Information Science (CCIS); vol. 2154).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Downloads (Pure)

  • X-by-Construction Meets AI

    ter Beek, M. H. (Corresponding author), Cleophas, L., Dubslaff, C. & Schaefer, I., 26 Oct 2024, Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 155-161 7 p. (Lecture Notes in Computer Science (LNCS); vol. 15222).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 2023

    A Unifying Formal Approach to Importance Values in Boolean Functions

    Harder, H. (Corresponding author), Jantsch, S., Baier, C. & Dubslaff, C., 14 May 2023, In: arXiv. 2023, 33 p., 2305.08103.

    Research output: Contribution to journal › Article › Academic

    Open Access
    File
    36 Downloads (Pure)

  • A Unifying Formal Approach to Importance Values in Boolean Functions

    Harder, H., Jantsch, S., Baier, C. & Dubslaff, C., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence (IJCAI), p. 2728-2737 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    4 Citations (Scopus)

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

    Chrszon, P. (Corresponding author), Baier, C., Dubslaff, C. & Klüppelholz, S., 1 Feb 2023, In: Journal of Systems and Software. 196, 21 p., 111556.

    Research output: Contribution to journal › Article › Academic › peer-review

    3 Citations (Scopus)

  • More for Less: Safe Policy Improvement With Stronger Performance Guarantees

    Wienhöft, P., Suilen, M., Simão, T. D. (Corresponding author), Dubslaff, C., Baier, C. & Jansen, N., 13 Apr 2023, In: arXiv. 2023, 15 p., 2305.07958.

    Research output: Contribution to journal › Article › Academic

    Open Access
    File
    16 Downloads (Pure)

  • More for Less: Safe Policy Improvement With Stronger Performance Guarantees

    Wienhöft, P., Suilen, M., Simão, T. D., Dubslaff, C., Baier, C. & Jansen, N., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence (IJCAI), p. 4406-4415 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    2 Citations (Scopus)

  • On the Foundations of Cycles in Bayesian Networks

    Baier, C., Dubslaff, C., Hermanns, H. & Käfer, N., 20 Jan 2023, In: CoRR. abs/2301.08608

    Research output: Contribution to journal › Article › Academic

  • Preface

    Ábrahám, E., Dubslaff, C. & Tarifa, S. L. T., 2023, 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023. Ábrahám, E., Dubslaff, C. & Tarifa, S. L. T. (eds.). Springer, p. v-vi (Lecture Notes in Computer Science; vol. 14446).

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

  • Proceedings of the First Workshop on Trends in Configurable Systems Analysis, Paris, France, 23rd April 2023

    ter Beek, M. H. (Editor) & Dubslaff, C. (Editor), 28 Oct 2023, (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 392)

    Research output: Book/Report › Book editing › Academic

    Open Access

  • Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access

    Baier, C., Dubslaff, C., Wienhöft, P. (Corresponding author) & Kiebel, S. J., 3 Jun 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Springer, p. 86-103 18 p. (Lecture Notes in Computer Science (LNCS); vol. 13903).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    32 Downloads (Pure)

  • Theoretical Aspects of Computing - ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

    Ábrahám, E. (Editor), Dubslaff, C. (Editor) & Tapia Tarifa, S. L. (Editor), 23 Nov 2023, Springer. (Lecture Notes in Computer Science; vol. 14446)

    Research output: Book/Report › Book editing › Academic

  • Towards a Formal Account on Negative Latency

    Dubslaff, C. (Corresponding author), Schulz, J., Wienhöft, P., Baier, C., Fitzek, F. H. P., Kiebel, S. J. & Lehmann, J., 14 Dec 2023, Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Steffen, B. (ed.). Cham: Springer, p. 188-214 27 p. (Lecture Notes in Computer Science (LNCS); vol. 14380).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
  • 2022

    Admissibility in Probabilistic Argumentation

    Käfer, N., Baier, C., Diller, M., Dubslaff, C., Gaggl, S. A. & Hermanns, H., 2022, In: Journal of Artificial Intelligence Research. 74, p. 957–1009 53 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    2 Citations (Scopus)

  • Causality in Configurable Software Systems

    Dubslaff, C., Weis, K., Baier, C. & Apel, S., 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. p. 325-337 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    14 Citations (Scopus)

  • Configurable-by-Construction Runtime Monitoring.

    Dubslaff, C. & Köhl, M. A., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). p. 220-241 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    3 Citations (Scopus)

  • FeatCause - Sources and Data.

    Dubslaff, C., Weis, K., Baier, C. & Apel, S., 2022

    Research output: Non-textual form › Software › Professional

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

    Chrszon, P., Baier, C., Dubslaff, C. & Klüppelholz, S., 2022

    Research output: Non-textual form › Software › Professional

  • On the Foundations of Cycles in Bayesian Networks

    Baier, C., Dubslaff, C., Hermanns, H. & Käfer, N., 28 Dec 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Raskin, J.-F., Chatterjee, K., Doyen, L. & Majumdar, R. (eds.). Berlin: Springer, p. 343-363 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13660 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    2 Citations (Scopus)
    22 Downloads (Pure)

  • Operational Causality - Necessarily Sufficient and Sufficiently Necessary

    Baier, C., Dubslaff, C., Funke, F., Jantsch, S., Piribauer, J. & Ziemek, R., 2022, A Journey from Process Algebra via Timed Automata to Model Learning. p. 27-45 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13560 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Citations (Scopus)

  • Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022

    Dubslaff, C. (Editor) & Luttik, B. (Editor), 17 Mar 2022, (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 355)

    Research output: Book/Report › Book editing › Academic

    Open Access
    File
    14 Downloads (Pure)
  • 2021

    Admissibility in Probabilistic Argumentation.

    Baier, C., Diller, M., Dubslaff, C., Gaggl, S. A., Hermanns, H. & Käfer, N., 2021, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021. Bienvenu, M., Lakemeyer, G. & Erdem, E. (eds.). p. 87-98 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    4 Citations (Scopus)

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

    Dubslaff, C., Wienhöft, P. & Fehnker, A., 2021, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings. Calinescu, R. & Pasareanu, C. S. (eds.). p. 332-350 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13085 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)

  • Enhancing Probabilistic Model Checking with Ontologies

    Dubslaff, C., Koopmann, P. & Turhan, A.-Y., 1 Dec 2021, In: Formal Aspects of Computing. 33, 6, p. 885-921 37 p., 6.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    3 Citations (Scopus)

  • From Verification to Causality-Based Explications

    Baier, C., Dubslaff, C., Funke, F., Jantsch, S., Majumdar, R., Piribauer, J. & Ziemek, R., 1 Jul 2021, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021. Bansal, N., Merelli, E. & Worrell, J. (eds.). p. 1:1-1:20 20 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 198).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    18 Citations (Scopus)

  • Human-inspired models for tactile computing

    Baier, C., Cuevas Rivera, D., Dubslaff, C. & Kiebel, S. J., 6 Mar 2021, Tactile Internet: with Human-in-the-Loop. p. 169-195 27 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  • Quantitative Analyse von konfigurierbaren und rekonfigurierbaren Systemen

    Dubslaff, C., 2021, Ausgezeichnete Informatikdissertationen. p. 21-30 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • 2020

    Components in Probabilistic Systems: Suitable by Construction.

    Baier, C., Dubslaff, C., Hermanns, H., Klauck, M., Klüppelholz, S. & Köhl, M. A., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). p. 240-261 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12476 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    5 Citations (Scopus)

  • From Features to Roles, Artifact (SPLC2020).

    Chrszon, P., Baier, C., Dubslaff, C. & Klüppelholz, S., 2020

    Research output: Non-textual form › Software › Professional

  • From features to roles.

    Chrszon, P., Baier, C., Dubslaff, C. & Klüppelholz, S., 19 Oct 2020, Proceedings of the 24th ACM Conference on Systems and Software Product Line, SPLC 2020. Ali, S., Assuncao, W. K. G., Berger, T., Cetina, C., Collet, P., Galindo, J., Gazzillo, P., Linsbauer, L., Lopez-Herrejon, R. E., Nadi, S., Schulze, S. & Trujillo, S. (eds.). p. 205-210 6 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    4 Citations (Scopus)

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

    Dubslaff, C., Koopmann, P. & Turhan, A.-Y., 2020, Description Logics.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Iterative Variable Reordering: Taming Huge System Families.

    Dubslaff, C., Morozov, A., Baier, C. & Janschek, K., 26 Apr 2020, MARS. Vol. 316. p. 121-133 13 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    5 Citations (Scopus)

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

    Sardar, M. U., Dubslaff, C., Klüppelholz, S., Baier, C. & Kumar, A., 2020, Computer Performance Engineering: 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers. Gribaudo, M., Iacono, M., Phung-Duc, T. & Razumchik, R. (eds.). Springer, p. 133-147 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12039 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Citations (Scopus)

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

    Dubslaff, C., Morozov, A., Baier, C. & Janschek, K., 2020, In: CoRR. abs/2004.06637

    Research output: Contribution to journal › Article › Academic

  • Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction".

    Baier, C., Dubslaff, C., Hermanns, H., Klauck, M., Klüppelholz, S. & Köhl, M. A., 2020

    Research output: Non-textual form › Software › Professional

  • 2019

    Breaking the Limits of Redundancy Systems Analysis

    Dubslaff, C., Ding, K., Morozov, A., Baier, C. & Janschek, K., 2019, In: CoRR. abs/1912.05364

    Research output: Contribution to journal › Article › Academic

  • Compositional Feature-Oriented Systems

    Dubslaff, C., 2019, SEFM. p. 162-180 19 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    9 Citations (Scopus)

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

    Baier, C., Dubslaff, C., Korenciak, L., Kucera, A. & Rehák, V., 10 Dec 2019, In: ACM Transactions on Modeling and Computer Simulation. 29, 4, 26 p., 28.

    Research output: Contribution to journal › Article › Academic › peer-review

    2 Citations (Scopus)

  • Ontology-Mediated Probabilistic Model Checking

    Dubslaff, C., Koopmann, P. & Turhan, A.-Y., 2019, iFM. p. 194-211 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    11 Citations (Scopus)
  • 2018

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

    Klein, J., Baier, C., Chrszon, P., Daum, M., Dubslaff, C., Klüppelholz, S., Märcker, S. & Müller, D., 2018, In: International Journal on Software Tools for Technology Transfer. 20, 2, p. 179-194 16 p., 2.

    Research output: Contribution to journal › Article › Academic › peer-review

    26 Citations (Scopus)

  • Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination

    Baier, C., Chrszon, P., Dubslaff, C., Klein, J. & Klüppelholz, S., 2018, It's All About Coordination. p. 38-56 19 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    6 Citations (Scopus)

  • From verification to synthesis under cost-utility constraints

    Baier, C. & Dubslaff, C., 2018, In: ACM SIGLOG News. 5, 4, p. 26-46 21 p., 4.

    Research output: Contribution to journal › Article › Academic › peer-review