Publications

2025

• Concrete Domains Meet Expressive Cardinality Restrictions in Description LogicsBaader, F., Borgwardt, S., De Bortoli, F. & Koopmann, P., 2025, Automated Deduction – CADE 30. Barrett, C. & Waldmann, U. (eds.). Springer, p. 676-695Electronic (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., 2025, Proc. of ACM SIGCOMM: Posters and Demos. ACM New York, NY, USAElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Demonstration of Millimeter Wave Radar Sensing in Fire and Smoky EnvironmentsBatra, A., Prokscha, A., Schultze, T., Farhoud, R., Wiemeler, M., Gohringer, D., Balzer, J. C. & 1 others, 2025, 2025 International Conference on Mobile and Miniaturized Terahertz Systems, ICMMTS 2025. Institute of Electrical and Electronics Engineers (IEEE)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., 2025, Proc. of ACM SIGCOMM: Posters and Demos. ACM New York, NY, USAElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Efficient Post-training Augmentation for Adaptive Inference in Heterogeneous and Distributed IoT EnvironmentsSponner, M., Servadei, L., Waschneck, B., Wille, R. & Kumar, A., 2025, Embedded Computer Systems: Architectures, Modeling, and Simulation: 24th International Conference, SAMOS 2024, Samos, Greece, June 29 – July 4, 2024, Proceedings, Part II. Carro, L., Regazzoni, F. & Pilato, C. (eds.). Springer Science and Business Media B.V., p. 99-108, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Enabling LLM Knowledge Analysis via Extensive MaterializationHu, Y., Nguyen, T., Ghosh, S. & Razniewski, S., 2025, The 63rd Annual Meeting of the Association for Computational Linguistics (ACL). Association for Computational Linguistics (ACL)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Endomersion: An Immersive Remote Guidance and Feedback System for Robot-Assisted Minimally Invasive SurgeryEllenberg, M. O., Krug, K., Fan, Y., Krzywinski, J., Dachselt, R., Younis, R., Wagner, M. & 5 others, 2025, Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025. Saint Malo, France, p. 1610-1611, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• FASTlabel: Making Supervised Query Optimizer Hinting PracticalThiessat, K., Habich, D. & Lehner, W., 2025, BTW2025 - Datenbanksysteme für Business, Technologie und Web. p. 241-264Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Immersive In Situ Visualizations for Monitoring Architectural-Scale Multiuser MR ExperiencesYu, Z., Zeidler, D., Chandran, K., Engeln, L., Mende, K. & McGinity, M., 2025, 16th International Conference on Information Visualization Theory and Applications. Vol. 1. p. 895-902, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Lessons Learned from Operating a Large Network TelescopeMännel, A., Mücke, J. J. L., Claffy, K., Gao, M., Mok, R. K. P., Nawrocki, M., Schmidt, T. C. & 1 others, 2025, Proceedings of ACM SIGCOMM. ACM New York, NY, USAElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Model Checking Markov Chains as Distribution Transformers.Aghamov, R., Baier, C., Karimov, T., Nieuwveld, J., Ouaknine, J., Piribauer, J. & Vahanwala, M., 2025, Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. p. 293-313, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Navigating Time and Energy Trade-Offs in Reactive Heterogeneous SystemsLin, S., Tanneberger, T., Bi, J., Feng, G., Xu, Y., Robledo, J., Khasanov, R. & 1 others, 2025, In: IEEE Embedded Systems Letters. p. 103-106Electronic (full-text) versionResearch output: Contribution to journal > Research article
• PAP2PAT: Benchmarking Outline-Guided Long-Text Patent Generation with Patent-Paper PairsKnappich, V., Hätty, A., Razniewski, S. & Friedrich, A., 2025, Findings of the Association for Computational Linguistics (ACL Findings). Association for Computational Linguistics (ACL)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Personas of Autistic Office Workers: A Foundation for Developing Effective Assistive Technologies.Engel, C., Gollasch, D., Branig, M., Schmalfuß-Schwarz, J. & Weber, G., 2025, Universal Access in Human-Computer Interaction: 19th International Conference, UAHCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part I. Antona, M. & Stephanidis, C. (eds.).p. 36-55, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Pinpointing Idle-Power Regressions in LinuxTröpgen, H., Smejkal, T., Ilsche, T., Schöne, R. & Schirmeier, H., 2025, High Performance Computing. ISC High Performance 2025 International Workshops: Energy Efficiency with Sustainable Performance: Techniques, Tools, and Best PracticesResearch 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., 2025, Proc. of ACM SIGCOMM: Posters and Demos. ACM New York, NY, USAElectronic (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., 2025, Proc. of ACM SIGCOMM: Posters and Demos. ACM New York, NY, USAResearch 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., 2025, Proc. of ACM SIGCOMM: Posters and Demos. ACM New York, NY, USAElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• POSTER: Two-Phase Scanning in IPv6 - First Observations from a Reactive IPv6 Network TelescopeXin, Y., Koch, M., Egloff, I., Hiesgen, R., Schmidt, T. C. & Wählisch, M., 2025, Proc. of ACM SIGCOMM: Posters and Demos. ACM New York, NY, USAElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• PrivTru: A Privacy-by-Design Data Trustee Minimizing Information Leakage.Gehring, L. & Tschorsch, F., 2025, p. 104-118, 15 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Responsibility in Actor-Based SystemsBaier, C., Klüppelholz, S. & Lehmann, J., 2025, Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday. Lee, E. A., Mousavi, M. R. & Talcott, C. (eds.). Springer Science and Business Media B.V., p. 44-69, 26 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Sicherheitsmechanismen des Cloud-Computings zur Verwendung in KorrekturverfahrenKrahn, R. & Fetzer, C., 2025, Thermo-energetische Gestaltung von Werkzeugmaschinen: Praxishandbuch. Brecher, C. (ed.). Wiesbaden: Springer Fachmedien Wiesbaden GmbH, p. 213-234, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Sonic Scribbles – Constructing Sketch Classes from Visual Associations of the Mental Model for AudioEngeln, L. & Groh, R., 2025, Proceedings of the 20th International Audio Mostly Conference, AM 2025Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Sound Statistical Model Checking for Probabilities and Expected RewardsBudde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M. & Wienhöft, P., 2025, Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I. Gurfinkel, A. & Heule, M. (eds.). Springer, Cham, p. 167–190, 24 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Spatial Audio Paths – Spatial Expressiveness of Immersive 3D Audio Trajectory EditingEngeln, L., Georgi, L., Ludwig, R., Chandran, K., Töpfer, F. & McGinity, M., 2025, Proceedings of the 20th International Audio Mostly Conference, AM 2025Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution