Publications

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, p. vi, 1 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Foreword/Postscript

2025

• 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. 41:1-41:26, 26 p., 41Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• PAC learning of concept inclusions for ontology-mediated query answeringObiedkov, S. & Sertkaya, B., Nov 2025, In: International journal of approximate reasoning. 186, 109523Electronic (full-text) versionResearch output: Contribution to journal > Research article
• X-DINC: Toward Cross-Layer ApproXimation for the Distributed and In-Network ACceleration of Multi-Kernel ApplicationsEbrahimi, Z., Eslami, M., Xiao, X. & Kumar, A., Nov 2025, In: Future generation computer systems. 172, 107864Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Machine learning integration of MRI and gait reveals mobility phenotypes in multiple sclerosisInojosa, H., Zhao, W., Wenk, J., Schriefer, D., Fischer, S., Heisig, P., Kählig, M. & 11 others, 6 Oct 2025, In: Brain Communications. 7, 5, fcaf381Electronic (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., 2 Oct 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. (eds.). Springer, Cham, p. 195-218, 24 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Augmented Dynamic Data Physicalization: Blending Shape-changing Data Sculptures with Virtual Content for Interactive VisualizationEngert, S., Peetz, A., Klamka, K., Surer, P., Isenberg, T. & Dachselt, R., Oct 2025, In: IEEE transactions on visualization and computer graphics. 31, 10, p. 7580-7597, 18 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Clear data, clear roads: Imputing missing data for enhanced intersection flow of connected autonomous vehiclesFreire, M., Maia, A., Figueiredo, G., Prazeres, C., Lobato Junior, W. V., Aparecido Villas, L., Sommer, C. & 1 others, Oct 2025, In: Journal of network and computer applications : JNCA. 242, 16 p., 104233Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Spatial Exploration of Melodic Topologies in Indian Classical Music using XRChandran, K., Engeln, L. & McGinity, M., 30 Sep 2025, Mensch und Computer 2025 - Workshopband. Gesellschaft für Informatik e.V., 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The SAP Cloud Infrastructure Dataset: A Reality Check of Scheduling and Placement of VMs in Cloud ComputingUhlig, A., Braun, I. & Wählisch, M., 28 Sep 2025, Proceedings of the 2025 ACM Internet Measurement Conference (IMC '25). New York, USA: ACM New York, NY, USA, p. 746--760Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Kollaborativer Flugbetrieb von Drohnen und Flugzeugen: Ortungs- und Konfliktvermeidungsstrategien in Theorie und PraxisReif, M., Liu, Y., Fischer, C., Braßel, H., Lindner, M., Luo, M., Stachorra, D. & 4 others, 25 Sep 2025Research output: Contribution to conferences > Presentation slides
• Grenzen übewinden - voneinander lernen: 21. GI-Fachtagung Informatik und SchuleGrillenberger, M. & Grillenberger, A., 22 Sep 2025, Gesellschaft für Informatik, BonnElectronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Tailoring binary decision diagram compilation for feature modelsDubslaff, C., Husung, N. & Käfer, N., 20 Sep 2025, In: Journal of Systems and Software. 231, 19 p., 112566Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Non-visual Approaches to Present Live Data to Blind and Low-Vision People: A Systematic Literature ReviewEtzold, E. F., Branig, M. & Weber, G., 16 Sep 2025, 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
• Material Studies For Digital Heritage: Comparative Analysis of Geometric and Photometric 3D RepresentationsTöpfer, F., Christ, E., Yu, Z., Engeln, L. & McGinity, M., 15 Sep 2025, Digital Heritage - Digital Heritage International Congress 2025. The Eurographics AssociationElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Concrete Evonne: Visualization Meets Concrete Domain Reasoning.Alrabbaa, C., Baader, F., Dachselt, R., Kovtunova, A. & Méndez, J., 15 Sep 2025, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (eds.). Springer, Cham, p. 3-21, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of ModelsBaader, F. & De Bortoli, F., 15 Sep 2025, 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
• Combining Publicly Available SDKs and Code Generation Tools to Streamline the Implementation of AAS ApplicationsGneuß, T., Ristin, M., Braunisch, N., Venn, H. W. V. D. & Wollschlaeger, M., 12 Sep 2025, 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE Industrial Electronics Society, p. 1-8, 8 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., 12 Sep 2025, 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
• Semantic Comparison of Asset Administration ShellsMiny, T., Heppner, S., Garmaev, I., Ristin, M., Otto, B., Braunisch, N., Kleinert, T. & 2 others, 12 Sep 2025, 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE Canada, p. 1-8, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• DEMO: Hilby - Hilbert Interactive Prefix PlotsMännel, A., Claffy, K., Mok, R. K. P., Schmidt, T. C. & Wählisch, M., 10 Sep 2025, ACM SIGCOMM Posters and Demos '25: Proceedings of the ACM SIGCOMM 2025 Posters and Demos. ACM New York, NY, USA, p. 134-136, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• DEMO: Privacy-Preserving Payments on Constrained End-User DevicesGütschow, M. & Wählisch, M., 10 Sep 2025, ACM SIGCOMM Posters and Demos '25: Proceedings of the ACM SIGCOMM 2025 Posters and Demos. ACM New York, NY, USA, p. 152-154, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• POSTER: Challenges in VM Scheduling and Placement: Insights from a Real-World SAP Cloud DatasetUhlig, A., Braun, I. & Wählisch, M., 10 Sep 2025, ACM SIGCOMM Posters and Demos '25: Proceedings of the ACM SIGCOMM 2025 Posters and Demos. ACM New York, NY, USA, p. 124-126, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• POSTER: DNSSEC in the Car – Towards an Agile Management of Automotive Service SecuritySalomon, T., Meyer, P. & Schmidt, T. C., 10 Sep 2025, ACM SIGCOMM Posters and Demos '25: Proceedings of the ACM SIGCOMM 2025 Posters and Demos. ACM New York, NY, USA, p. 43-45, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• POSTER: Towards a Complete View of Encrypted Client Hello DeploymentsMücke, J., Gasser, K., Schmidt, T. C. & Wählisch, M., 10 Sep 2025, ACM SIGCOMM Posters and Demos '25: Proceedings of the ACM SIGCOMM 2025 Posters and Demos. ACM New York, NY, USA, p. 22-24, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution