Dr.-Ing. Sascha KlüppelholzPerson
Person
Beitragende
- Professur für Algebraische und logische Grundlagen der Informatik- Wissenschaftliches Personal
1 - 10 von 53Seitengröße: 10
53 Veröffentlichungen
2024
Backward Responsibility in Transition Systems Using General Power Indices
Baier, C., van den Bossche, R., Klüppelholz, S., Lehmann, J. & Piribauer, J., 25 März 2024, in: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 18, S. 20320-20327 8 S.Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Beigetragen › Begutachtung
VeröffentlichtCertificates 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. (Hrsg.). Cham: Springer Nature Switzerland, S. 1-18 18 S. (Lecture Notes in Computer Science, Band 14996).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
VeröffentlichtFormal Quality Measures for Predictors in Markov Decision Processes
Baier, C., Klüppelholz, S., Piribauer, J. & Ziemek, R., 2024.Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)
VeröffentlichtResponsibility in Actor-Based Systems
Baier, C., Klüppelholz, S. & Lehmann, J., 2024, 27 S.Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)
Veröffentlicht
2023
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 Okt. 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. (Hrsg.). Cham: Springer, Cham, S. 361-375 15 S. (Lecture Notes in Computer Science, Volume 14323).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
VeröffentlichtCorrection 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., Juni 2023, Innovations in Systems and Software Engineering, 19, 2, S. 227-229 3 S.Publikation: Spezielle Publikationen/Beiträge › Korrekturen (Errata und Widerrufe) › Begutachtung
VeröffentlichtInteraction 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.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
VeröffentlichtEffectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study
Korn, M., Chrszon, P., Klüppelholz, S., Baier, C. & Wunderlich, S., 13 Jan. 2023, Computer Performance Engineering - 18th European Workshop, EPEW 2022, Proceedings: 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21–23, 2022, Proceedings. Gilly, K. & Thomas, N. (Hrsg.). Cham: Springer International Publishing AG, S. 19-34 16 S. (Lecture Notes in Computer Science, Volume 13659).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Veröffentlicht
2022
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
John, T., Jantsch, S., Baier, C. & Klüppelholz, S., Sept. 2022, in: Innovations in Systems and Software Engineering. 18, 3, S. 385–403 19 S.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Veröffentlicht
2021
Determinization and Limit-Determinization of Emerson-Lei Automata
John, T., Jantsch, S., Baier, C. & Klüppelholz, S., 12 Okt. 2021, Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Proceedings: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (Hrsg.). Springer, Berlin [u. a.], S. 15–31 17 S. (Lecture Notes in Computer Science, Volume 12971).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Veröffentlicht