Department Informatik

RAVEN: Reinforcement Learning for Generating Verifiable Run-time Requirement Enforcers for MPSoCs (2023) Esper K, Spieck J, Sixdenier PL, Wildermann S, Teich J Conference contribution, Original article Indoor Localization with Robust Global Channel Charting: A Time-Distance-Based Approach (2023) Stahlke M, Yammine G, Feigl T, Eskofier B, Mutschler C Journal article, Original article DeNos22: A Pipeline to Learn Object Tracking Using Simulated Depth (2023) Penk D, Horn M, Strohmeyer C, Bauer F, Stamminger M Conference contribution Veto: Prohibit Outdated Edge System Software from Booting (2023) Röckl J, Wagenhäuser A, Müller T Conference contribution On energy awareness in NVRAM-based operating systems – NEON and PAVE (2023) Schröder-Preikschat W, Hönig T Book chapter / Article in edited volumes Three-Step Volumetric Segmentation for Automated Shoe Fitting (2023) Leipert M, Herl G, Stebani J, Zabler S, Maier A Conference contribution, Original article Analysis of an AI-based prototype for user-independent automated cardiac MRI (CMR) scanning (2023) Haenel A, Wetzl J, Yoon SS, Schmidt M, Weißgerber AB, Barkhausen J, Frydrychowicz A Conference contribution, Abstract of lecture Formal Verification of Necessary and Sufficient Evidence in Forensic Event Reconstruction (2023) Gruber J, Humml M, Schröder L, Freiling F Conference contribution, Conference Contribution Contamination of digital evidence: Understanding an underexposed risk (2023) Gruber J, Hargreaves CJ, Freiling F Journal article Detectron2 for Lesion Detection in Diabetic Retinopathy (2023) Chincholi F, Köstler H Journal article