Department Informatik

Simulation von Smart Grids Jan. 1, 2012 - Dec. 31, 2015 Implementierung eines Protokolladapters IEC61850 -MQTT gemäß Application Gateway commands Spezifikation (Smart Eco Connector) Oct. 1, 2015 - Dec. 31, 2015 Advances in Coalgebraic Automata Theory Jan. 1, 2015 - Dec. 31, 2015 Actor-Oriented Synthesis and Optimization of Digital Hardware/Software Systems at System-Level (AEOS) March 1, 2010 - Dec. 31, 2015 EXASTEEL - Bridging Scales for Multiphase Steels SPP 1648: Software for Exascale Computing Nov. 1, 2012 - Dec. 31, 2015 TERRA-NEO - Integrated Co-Design of an Exascale Earth Mantle Modeling Framework SPP 1648: Software for Exascale Computing Nov. 1, 2012 - Dec. 31, 2015 ESSEX - Equipping Sparse Solvers for Exascale (SPPEXA) SPP 1648: Software for Exascale Computing Nov. 1, 2012 - Dec. 31, 2015 Forensische TK-Metadatenanalyse (TK-Metadatenanalyse) June 2, 2015 - Nov. 30, 2015 Formal Methods and Semantic Technologies for Engineering Design Processes (FormalCAD) Oct. 1, 2012 - Oct. 1, 2015 OpenMP/Java Oct. 1, 2009 - Oct. 1, 2015