 | 2005 |
|---|
| 7 |       | Stefan Gossens,
Fevzi Belli,
Sami Beydeda,
Mario Dal Cin:
View Graphs for Analysis and Testing of Programs at Different Abstraction Levels.
HASE 2005: 121-130 |
| 2004 |
|---|
| 6 | | Stefan Gossens,
Mario Dal Cin:
A View-Based Control Flow Metric.
COMPSAC Workshops 2004: 26-27 |
| 5 | | Stefan Gossens,
Mario Dal Cin:
Structural Analysis of Explicit Fault-Tolerant Programs.
HASE 2004: 89-96 |
| 4 | | 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: 98-107 |
| 2003 |
|---|
| 3 | | Werner Haas,
T. Bürner,
Stefan Gossens,
Ulrich Heinkel:
Formal Specification of a 40GBit/s Sonet/SDH ASIC.
FDL 2003: 426-435 |
| 2002 |
|---|
| 2 | | Werner Haas,
Stefan Gossens,
Ulrich Heinkel:
Integration of Formal Specification into the Standard ASIC Design Flow.
HASE 2002: 189-194 |
| 1 | | Stefan Gossens:
Enhancing System Validation with Behavioural Types.
HASE 2002: 201-210 |
