Prof. Dr.-Ing. Görschwin Fey
Address	Abteilung Avioniksysteme Institut für Raumfahrtsysteme Deutsches Zentrum für Luft- und Raumfahrt Robert-Hooke-Str. 7 28359 Bremen Phone   +49 - 421 - 24420 - 1272 Fax +49 - 421 - 24420 - 1150 Email  goerschwin.fey@dlr.de         Arbeitsgruppe Zuverlässige Eingebettete Systeme FB 3 - Mathematik und Informatik Universität Bremen Bibliothekstr. 1 28359 Bremen Phone   +49 - 421 - 218 - 63944 Fax +49 - 421 - 218 - 98 - 63944 Email  fey@informatik.uni-bremen.de
	48th DAC 2011 asked for a promotional video for WACI presentations - please have a look: Orchestrated Multi-level Information Flow Analysis to Understand SoCs
Curriculum Vitae	pdf (last update: 2012-07-10)
Publications	pdf (last update: 2012-12-21)
	DBLP   Microsoft Academic Search   The Collection of Computer Science Bibliographies
Projects	Junior Research Group "DSy - Debugging Embedded Systems" (funded by DFG within the Emmy Noether Programme)
Finished	Collaborative research project "DIAMOND" (co-PI with Prof. Dr. Rolf Drechlser, funded by EU within FP7) Exchange project "Design Methodology for Embedded Systems" (with Prof. Dr. S. Komatsu and Prof. Dr. M. Fujita at the Univ. of Tokyo, funded by DAAD)   Exchange project "Reachability Analysis using Wordlevel-Provers" (with Prof. A. Veneris PhD at the Univ. of Toronto, funded by DAAD, 01/2009-12/2010) Research project "Formal Robustness Analysis" (joint PI with Prof. Dr. Rolf Drechlser, funded by DFG, 02/2009-04/2011)

Last update: 2013-02-11 12-24 (CET)