Stefan Gossens

Publication Activity (10 Years)

Years Active: 2002-2005
Publications (10 Years): 0

Publications

Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin
View Graphs for Analysis and Testing of Programs at Different Abstraction Levels. HASE (2005)
Ulrich Heinkel, Claus Mayer, Charles F. Webb, Hans Sahm, Werner Haas, Stefan Gossens
An Optimized Flow for Designing High-Speed, Large-Scale CMOS ASIC SoCs. SAMOS (2004)
Stefan Gossens, Mario Dal Cin
Structural Analysis of Explicit Fault-Tolerant Programs. HASE (2004)
Stefan Gossens, Mario Dal Cin
A View-Based Control Flow Metric. COMPSAC Workshops (2004)
Werner Haas, T. Bürner, Stefan Gossens, Ulrich Heinkel
Formal Specification of a 40GBit/s Sonet/SDH ASIC. FDL (2003)
Stefan Gossens, Mario Dal Cin
Strukturelle Analyse explizit fehlertoleranter Programme. Softwaretechnik-Trends 23 (2) (2003)
Werner Haas, Stefan Gossens, Ulrich Heinkel
Integration of Formal Specification into the Standard ASIC Design Flow. HASE (2002)
Werner Haas, Stefan Gossens, Ulrich Heinkel
Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA). MBMV (2002)
Stefan Gossens
Enhancing System Validation with Behavioural Types. HASE (2002)