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

Filter
Conference contribution

Search results

  • 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

  • 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)

  • 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., 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)

  • 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)

  • 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)

  • 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

    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)

  • 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)
  • 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)

  • 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)
  • 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.

    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)
  • 2019

    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)

  • 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

    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)

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

    Baier, C., Bertrand, N., Dubslaff, C., Gburek, D. & Sankur, O., 2018, LICS. p. 86-94 9 p.

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

    11 Citations (Scopus)
  • 2017

    Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs

    Dubslaff, C. & Baier, C., 2017, ModelEd, TestEd, TrustEd. p. 64-84 21 p.

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

  • Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

    Baier, C., Dubslaff, C., Korenciak, L., Kucera, A. & Rehák, V., 2017, QEST. p. 190-206 17 p.

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

    3 Citations (Scopus)

  • Synthesis of Optimal Resilient Control Strategies

    Baier, C., Dubslaff, C., Korenciak, L., Kucera, A. & Rehák, V., 2017, ATVA. p. 417-434 18 p.

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

    3 Citations (Scopus)
  • 2016

    Advances in Symbolic Probabilistic Model Checking with PRISM

    Klein, J., Baier, C., Chrszon, P., Daum, M., Dubslaff, C., Klüppelholz, S., Märcker, S. & Müller, D., 2016, TACAS. p. 349-366 18 p.

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

    22 Citations (Scopus)

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

    Chrszon, P., Dubslaff, C., Klüppelholz, S. & Baier, C., 2016, FASE. p. 287-304 18 p.

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

    19 Citations (Scopus)

  • Modeling Role-Based Systems with Exogenous Coordination

    Chrszon, P., Dubslaff, C., Baier, C., Klein, J. & Klüppelholz, S., 2016, Theory and Practice of Formal Methods. p. 122-139 18 p.

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

    5 Citations (Scopus)
  • 2015

    Advances in Quantitative Software Product Line Analysis

    Dubslaff, C., 2015, Software Engineering & Management. p. 59-60 2 p.

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

  • Quantitative Analysis of Communication Scenarios

    Dubslaff, C. & Baier, C., 2015, FORMATS. p. 76-92 17 p.

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

    1 Citation (Scopus)

  • Ratio and Weight Quantiles

    Krähmann, D., Schubert, J., Baier, C. & Dubslaff, C., 2015, MFCS (1). p. 344-356 13 p.

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

    5 Citations (Scopus)
  • 2014

    Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking

    Baier, C., Dubslaff, C., Klüppelholz, S. & Leuschner, L., 2014, Petri Nets. p. 20-39 20 p.

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

    9 Citations (Scopus)

  • Energy-Utility Quantiles

    Baier, C., Daum, M., Dubslaff, C., Klein, J. & Klüppelholz, S., 2014, NASA Formal Methods. p. 285-299 15 p.

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

    39 Citations (Scopus)

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

    Baier, C., Dubslaff, C., Klüppelholz, S., Daum, M., Klein, J., Märcker, S. & Wunderlich, S., 2014, FASE. p. 1-16 16 p.

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

    14 Citations (Scopus)

  • Probabilistic model checking for energy analysis in software product lines

    Dubslaff, C., Klüppelholz, S. & Baier, C., 2014, MODULARITY. p. 169-180 12 p.

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

    32 Citations (Scopus)

  • Probabilistic Model Checking for Energy-Utility Analysis

    Baier, C., Dubslaff, C., Klein, J., Klüppelholz, S. & Wunderlich, S., 2014, Horizons of the Mind. p. 96-123 28 p.

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

    18 Citations (Scopus)

  • Trade-off analysis meets probabilistic model checking

    Baier, C., Dubslaff, C. & Klüppelholz, S., 2014, LICS. p. 1:1-1:10 10 p.

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

    23 Citations (Scopus)