Department Informatik

Model-based testing strategies (SMARTEST-FAU-SWE) SMARTEST: Evaluierung von Verfahren zum Testen der Informationssicherheit in der nuklearen Leittechnik durch smarte Testfallgenerierung July 1, 2015 - Dec. 31, 2018 Medical Image Processing for Interventional Applications Jan. 1, 2018 - Dec. 31, 2018 Assessment of Data Management Systems (DAMSEL) Sept. 1, 2014 - Dec. 31, 2018 Know Your Queries! (KYQ) April 1, 2015 - Dec. 31, 2018 Cross-system Optimization of Data-stream Queries (BATS-TP3) FOR 1508: Dynamisch adaptierbare Anwendungen zur Fledermausortung mittels eingebetteter kommunizierender Sensorsysteme Aug. 1, 2012 - Dec. 31, 2018 Cognitive Power Control for Mobile Devices (CogniPower) Jan. 1, 2016 - Dec. 31, 2018 Automobilsensorik@ESI (Automobilsensorik@ESI) ESI-Anwendungszentrum für die digitale Automatisierung, den digitalen Sport und die Automobilsensorik der Zukunft (ESI 2) Oct. 5, 2015 - Dec. 31, 2018 ExaStencils - Advanced Stencil-Code Engineering (ExaStencils) SPP 1648: Software for Exascale Computing Jan. 1, 2013 - Dec. 31, 2018 ESI@Fitness (ESI@Fitness) ESI-Anwendungszentrum für die digitale Automatisierung, den digitalen Sport und die Automobilsensorik der Zukunft (ESI 2) Jan. 1, 2015 - Dec. 31, 2018 ESI-Anwendungszentrum für die digitale Automatisierung, den digitalen Sport und die Automobilsensorik der Zukunft (ESI 2) Jan. 1, 2015 - Dec. 31, 2018