Kaulen, Konstantin;Ladner, Tobias;Bak, Stanley;Brix, Christopher;Duong, Hai;Flinkow, Thomas;Johnson, Taylor T.;Koller, Lukas;Manino, Edoardo;Nguyen, ThanhVu H;Wu, Haoze
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
arxiv
2025

Tobias Ladner
ARCH-COMP25 Repeatability Evaluation Report
Proceedings of 12th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)
2025

Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Samuel Coogan, Marcelo Forets, Akash Harapanahalli, Taylor T. Johnson, Tobias Ladner, Christian Schilling, Huan Zhang and Xiangru Zhong
ARCH-COMP25 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Proceedings of 12th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)
2025

Li, Yuchen;Teng, Siyu;Wu, Zizhang;Wang, Junhui;Liu, Mingyu;Zhe, Xuanyuan;Chen, Long
Datasets, Metrics, Benchmarks and Future Research in Autonomous Driving: A Review
IEEE/CAA Journal of Automatica Sinica
2025

Tahoori, Mehdi;Meyers, Vincent;Sadeghipour Roodsari, Mahboobe;Xu, Huashuangyang;Becker, Juergen;Harbaum, Tanja;Frombach, Felix;Hoefer, Julian;Sotiropoulos, Georgios;Henkel, Jorg;Demirdag, Zeynep;Khdr, Heba;Nassar, Hassan;Schlichtmann, Ulf;Geier, Johannes;van Kempen, Philipp;Sigl, Georg;Koegler, Stefan;Probst, Matthias;Teich, Jurgen;Hannig, Frank;Sabih, Muhammad;Sesli, Batuhan;Wehn, Norbert;Steiner, Lukas;Kunz, Wolfgang;Shelkamy Ali, Mohamed
Special Sessions - Hardware-Software Co-Design for Machine Learning Systems Made Open-Source
23-32
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis
ACM
2025

A. Djuhera, F. Koch, A. Binotto
Joint Partitioning and Placement of Foundation Models for Real-Time Edge AI
ICNC 2026 (International Conference on Computing, Networking and Communications)
IEEE
2026

Rüppel, Jens V; Rudenko, Andrey; Schreiter, Tim; Magnusson, Martin; Lilienthal, Achim J
Gaze-supported Large Language Model Framework for Bi-directional Human-Robot Interaction
arXiv preprint arXiv:2507.15729
2025

van Kempen, Philipp;Hager-Clukas, Andreas;Mueller-Gritschneder, Daniel;Schlichtmann, Ulf
GenIE: Reuse-Oriented Generation of Domain-Specific Instruction Extensions
1-7
2025 IEEE Nordic Circuits and Systems Conference (NorCAS)
IEEE
2025

Shambhavi Balamuthu Sampath, Behzad Shomali, Nael Fasfous, Moritz Thoma, Judeson Anthony Fernando, Lukas Frickenstein, Pierpaolo Mori, Manoj Rohit Vemparala, Alexander Frickenstein, Walter Stechele
HiFi-LLP: High-Fidelity, Low-Cost Latency Predictors with Confidence for Robust HW-NAS
IEEE 38th International System-on-Chip Conference (SOCC)
2025

Fidan Mehmeti, Franz Biersack, Marco Liess, Matthias Nickel, Tung V. Doan, Robert Khasanov, Jeronimo Castrillon, Osel Lhamo, Thomas Wild, Andreas Herkersdorf, Wolfgang Kellerer, Frank H. P. Fitzek, Giang T. Nguyen, Diana Göhringer
6G Network Design and Operations
6G-life: Unveiling the Future of Technological Sovereignty, Sustainability and Trustworthiness
Academic Press
2026