2025

• 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
• Multi-Partner Project: Smart Sensor Analog Front-Ends Powered by Emerging Reconfigurable Devices (SENSOTERIC)Galderisi, G., Kramer, A., Fuchsberger, A., Gonzalez-Medina, J. M., He, Y., Hung, L. C., Hong Li, M. J. & 17 others, 2025, 2025 Design, Automation and Test in Europe Conference, DATE 2025 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• New Strategies for Monitoring and Improving Flushing Processes Used in Chocolate ManufacturingHeide, M., Liebmann, V., Drechsel, C., Rüdiger, F., Majschak, J. & Köhler, H., 2025, Fouling and Cleaning in Food Processing 2025 Proceedings Part 1 . Dresden, Germany, p. 379-388Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Overcoming Hardware Limitations in Massive MIMO: A Generative AI TakeBanerjee, B., Nimr, A. & Fettweis, G., 2025, Proceedings of 2025 Wireless Communications and Networking Conference (WCNC 2025)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Overhead line model with consideration of the finite length of the ground wires and the propagation resistances of the earthing systemNguyen, T. B., Liebermann, C. & Schegner, P., 2025, p. 8-13, 60 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• 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, USAResearch 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