Publications

2026

• Negotiating strict latency limits for dynamic real-time services in vehicular time-sensitive networksSalomon, T., Maile, L., Meyer, P., Korf, F. & Schmidt, T. C., Feb 2026, In: Vehicular Communications. 57, 18 p., 100985Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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
• Integrating Touch, Gestures and Speech for Multi-modal Conversations with an Audio-Tactile Graphics ReaderUsabaev, B., Bührich, N., Taş, T. C., Weber, G. & Ondrusek, P., 2026, Human-Computer Interaction – INTERACT 2025: 20th IFIP TC 13 International Conference Belo Horizonte, Brazil, September 8–12, 2025. Ardito, C., Diniz Junqueira Barbosa, S., Conte, T., Freire, A., Gasparini, I., Palanque, P. & Prates, R. (eds.).p. 323-332, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Navigation for People with Disabilities and Older People: Current Challenges and OpportunitiesPetrie, H., Weber, G. & Bramwell-Dicks, A., 2026, Human -Computer Interaction – INTERACT 2025: 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8–12, 2025, Proceedings, Part IV. Ardito, C., Diniz Junqueira Barbosa, S., Conte, T., Freire, A., Gasparini, I., Palanque, P. & Prates, R. (eds.).p. 389–394, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Non-visual Approaches to Present Live Data to Blind and Low-Vision People: A Systematic Literature ReviewEtzold, E. F., Branig, M. & Weber, G., 2026, Human-Computer Interaction – INTERACT 2025: 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8–12, 2025, Proceedings, Part I. Ardito, C., Diniz Junqueira Barbosa, S., Conte, T., Freire, A., Gasparini, I., Palanque, P. & Prates, R. (eds.).p. 131–155, 25 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
• 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
• 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

2025

• Digitalisierungsbezogene Kompetenzen als Querschnittsaufgabe in Schule: Umsetzungskonzepte und Hindernisse für die LehrkräftebildungSpalteholz, W., Leonhardt, T. & Bergner, N., 10 Dec 2025, Hochschuldidaktik Informatik HDI 2023: 10. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik. Magenheim, J., Schubert, S. & Schwill, A. (eds.). Potsdam, p. 37 - 62Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Discussing AI with AI – Interacting with a Chatbot SystemAl-Janabi, K., Appel, H., Eschrich, B., Fischer, R. & Reich, M., 10 Dec 2025, EVA Berlin 2025. Electronic Media and Visual Arts : 28th Issue of the EVA Berlin Conference . Bienert, A., Emenlauer-Blömers, E. & Lengyel, D. (eds.).p. 83-88, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Exploring Virtual Reality in an Exhibition ContextEschrich, B., Fischer, R., Matthes, M., Mende, K. & Reich, M., 10 Dec 2025, EVA Berlin 2025. Electronic Media and Visual Arts : 28th Issue of the EVA Berlin Conference . p. 77-82, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• IGUANA: Immersive Guidance, Navigation, and Control for Consumer UAVVictor, V., Krisanty, T., McGinity, M., Gumhold, S. & Aßmann, U., 4 Dec 2025, VRST '25: Proceedings of the 2025 31st ACM Symposium on Virtual Reality Software and Technology. Batmaz, A., Machuca, M. B., Ortega, F., Zielasko, D., Kim, K., Skarbez, R., Plabst, L., Banić, A. & Stroppa, M. (eds.). Association for Computing Machinery (ACM), p. 1–11, 11 p., 16Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Scanning the IPv6 Internet Using Subnet-Router Anycast ProbingKoch, M., Hiesgen, R., Nawrocki, M., Schmidt, T. C. & Wählisch, M., 1 Dec 2025, In: Proceedings of the ACM on Networking. 3, CoNEXT4, p. 50:1--50:15, 15 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Waiting for QUIC: Passive Measurements to Understand QUIC DeploymentsMücke, J., Nawrocki, M., Hiesgen, R., Sattler, P., Zirngibl, J., Carle, G., Luxemburk, J. & 2 others, 1 Dec 2025, In: Proceedings of the ACM on Networking. 3, CONEXT4, p. 1-26, 26 p., 41Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Cross-Layer Design and Design Automation for In-Memory Computing based on Non-Volatile Memory TechnologiesSharon Hu, X., Lee, M. Y., Li, M., De Lima, J. P. C., Liu, L., Zhu, Z., Castrillon, J. & 2 others, Dec 2025, In: IEEE Design and Test. 42, 6, p. 75-86, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Data-Efficient Inverse Design of Spinodoid MetamaterialsRosenkranz, M., Kästner, M. & Sbalzarini, I. F., Dec 2025, In: Integrating materials and manufacturing innovation. 14, 4, p. 695-713, 19 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Mirror Me: Exploring Avatar Self-Views in Multi-User Virtual RealityKrug, K., Fink, D. I., Ellenberg, M. O., Reinschluessel, A. V., Büschel, W., Feuchtner, T. & Dachselt, R., Dec 2025, In: Proceedings of the ACM on Human-Computer Interaction. 2025, 8, 26 p., 9Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Specialized signaling centers direct cell fate and spatial organization in a mesodermal organoid modelSkoufa, E., Zhong, J., Hu, K., Kahre, O., Tsissios, G., Carrau, L., Herrera, A. & 9 others, 28 Nov 2025, In: Science advances. 11, 48, p. eady7682Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Forward to Hell? On the Potentials of Misusing Transparent DNS Forwarders in Reflective Amplification AttacksKoch, M., Dolzmann, F., Schmidt, T. C. & Wählisch, M., 22 Nov 2025, Proceedings of ACM CCS 2025. ACM New York, NY, USA, p. 3915-3929, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract)Alrabbaa, C., Baader, F., Dachselt, R., Kovtunova, A. & Méndez, J., 12 Nov 2025, Proceedings of the 38th International Workshop on Description Logics (DL 2025). 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Automated Planning with Ontologies Under Coherence Update SemanticsNhu, H. D., Borgwardt, S. & Röger, G., 11 Nov 2025, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. IJCAI Organization, p. 751-761, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution