Enhancing System Validation with Behavioural Types. - Stefan Gossens (HASE, 2002)

Integration of Formal Specification into the Standard ASIC Design Flow. - Werner Haas 003; Stefan Gossens; Ulrich Heinkel (HASE, 2002)

Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA). - Werner Haas 003; Stefan Gossens; Ulrich Heinkel (MBMV, 2002)

Formal Specification of a 40GBit/s Sonet/SDH ASIC. - Werner Haas 003; T. Bürner; Stefan Gossens; Ulrich Heinkel (FDL, 2003)

Strukturelle Analyse explizit fehlertoleranter Programme. - Stefan Gossens; Mario Dal Cin (Softwaretechnik-Trends, 2003)

A View-Based Control Flow Metric. - Stefan Gossens; Mario Dal Cin (COMPSAC Workshops, 2004)

Structural Analysis of Explicit Fault-Tolerant Programs. - Stefan Gossens; Mario Dal Cin (HASE, 2004)

An Optimized Flow for Designing High-Speed, Large-Scale CMOS ASIC SoCs. - Ulrich Heinkel; Claus Mayer; Charles F. Webb; Hans Sahm; Werner Haas 003; Stefan Gossens (SAMOS, 2004)

View Graphs for Analysis and Testing of Programs at Different Abstraction Levels. - Stefan Gossens; Fevzi Belli; Sami Beydeda; Mario Dal Cin (HASE, 2005)