Department Informatik

Conformance Games for Graded Semantics (2025) Forster J, Schröder L, Wild P Conference contribution Beyond BNNs: Design and Acceleration of Sub-Bit Neural Networks Using RISC-V Custom Functional Units (2025) Sabih M, Abdo M, Hannig F, Teich J Journal article Digital twins for personalized treatment in uro-oncology in the era of artificial intelligence (2025) Görtz M, Brandl C, Nitschke A, Riediger A, Stromer D, Byczkowski M, Heuveline V, Weidemüller M Journal article, Review article Generic Anonymity Wrapper for Messaging Protocols (2025) Thiemt L, Rösler P, Bienstock A, Schmidt R, Dodis Y Conference contribution, Conference Contribution 3D Face Reconstruction From Radar Images (2025) Bräutigam V, Wirth V, Ullmann I, Schüßler C, Vossiek M, Berking M, Egger B Conference contribution Demystifying AI. An open educational resource collection of unplugged AI teaching activities (2025) Lindner A, Müller-Unterweger M, Berges M Journal article BigReg: an efficient registration pipeline for high-resolution X-ray and light-sheet fluorescence microscopy (2025) Mei S, Fan F, Thies M, Gu M, Wagner F, Aust O, Erceg I, et al. Journal article WatwaOS: A Framework for Worst-Case–Aware Tailoring and Whole-System Analysis of Energy-Constrained Real-Time Systems (2025) Häberlein T, Dengler E, Raffeck P, Wägemann P Conference contribution, Conference Contribution Dynamic Fuzzing-Based Whole-System Timing Analysis (2025) Berger A, Schuster S, Wägemann P, Ulbrich P Conference contribution, Conference Contribution Positional Paper: A Clock-Distribution Abstraction for Resource-Constrained Real-Time Systems in Zephyr (2025) Dengler E, Häberlein T, Raffeck P, Wägemann P Conference contribution, Conference Contribution