Stefan Gossens

Structural analysis of explicit fault-tolerant programs

Mario Dal Cin, Stefan Gossens, 2004, Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings..

Enhancing system validation with behavioural types

Stefan Gossens, 2002, 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings..

A view-based control flow metric

Mario Dal Cin, Stefan Gossens, 2004, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..

An Optimized Flow for Designing High-Speed, Large-Scale CMOS ASIC SoCs

Ulrich Heinkel, Charles F. Webb, Werner Haas, 2004, SAMOS.

Integration of formal specification into the standard ASIC design flow

Ulrich Heinkel, Werner Haas, Stefan Gossens, 2002, 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings..

View graphs for analysis and testing of programs at different abstraction levels

Fevzi Belli, Mario Dal Cin, Sami Beydeda, 2005, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05).

Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA)

Ulrich Heinkel, Werner Haas, Stefan Gossens, 2002, MBMV.

Formal Specification of a 40GBit/s Sonet/SDH ASIC

Ulrich Heinkel, Werner Haas, Stefan Gossens, 2003, FDL.

Specifying Object Oriented Systems Using Gdmo, Zest and Sdl'92 Specifying Object Oriented Systems Using Gdmo, Zest and Sdl'92 Reports of the Gdmo Project Specifying Object Oriented Systems Using Gdmo, Zest and Sdl'92

Jürgen Ebert, Angelika Franzke, Stefan Gossens, 1997 .