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

• Scanning the IPv6 Internet Using Subnet-Router Anycast ProbingKoch, M., Hiesgen, R., Nawrocki, M., Schmidt, T. C. & Wählisch, M., 1 Dez. 2025, in: Proceedings of the ACM on Networking. 3, CoNEXT4, S. 50:1--50:15Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Waiting for QUIC: Passive Measurements to Understand QUIC DeploymentsMücke, J., Nawrocki, M., Hiesgen, R., Sattler, P., Zirngibl, J., Carle, G., Luxemburk, J. & 2 weitere, 1 Dez. 2025, in: Proceedings of the ACM on Networking. 3, CONEXT4, S. 41:1-41:26, 26 S., 41Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• 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, S. 3915--3929Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Research Methodologies in Data Management—GI-Workshop for Junior Scientists in BerlinLehner, W., Naumann, F. & Klettke, M., 11 Nov. 2025, in: Datenbank-SpektrumElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• PAC learning of concept inclusions for ontology-mediated query answeringObiedkov, S. & Sertkaya, B., Nov. 2025, in: International journal of approximate reasoning. 186, 109523Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, 107864Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Trust-Based Adaptive Routing in Network-on-Chip: A Comprehensive Overview and EvaluationJaster, S., Haase, J., Göhringer, D. & Franz, E., 16 Okt. 2025, in: IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 33, 11, S. 2916-2928, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• To stride or not to stride the memory access?Schmidt, L., Kühn, R., Krause, M., Teubner, J., Lehner, W. & Habich, D., 13 Okt. 2025, SOSP '25: Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles: Workshop DIMES '25. Association for Computing Machinery (ACM), New YorkElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 weitere, 6 Okt. 2025, in: Brain Communications. 7, 5, fcaf381Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW InequalityBudde, C. E., Hartmanns, A., Meggendorfer, 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. 83-94, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, 24 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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., Okt. 2025, in: IEEE transactions on visualization and computer graphics. 31, 10, S. 7580-7597, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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 weitere, Okt. 2025, in: Journal of network and computer applications : JNCA. 242, 16 S., 104233Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Spatial Exploration of Melodic Topologies in Indian Classical Music using XRChandran, K., Engeln, L. & McGinity, M., 30 Sept. 2025, Mensch und Computer 2025 - Workshopband. Gesellschaft für Informatik e.V., 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The SAP Cloud Infrastructure Dataset: A Reality Check of Scheduling and Placement of VMs in Cloud ComputingUhlig, A., Braun, I. & Wählisch, M., 28 Sept. 2025, Proceedings of the 2025 ACM Internet Measurement Conference (IMC '25). New York, USA: ACM New York, NY, USA, S. 746--760Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 weitere, 25 Sept. 2025Publikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
• Grenzen übewinden - voneinander lernen: 21. GI-Fachtagung Informatik und SchuleGrillenberger, M. & Grillenberger, A., 22 Sept. 2025, Gesellschaft für Informatik, BonnElektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Verifying Datalog Reasoning with LeanTantow, J., Gerlach, L., Mennicke, S. & Krötzsch, M., 22 Sept. 2025, 16th International Conference on Interactive Theorem Proving, ITP 2025. Forster, Y. & Keller, C. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 36Elektronische (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
• Non-visual Approaches to Present Live Data to Blind and Low-Vision People: A Systematic Literature ReviewEtzold, E. F., Branig, M. & Weber, G., 16 Sept. 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. (Hrsg.).S. 131–155, 25 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Material Studies For Digital Heritage: Comparative Analysis of Geometric and Photometric 3D RepresentationsTöpfer, F., Christ, E., Yu, Z., Engeln, L. & McGinity, M., 15 Sept. 2025, Digital Heritage - Digital Heritage International Congress 2025. The Eurographics AssociationElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Concrete Evonne: Visualization Meets Concrete Domain Reasoning.Alrabbaa, C., Baader, F., Dachselt, R., Kovtunova, A. & Méndez, J., 15 Sept. 2025, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (Hrsg.). Springer, Cham, S. 3-21, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of ModelsBaader, F. & De Bortoli, F., 15 Sept. 2025, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (Hrsg.). 1 Aufl., Springer, Cham, S. 22-39, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 Sept. 2025, 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation, ETFA 2025 - Proceedings. Almeida, L., Indria, M., de Sousa, M., Visioli, A., Ashjaei, M. & Santos, P. (Hrsg.). IEEE Industrial Electronics Society, S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband