Publications

2026

• Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th BirthdayBertrand, N., Dubslaff, C. & Klüppelholz, S., 2026, Springer, Cham, 426 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Proceedings 29th International Conference on Extending Database Technology, EDBT 2026, Tampere, Finland, March 24-27, 2026Lehner, W., Braganholo, V., Stefanidis, K., Zhang, Z., Krause, A. & Pimentel, J. F. N., 2026Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW InequalityBudde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M. & Wienhöft, P., 2026, 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. (eds.). Springer, Cham, p. 83-94, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Stop Gambling! It Just Takes Too LongKlüppelholz, S. & Piribauer, J., 2026, Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Bertrand, N., Dubslaff, C. & Klüppelholz, S. (eds.). Springer, Cham, p. 139-157, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of ModelsBaader, F. & De Bortoli, F., 2026, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (eds.). 1 ed., Springer, Cham, p. 22-39, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• To Touch or to Talk: Individual Preferences, Trust and Empathy in Comforting BehavioursValori, I., Fan, Y., Jung, M. M., Shamay-Tsoory, S. & Fairhurst, M. T., 2026, In: Journal of Community & Applied Social Psychology. 36, 1, e70216Electronic (full-text) versionResearch output: Contribution to journal > Research article
• What Are the Odds? Improving Statistical Model Checking of Markov Decision ProcessesMeggendorfer, T., Weininger, M. & Wienhöft, P., 2026, 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. (eds.). Springer, Cham, p. 195-218, 24 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• XAIEV – A Framework for the Evaluation of XAI-Algorithms for Image ClassificationKnoll, C., Ullrich, J., Manjooran, T., Göller, K., Amjad, H., Tetzlaff, R. & Seitz, S., 2026, Explainable Artificial Intelligence - 3rd World Conference, xAI 2025, Proceedings: Third World Conference, xAI 2025, Istanbul, Turkey, July 9–11, 2025, Proceedings, Part III. Guidotti, R., Schmid, U. & Longo, L. (eds.).p. 250–263, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report

2025

• History-Correlated Stride Bank Prediction for Tightly Coupled Memory SystemsGecin, I., Matús, E. & Fettweis, G., 31 Dec 2025, 2025 IEEE 18th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC). p. 509-515Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Verifying a Load-Dependent Cooling System for Machine Tools Focusing on Deformation and Energy EfficiencySteiert, C., Fickert, A. & Weber, J., 26 Dec 2025, p. 1-7, 7 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper