Publikationen

2026

• PrefaceBertrand, 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.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Vor-/Nachwort

2025

• What Are the Odds? Improving Statistical Model Checking of Markov Decision ProcessesMeggendorfer, T., Weininger, M. & Wienhöft, P., 2 Okt. 2025, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings. Prabhakar, P. & Vandin, A. (Hrsg.). Springer, Cham, S. 195-218, 23 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Tailoring binary decision diagram compilation for feature modelsDubslaff, C., Husung, N. & Käfer, N., 20 Sept. 2025, in: Journal of Systems and Software. 231, 19 S., 112566Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Stop Gambling! It Just Takes Too LongKlüppelholz, S. & Piribauer, J., 30 Aug. 2025, 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.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Backward Responsibility in Transition Systems Beyond SafetyBaier, C., Klatt, R., Klüppelholz, S. & Lehmann, J., 28 Aug. 2025, 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.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Certificates and witnesses for multi-objective queries in Markov decision processesBaier, C., Chau, C. & Klüppelholz, S., Juni 2025, in: Performance Evaluation. 168, 102482Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• When to Sample from Feature Diagrams?Käfer, N., Apel, S., Baier, C., Dubslaff, C. & Hermanns, H., 28 Mai 2025, VaMoS'25: Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems. Acher, M., Alves Pereira, J. & Quinton, C. (Hrsg.). ACM Digital Library, S. 11-20, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Solving Robust Markov Decision Processes: Generic, Reliable, EfficientMeggendorfer, T., Weininger, M. & Wienhöft, P., 11 April 2025, in: Proceedings of the AAAI Conference on Artificial Intelligence. 39, 25, S. 26631-26641, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Approximate Probabilistic Bisimulation for Continuous-Time Markov ChainsSpork, 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.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Model Checking Markov Chains as Distribution TransformersAghamov, R., Baier, C., Karimov, T., Nieuwveld, J., Ouaknine, J., Piribauer, J. & Vahanwala, M., 2025, Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Springer, Cham, S. 293-313, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten