Skip to content Skip to footer

Research Portal of the TU Dresden

Dr.-Ing. Sascha Klüppelholz
Person

Affiliations

Chair of Algebraic and Logical Foundations of Computer Science
- Academic Staff
- sascha.klueppelholz@tu-dresden.de

Identification Numbers

ORCID	0000-0003-1724-2586
Scopus author ID	16444571200

Related content

Research output
Activities
Prizes
Datasets

Preface

Bertrand, N., Dubslaff, C. & Klüppelholz, S., 2026, Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Springer, Cham, p. vi 1 p. (Lecture Notes in Computer Science, Vol. 15760).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Foreword/Postscript › Contributed › peer-review

Stop Gambling! It Just Takes Too Long

Klüppelholz, S. & Piribauer, J., 2026, Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Springer Science and Business Media B.V., p. 139-157 19 p. (Lecture notes in computer science, Vol. LNCS 15760).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Chapter in book/Anthology/Report › Contributed › peer-review

Backward Responsibility in Transition Systems Beyond Safety

Baier, C., Klatt, R., Klüppelholz, S. & Lehmann, J., 2026, Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings. Remke, A. & Steffen, B. (eds.). Springer, Cham, p. 105-123 18 p. (Lecture Notes in Computer Science, Vol. 16040).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Certificates and witnesses for multi-objective queries in Markov decision processes

Baier, C., Chau, C. & Klüppelholz, S., Jun 2025, In: Performance Evaluation. 168, 102482.

Research output: Contribution to journal › Research article › Contributed › peer-review

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains

Spork, T., Baier, C., Katoen, J. P., Klüppelholz, S. & Piribauer, J., 2025, Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II. Piskac, R. & Rakamaric, Z. (eds.). Springer Science and Business Media B.V., p. 56-81 26 p. (Lecture notes in computer science, Vol. 15932 LNCS).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (60)

Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance

Klüppelholz, S. (Speaker)

29 Oct 2018 → 30 Oct 2018

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Computing Conditional Probabilities in Markovian Models Efficiently

Klüppelholz, S. (Speaker)

7 Apr 2014 → 11 Apr 2014

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

A probabilistic quantitative analysis of probabilistic-write/copy-select

Klüppelholz, S. (Speaker)

10 May 2013 → 22 May 2013

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Waiting for locks: How long does it usually take?

Daum, M. (Speaker), Klüppelholz, S. (Speaker), Märcker, S. (Speaker)

27 Aug 2012 → 28 Aug 2012

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Alternating-Time Stream Logic for Multi-Agent Systems

Klüppelholz, S. (Speaker)

5 Jun 2008

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

View all activities (5)

QEST+FORMATS Outstanding Artifact Award

Baier, C. (Recipient), Chau, C. (Recipient) & Klüppelholz, S. (Recipient), 11 Sept 2024

Prize: Publication/Conference prize

Best paper award ATVA 2021

Baier, C. (Laureat), John, T. (Laureat), Klüppelholz, S. (Laureat) & Jantsch, S. (Laureat), Oct 2021

Prize: Publication/Conference prize

EATCS Best Paper Award at ETAPS 2014

Baier, C. (Laureat), Klüppelholz, S. (Laureat), Klein, J. (Laureat) & Märcker, S. (Laureat), Apr 2014

Prize: Publication/Conference prize

View all prizes (3)

Research data accompanying the bachelor's thesis "Symbolic Representation of Memoryless-Deterministic Schedulers"

Fenske, J. (Creator), Klüppelholz, S. (Contributor) & Korn, M. (Contributor), Zenodo, 31 Mar 2025

DOI: https://doi.org/10.5281/zenodo.15084627, https://zenodo.org/records/15111357

Dataset: Code

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA

Baier, C. (Creator), Chau, C. (Creator) & Klüppelholz, S. (Creator), Zenodo, 4 Mar 2025

DOI: https://doi.org/10.5281/zenodo.14965047, https://zenodo.org/records/14965047

Dataset: Code

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact

Baier, C. (Creator), Chau, C. (Creator) & Klüppelholz, S. (Creator), Zenodo, 24 Jun 2024

DOI: https://doi.org/10.5281/zenodo.10961959, https://zenodo.org/records/12513996

Dataset: Code

Interactive Visualization Meets Probabilistic Model Checking Artifact

Korn, M. (Creator), Méndez, J. (Creator), Klüppelholz, S. (Creator), Langner, R. (Creator), Baier, C. (Creator) & Dachselt, R. (Creator), Zenodo, 30 Jun 2023

DOI: https://doi.org/10.5281/zenodo.8172531, https://zenodo.org/records/8172531

Dataset: Code

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

Chrszon, P. (Creator), Baier, C. (Creator), Dubslaff, C. (Creator) & Klüppelholz, S. (Creator), Zenodo, 11 Nov 2022

DOI: https://doi.org/10.5281/zenodo.7314315, https://zenodo.org/records/7314315

Dataset: Code

View all research data (8)