Department Informatik

Design for Diagnosability (DfD) May 15, 2013 - Sept. 30, 2018 FORMUS³IC – Multi-Core safe and software-intensive Systems Improvement Community (FORMUS³IC) FORMUS³IC – Multi-Core safe and software-intensive Systems Improvement Community Oct. 1, 2015 - Sept. 30, 2018 An Exascale Programming, Multi-objective Optimisation and Resilience Management Environment Based on Nested Recursive Parallelism RIA Oct. 1, 2015 - Sept. 30, 2018 Datenmanagement im Informatikunterricht Sept. 1, 2013 - Sept. 30, 2018 Segmentierung von MR-Daten in der Herzbildgebung zur Verwendung bei Interventionen an Angiographiegeräten (Segmentierung MR-Daten) Oct. 1, 2015 - Sept. 30, 2018 AMCE - Agile Methods in computing education (AMI) Jan. 1, 2012 - Aug. 31, 2018 Digital Vision Trainer Aug. 1, 2016 - July 31, 2018 Coinduction Meets Algebra For the Axiomatization of System Equivalence (COAX) Oct. 1, 2014 - July 31, 2018 Softwareinfrastruktur betriebsmittelbeschränkter vernetzter Systeme (Phase 2) (ARTE) FOR 1508: Dynamisch adaptierbare Anwendungen zur Fledermausortung mittels eingebetteter kommunizierender Sensorsysteme Aug. 1, 2015 - July 31, 2018 Security in Invasive Computing Systems (SFB/TRR 89) DFG SFB/Transregio 89 "Invasive Computing" (TRR 89) July 1, 2014 - June 30, 2018