Department Informatik

Migration-Aware Multi-Core Real-Time Executive (maRE) Aug. 11, 2020 - Aug. 11, 2023 Font Group Recognition for Improved OCR Aug. 1, 2021 - Aug. 1, 2023 Test Patterns zur Erkennung von Softwareschwachstellen (SMARTEST2-FAU-SWE) SMARTEST2: Evaluierung von Verfahren zum Testen der Informationssicherheit in der nuklearen Leittechnik durch smarte Testfallgenerierung 2 July 1, 2020 - June 30, 2023 Reliability design of multi-sensor systems Jan. 1, 2020 - June 30, 2023 Coalgebraic Model Checking (CoMoC) June 1, 2020 - May 31, 2023 Performance Analysis in Team Sports June 1, 2017 - May 31, 2023 From Micro To Macro: Multiscale Multimodal Data Analysis for Breast Cancer Research May 4, 2020 - May 5, 2023 Dynamic HPC software frameworks: Seamless integration of existing simulation frameworks and code generation techniques (HPCDyn_KO) April 15, 2020 - April 30, 2023 Dynamic HPC software frameworks: Seamless integration of existing simulation frameworks and code generation techniques (HPCDyn_RU) April 15, 2020 - April 30, 2023 Intelligent MR Diagnosis of the Liver by Linking Model and Data-driven Processes (iDELIVER) Aug. 3, 2020 - March 31, 2023