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

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

Responsibility in Actor-Based Systems

Baier, C., Klüppelholz, S. & Lehmann, J., 2025, Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday. Lee, E. A., Mousavi, M. R. & Talcott, C. (eds.). Springer Science and Business Media B.V., p. 44-69 26 p. (Lecture notes in computer science, Vol. 15560 LNCS).

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

Backward Responsibility in Transition Systems Using General Power Indices

Baier, C., van den Bossche, R., Klüppelholz, S., Lehmann, J. & Piribauer, J., 25 Mar 2024, In: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 18, p. 20320-20327 8 p.

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

Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes

Baier, C., Chau, C. & Klüppelholz, S., 2024, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings. Hillston, J., Soudjani, S. & Waga, M. (eds.). Cham: Springer Nature Switzerland, p. 1-18 18 p. (Lecture Notes in Computer Science, Vol. 14996).

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

Formal Quality Measures for Predictors in Markov Decision Processes

Baier, C., Klüppelholz, S., Piribauer, J. & Ziemek, R., 2024.

Research output: Preprint/Documentation/Report › Preprint

View all research output (55)

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)

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, 21 Apr 2024

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

Dataset: Other datasets

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

From Features to Roles, Artifact (SPLC2020)

Chrszon, P. (Creator), Baier, C. (Creator), Dubslaff, C. (Creator) & Klüppelholz, S. (Creator), Zenodo, 24 Sept 2020

DOI: https://doi.org/10.5281/zenodo.4048533, https://zenodo.org/record/4048533

Dataset: Code

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

Baier, C. (Creator), Dubslaff, C. (Creator), Hermanns, H. (Creator), Klauck, M. (Creator), Klüppelholz, S. (Creator) & Köhl, M. A. (Creator), Zenodo, 3 Aug 2020

DOI: https://doi.org/10.5281/zenodo.3970766, https://zenodo.org/record/3970766

Dataset: Other datasets

View all research data (5)