Algorithms and Logics for Verification

Filter
Conference contribution

Search results

  • 2025

    Formalisation of a New Weak Semantics for AuDaLa

    Leemrijse, G. P., Franken, T. T. P. & Neele, T. (Corresponding author), 12 Feb 2025, Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II. Akshay, S., Niemetz, A. & Sankaranarayanan, S. (eds.). Cham: Springer, p. 93-116 24 p. (Lecture Notes in Computer Science (LNCS); vol. 15055).

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

  • 2024

    AuDaLa is Turing Complete

    Franken, T. T. P. (Corresponding author) & Neele, T., 13 Jun 2024, Formal Techniques for Distributed Objects, Components, and Systems: 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings. Castiglioni, V. & Francalanza, A. (eds.). Cham: Springer, p. 221-229 9 p. (Lecture Notes in Computer Science (LNCS); vol. 14678).

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

    Open Access
    File
    1 Downloads (Pure)

  • 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)
    18 Downloads (Pure)

  • CTMCs with Imprecisely Timed Observations

    Badings, T. (Corresponding author), Volk, M., Junges, S., Stoelinga, M. & Jansen, N., 5 Apr 2024, Tools and Algorithms for the Construction and Analysis of Systems: 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 II. Finkbeiner, B. & Kovács, L. (eds.). Cham: Springer, p. 258-278 21 p. (Lecture Notes in Computer Science (LNCS); vol. 14571).

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

    Open Access
    File

  • Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations

    Castiglioni, V. (Corresponding author), Lanotte, R., Loreti, M. & Tini, S., 21 Aug 2024, Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings. Haxthausen, A. E. & Serwe, W. (eds.). Cham: Springer, p. 21-39 19 p. (Lecture Notes in Computer Science (LNCS); vol. 14952).

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

    Open Access
    File
    3 Citations (Scopus)

  • Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics

    Jimenez-Roa, L. A. (Corresponding author), Rusnac, N., Volk, M. & Stoelinga, M., 21 Aug 2024, Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings. Haxthausen, A. E. & Serwe, W. (eds.). Cham: Springer, p. 80-96 17 p. (Lecture Notes in Computer Science (LNCS); vol. 14952).

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

    Open Access
    File
    5 Downloads (Pure)

  • Formalising the Industrial Language SMMT in mCRL2

    van Laarhoven, J. E. P. M. (Corresponding author), Willemse, T. A. C., van Gool, L. C. M. & Willemse, T. A. C., 21 Aug 2024, Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings. Haxthausen, A. E. & Serwe, W. (eds.). Cham: Springer, p. 63-79 17 p. (Lecture Notes in Computer Science (LNCS); vol. 14952).

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

    Open Access
    File
    1 Downloads (Pure)

  • Modelling and Analysing a Mechanical Lung Ventilator in mCRL2

    van Dortmont, D., Keiren, J. J. A. (Corresponding author) & Willemse, T. A. C., 21 Jun 2024, Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings. Bonfanti, S., Gargantini, A., Leuschel, M., Riccobene, E. & Scandurra, P. (eds.). Cham: Springer, p. 341-359 19 p. (Lecture Notes in Computer Science (LNCS); vol. 14759 ).

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

    Open Access
    File
    1 Citation (Scopus)
    6 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)
    23 Downloads (Pure)

  • Progress, Justness and Fairness in Modal µ-Calculus Formulae

    Spronck, M. S. C., Luttik, B. & Willemse, T. A. C., 29 Aug 2024, 35th International Conference on Concurrency Theory (CONCUR 2024). Majumdar, R. & Silva, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 38:1-38:22 22 p. 38. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 311).

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

    Open Access
    File
    13 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)

  • Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report

    Andriushchenko, R., Bork, A., Budde, C. E., Češka, M., Grover, K., Hahn, E. M., Hartmanns, A. (Corresponding author), Israelsen, B., Jansen, N., Jeppson, J., Junges, S., Köhl, M. A., Könighofer, B., Křetínský, J., Meggendorfer, T., Parker, D., Pranger, S., Quatmann, T., Ruijters, E. & Taylor, L. & 3 others, Volk, M., Weininger, M. & Zhang, Z., 1 Nov 2024, TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions. Beyer, D., Hartmanns, A. & Kordon, F. (eds.). Cham: Springer, p. 90-146 57 p. (Lecture Notes in Computer Science (LNCS); vol. 14550).

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

  • Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges

    van den Haak, L. B. (Corresponding author), Wijs, A., Huisman, M. & van den Brand, M., 21 Aug 2024, Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings. Haxthausen, A. E. & Serwe, W. (eds.). Springer, p. 152-169 18 p. (Lecture Notes in Computer Science (LNCS); vol. 14952).

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

    Open Access
    File
    7 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

    An Autonomous Data Language

    Franken, T. T. P. (Corresponding author), Neele, T. & Groote, J. F., 23 Nov 2023, Theoretical Aspects of Computing – ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings. Ábrahám, E., Dubslaff, C. & Tapia Tarifa, S. L. (eds.). Springer, p. 158-177 20 p. (Lecture Notes in Computer Science (LNCS); vol. 14446).

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

    Open Access
    File
    1 Citation (Scopus)
    1 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)

  • 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
    File
    2 Citations (Scopus)

  • On the Preservation of Properties When Changing Communication Models

    Bunte, O. (Corresponding author), van Gool, L. C. M. & Willemse, T. A. C., 1 Jan 2023, SOFSEM 2023: Theory and Practice of Computer Science: 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings. Gasieniec, L. (ed.). Springer, p. 239-253 15 p. (Lecture Notes in Computer Science (LNCS); vol. 13878 ).

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

    Open Access
    File
    1 Citation (Scopus)
    1 Downloads (Pure)

  • Real Equation Systems with Alternating Fixed-Points

    Groote, J. F. & Willemse, T. A. C., 7 Sept 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Pérez, G. A. & Raskin, J.-F. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 28:1-28:17 17 p. 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 279).

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

    Open Access
    File
    3 Citations (Scopus)

  • Simplifying Process Parameters by Unfolding Algebraic Data Types

    Stramaglia, A. (Corresponding author), Keiren, J. J. A. & Neele, T., 23 Nov 2023, Theoretical Aspects of Computing – ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings. Ábrahám, E., Dubslaff, C. & Tapia Tarifa, S. L. (eds.). Springer, p. 399-416 18 p. (Lecture Notes in Computer Science (LNCS); vol. 14446).

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

    Open Access
    File
    1 Citation (Scopus)
    2 Downloads (Pure)

  • 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)
    34 Downloads (Pure)

  • The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing

    van Spaendonck, P. H. M. (Corresponding author) & Willemse, T. A. C. (Corresponding author), 7 Sept 2023, 34th International Conference on Concurrency Theory (CONCUR 2023). Pérez, G. A. & Raskin, J.-F. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 4:1-4:16 16 p. 4. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 279).

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

    Open Access
    File

  • 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)
    1 Downloads (Pure)
  • 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

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

  • Decompositional Branching Bisimulation Minimisation of Monolithic Processes

    Bouwman, M., Laveaux, M., Luttik, B. & Willemse, T., 2022, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings. Tapia Tarifa, S. L. & Proença, J. (eds.). Springer, p. 161-182 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13712 LNCS).

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

    3 Citations (Scopus)

  • On-The-Fly Solving for Symbolic Parity Games

    Laveaux, M., Wesselink, W. & Willemse, T. A. C., 2022, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Fisman, D. & Rosu, G. (eds.). Springer, p. 137-155 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13244 LNCS).

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

    Open Access
    4 Citations (Scopus)

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

  • Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2

    Arshad, H., Horne, R., Johansen, C., Owe, O. & Willemse, T. A. C., 2022, Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Proceedings. Mousavi, M. R. & Philippou, A. (eds.). Springer, p. 11-30 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13273 LNCS).

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

    1 Citation (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

    19 Citations (Scopus)

  • Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths: (Extended Abstract)

    Bouwman, M., Luttik, B. & Willemse, T., 2021, Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Peters, K. & Willemse, T. A. (eds.). Springer, p. 182-187 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).

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

  • Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation

    Bartholomeus, M., Erkens, R., Luttik, S. P. & Willemse, T. A. C., 2021, Proceedings of ISoLA 2021. Margaria, T. & Steffen, B. (eds.). p. 498-499 (Lecture Notes in Computer Science; no. 13036).

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

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