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

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

PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking

Korn, M., Méndez, J., Klüppelholz, S., Langner, R., Baier, C. & Dachselt, R., 31 Oct 2023, Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Ferreira, C. & Willemse, T. A. C. (eds.). Cham: Springer, Cham, p. 361-375 15 p. (Lecture Notes in Computer Science, Volume 14323).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata (Innovations in Systems and Software Engineering, (2022), 18, 3, (385-403), 10.1007/s11334-022-00445-7)

John, T., Jantsch, S., Baier, C. & Klüppelholz, S., Jun 2023, Innovations in Systems and Software Engineering, 19, 2, p. 227-229 3 p.

Research output: Contribution to specialist publication › Corrections (errata and retractions) › peer-review

Interaction detection in configurable systems – A formal approach featuring roles

Chrszon, P., Baier, C., Dubslaff, C. & Klüppelholz, S., Feb 2023, In: Journal of Systems and Software. 196, 111556.

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

View all research output (45)