Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Dr.-Ing. Sascha Klüppelholz
Person

Zugehörigkeiten

Professur für Algebraische und logische Grundlagen der Informatik
- Wissenschaftliches Personal
- sascha.klueppelholz@tu-dresden.de

Identifizierungsnummern

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

Veröffentlichungen
Aktivitäten
Auszeichnungen
Forschungsdaten

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, S. vi 1 S. (Lecture Notes in Computer Science, Band 15760).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Vor-/Nachwort › Beigetragen › Begutachtung

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., S. 139-157 19 S. (Lecture notes in computer science, Band LNCS 15760).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung

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. (Hrsg.). Springer, Cham, S. 105-123 18 S. (Lecture Notes in Computer Science, Band 16040).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

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

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

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

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. (Hrsg.). Springer Science and Business Media B.V., S. 56-81 26 S. (Lecture notes in computer science, Band 15932 LNCS).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (60)

Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance

Klüppelholz, S. (Redner:in)

29 Okt. 2018 → 30 Okt. 2018

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Computing Conditional Probabilities in Markovian Models Efficiently

Klüppelholz, S. (Redner:in)

7 Apr. 2014 → 11 Apr. 2014

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

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

Klüppelholz, S. (Redner:in)

10 Mai 2013 → 22 Mai 2013

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Waiting for locks: How long does it usually take?

Daum, M. (Redner:in), Klüppelholz, S. (Redner:in), Märcker, S. (Redner:in)

27 Aug. 2012 → 28 Aug. 2012

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Alternating-Time Stream Logic for Multi-Agent Systems

Klüppelholz, S. (Redner:in)

5 Juni 2008

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Alle Aktivitäten ansehen (5)

QEST+FORMATS Outstanding Artifact Award

Baier, C. (Empfänger:in), Chau, C. (Empfänger:in) & Klüppelholz, S. (Empfänger:in), 11 Sept. 2024

Auszeichnung: Preis › Publikations-/Konferenzpreis

Best paper award ATVA 2021

Baier, C. (Preisträger:in), John, T. (Preisträger:in), Klüppelholz, S. (Preisträger:in) & Jantsch, S. (Preisträger:in), Okt. 2021

Auszeichnung: Preis › Publikations-/Konferenzpreis

EATCS Best Paper Award at ETAPS 2014

Baier, C. (Preisträger:in), Klüppelholz, S. (Preisträger:in), Klein, J. (Preisträger:in) & Märcker, S. (Preisträger:in), Apr. 2014

Auszeichnung: Preis › Publikations-/Konferenzpreis

Alle Auszeichnungen ansehen (3)

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

Fenske, J. (Urheber:in), Klüppelholz, S. (Mitwirkende:r) & Korn, M. (Mitwirkende:r), Zenodo, 31 März 2025

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

Forschungsdaten: Software

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

Baier, C. (Urheber:in), Chau, C. (Urheber:in) & Klüppelholz, S. (Urheber:in), Zenodo, 4 März 2025

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

Forschungsdaten: Software

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

Baier, C. (Urheber:in), Chau, C. (Urheber:in) & Klüppelholz, S. (Urheber:in), Zenodo, 24 Juni 2024

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

Forschungsdaten: Software

Interactive Visualization Meets Probabilistic Model Checking Artifact

Korn, M. (Urheber:in), Méndez, J. (Urheber:in), Klüppelholz, S. (Urheber:in), Langner, R. (Urheber:in), Baier, C. (Urheber:in) & Dachselt, R. (Urheber:in), Zenodo, 30 Juni 2023

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

Forschungsdaten: Software

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

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

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

Forschungsdaten: Software

Alle Forschungsdaten ansehen (8)