Publications

2026

• Linear dynamical systems with weight functionsAghamov, R., Baier, C., Karimov, T., Ouaknine, J. & Piribauer, J., May 2026, In: Nonlinear Analysis: Hybrid Systems. 60, 101680Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Models of human behaviourBaier, C., Cuevas Rivera, D., Dubslaff, C., Kiebel, S. J. & Wienhöft, P., 1 Jan 2026, Humans, Robots and Virtual Worlds in the Tactile Internet. Elsevier, p. 207-220, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Tailoring binary decision diagram compilation for feature modelsDubslaff, C., Husung, N. & Käfer, N., Jan 2026, In: Journal of Systems and Software. 231, 19 p., 112566Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Backward Responsibility in Transition Systems Beyond SafetyBaier, 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. (eds.). Springer, Cham, p. 105-123, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Concurrent Permissive Strategy TemplatesAnand, A., Baier, C., Chau, C., Klüppelholz, S., Mirzaei, A., Nayak, S. P. & Schmuck, A., 2026, Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part I. Junges, S. & Katz, G. (eds.). Springer, Cham, p. 377-397, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• 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 Modal Logic of Abstraction RefinementPiribauer, J. & Zschuppe, V., 2026, Foundations of Software Science and Computation Structures: 29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings. Bertrand, N. & Milius, S. (eds.). Springer, Cham, p. 527-548, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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