Contact | Legal | Deutsch German
Zur Startseite der Universität Bremen






Foto Fey

Mr.
Prof. Dr. Görschwin Fey

Faculty 03
Mathematics/Computer Science Mathematics/Computer Science

E-Mail:

Affiliations | Research Topics | Cooperations | Projects | Scientific Activities | Resources


Affiliations

High-Profile Areas
» Minds Media Machines


Graduate program
» Graduate School System Design (SyDe)


Affiliation to a non-university institute
» German Aerospace Center (DLR Bremen)


Affialation to a work group
Code Indication deutsch Indication englisch Faculty Keywords deutsch Keywords englisch
ZESy  Zuverlässige Eingebettete Systeme  Reliable Embedded Systems  F03     




Research Topics
Engineering
» Computer Science


Cooperations


Projects

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


Agencies that have funded your research during the past five years (public institutions and foundations)
» University of Bremen/Central Research Development Fund
» DFG
» BMWi
» EU (7. FP)
» DAAD



Scientific Activities


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


Most significant Publications
Automated feature localization for hardware designs using coverage metrics
Type
Author(s)J. Malburg, A. Finder, and G. Fey
Year2012
InDesign Automation Conference (DAC)
Pages941–946
Doihttp://dx.doi.org/10.1145/2228360.2228529
Conference Paper
 
Effective robustness analysis using bounded model checking techniques
Type
Author(s)G. Fey, A. Sülflow, S. Frehse, and R. Drechsler
Year2011
InIEEE Transactions on Computer Aided Design of Circuits and Systems (TCAD)
Year30
Issue8
Pages1239–1252
Link zu VolltextLink (extern): http://dx.doi.org/10.1109/TCAD.2011.2120950 http://dx.doi.org/10.1109/TCAD.2011.2120950
Article
 
Automatic fault localization for property checking
Type
Author(s)G. Fey, S. Staber, R. Bloem, and R. Drechsler
Year2008
InIEEE Transactions on Computer Aided Design of Circuits and Systems (TCAD)
Year27
Issue6
Pages1138–1149
Doihttp://dx.doi.org/10.1109/TCAD.2008.923234
Article
 
Robustness and Usability in Modern Design Flows (Publisher)
Type
Author(s)G. Fey and R. Drechsler
Year2008
InSpringer Verlag
Monograph
 
Minimizing the number of paths in BDDs - theory and algorithm
Type
Author(s)G. Fey und R. Drechsler
Year2006
InIEEE Transactions on Computer Aided Design of Circuits and Systems (TCAD)
Year25
Issue1
Pages4-11
Doihttp://dx.doi.org/10.1109/TCAD.2005.852662
Article
 


 


Conferences organized by you during the past five years

Titel Year 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 




Resources
 
More information


 
Cooperative professorship "Reliable Embedded Systems" of the German Aerospace Center
(Deutsches Zentrum für Luft- und Raumfahrt e.V., DLR)





« back