Kontakt | Impressum | English Englisch
Zur Startseite der Universität Bremen






Foto Fey

 Herr
Prof. Dr. Görschwin Fey

Fachbereich 03
Mathematik/Informatik Mathematik/Informatik

E-Mail:

Zugehörigkeiten | Forschungsthemen | Kooperationen | Projekte | Wissenschaftliche Aktivitäten | Ressourcen


Zugehörigkeiten

Zugehörigkeit zu einem Wissenschaftsschwerpunkt der Universität Bremen		 » Minds Media Machines


Graduiertenprogramme		 » Graduiertenkolleg System Design (SyDe)


Zugehörigkeit zu einem außer-universitären Institut		 » Institut für Raumfahrtsysteme - Deutsches Zentrum für Luft- und Raumfahrt (HGF) - DLR-RY


Zugehörigkeit zur Arbeitsgruppe/zur Professur
Kürzel Bezeichnung deutsch Bezeichnung englisch Fachbereich Schlagwörter deutsch Schlagwörter englisch
ZESy  Zuverlässige Eingebettete Systeme  Reliable Embedded Systems  FB03     




Forschungsthemen
Ingenieurwissenschaften
 » Informatik


Kooperationen


Projekte

Projekte (Hyperlink)		 Link (extern): http://www.informatik.uni-bremen.de/agra/ger/projekt.php http://www.informatik.uni-bremen.de/agra/ger/projekt.php


Mittelgeber der letzten fünf Jahre (Öffentliche Einrichtungen und Stiftungen)		 » Universität Bremen/Zentrale Forschungsförderung
» DFG
» BMWi
» EU (7. RP)
» DAAD



Wissenschaftliche Aktivitäten


Publikationen (Hyperlink)		 Link (extern): http://www.informatik.uni-bremen.de/~fey/publications.pdf http://www.informatik.uni-bremen.de/~fey/publications.pdf


Bedeutendste Publikationen
Automated feature localization for hardware designs using coverage metrics
Art
Autor/enJ. Malburg, A. Finder, and G. Fey
Jahr2012
InDesign Automation Conference (DAC)
Seiten941–946
Doihttp://dx.doi.org/10.1145/2228360.2228529
 Konferenzbeitrag
 
Effective robustness analysis using bounded model checking techniques
Art
Autor/enG. Fey, A. Sülflow, S. Frehse, and R. Drechsler
Jahr2011
InIEEE Transactions on Computer Aided Design of Circuits and Systems (TCAD)
Jahrgang30
Heft8
Seiten1239–1252
Link zu VolltextLink (extern): http://dx.doi.org/10.1109/TCAD.2011.2120950 http://dx.doi.org/10.1109/TCAD.2011.2120950
 Zeitschriftenaufsatz
 
Automatic fault localization for property checking
Art
Autor/enG. Fey, S. Staber, R. Bloem, and R. Drechsler
Jahr2008
InIEEE Transactions on Computer Aided Design of Circuits and Systems (TCAD)
Jahrgang27
Heft6
Seiten1138–1149
Doihttp://dx.doi.org/10.1109/TCAD.2008.923234
 Zeitschriftenaufsatz
 
Robustness and Usability in Modern Design Flows (Herausgeber)
Art
Autor/enG. Fey and R. Drechsler
Jahr2008
InSpringer Verlag
 Monographie
 
Minimizing the number of paths in BDDs - theory and algorithm
Art
Autor/enG. Fey und R. Drechsler
Jahr2006
InIEEE Transactions on Computer Aided Design of Circuits and Systems (TCAD)
Jahrgang25
Heft1
Seiten4-11
Doihttp://dx.doi.org/10.1109/TCAD.2005.852662
 Zeitschriftenaufsatz
 


 


Selbst ausgerichtete Tagungen in den letzten fünf Jahren
Titel Jahr Hyperlink
IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (PC Chair) 2013 Link (extern): http://www.fit.vutbr.cz/events/ddecs2013/about.php?section=about http://www.fit.vutbr.cz/events/ddecs2013/about.php?section=about 
Zuverlässigkeit und Entwurf (PC Chair) 2012 Link (extern): http://zue2012.de http://zue2012.de 




Ressourcen
 
Persönliche Zusatzinformationen


 		 Kooperationsprofessur "Zuverlässige Eingebettete Systeme" des Deutschen Zentrums für Luft- und Raumfahrt e.V. (DLR)





« zurück