Stefan Gossens

According to our database, Stefan Gossens authored at least 9 papers between 2002 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

View Graphs for Analysis and Testing of Programs at Different Abstraction Levels.

Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin

Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

2004

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

Ulrich Heinkel, Claus Mayer, Charles F. Webb, Hans Sahm, Werner Haas, Stefan Gossens

Proceedings of the Computer Systems: Architectures, 2004

Structural Analysis of Explicit Fault-Tolerant Programs.

Stefan Gossens, Mario Dal Cin

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

A View-Based Control Flow Metric.

Stefan Gossens, Mario Dal Cin

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003

Strukturelle Analyse explizit fehlertoleranter Programme.

Stefan Gossens, Mario Dal Cin

Softwaretechnik-Trends, 2003

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

Werner Haas, T. Bürner, Stefan Gossens, Ulrich Heinkel

Proceedings of the Forum on specification and Design Languages, 2003

2002

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

Werner Haas, Stefan Gossens, Ulrich Heinkel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002

Integration of Formal Specification into the Standard ASIC Design Flow.

Werner Haas, Stefan Gossens, Ulrich Heinkel

Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

Enhancing System Validation with Behavioural Types.

Stefan Gossens

Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002