Department Informatik

Integrated Tool Chain for Meta-model-based Process Modeling and Execution Oct. 1, 2008 - Dec. 31, 2012 Entwicklung von Verfahren zur Bewertung der Software-Zuverlässigkeit für ausgewählte software-intensive Siemens-Produkte mittels herstelleradäquater Architekturmodellierung Oct. 1, 2009 - Oct. 1, 2012 Transfermatrixmethode optische Schichten July 1, 2012 - Sept. 30, 2012 Kompetenzentwicklung mit Eingebetteten Mikro- und Nanosystemen - KOMINA Sept. 1, 2010 - Sept. 30, 2012 Erweiterung eines echtzeitfähigen Temperaturmodels April 30, 2012 - Aug. 31, 2012 User-centric, Secure Information Flow Management in Enterprise Systems (USIFES) (USIFES) SPP 1496: Reliably Secure Software Systems - Zuverlässig sichere Softwaresysteme Aug. 1, 2010 - Aug. 30, 2012 Sicherheit in eingebetteten IP-basierten Systemen (SEIS) Jan. 1, 2009 - June 30, 2012 Intraoperative Simulation der Hämodynamik in Aneurysmen im menschlichen Gehirn Jan. 1, 2007 - May 31, 2012 Beweistheorie in der Deskriptiven Komplexitätstheorie Jan. 1, 2000 - May 31, 2012 OptiNum-Grid: Optimierung technischer Systeme und naturwissenschaftlicher Modelle mit Hilfe numerischer Simulationen im Grid (BMBF 514 PT-) June 1, 2009 - May 31, 2012