 | 1999 |
|---|
| 7 |       | Steven Vercauteren,
Jan van der Steen,
Diederik Verkest:
Combining Software Synthesis and Hardware/Software Interface Generation to Meet Hard Real-Time Constraints.
DATE 1999: 556-561 |
| 1998 |
|---|
| 6 | | Steven Vercauteren,
Diederik Verkest,
Gjalt G. de Jong,
Bill Lin:
Efficient Verification using Generalized Partial Order Analysis.
DATE 1998: 782-789 |
| 1997 |
|---|
| 5 | | Steven Vercauteren,
Diederik Verkest,
Gjalt G. de Jong,
Bill Lin:
Derivation of Formal Representations from Process-Based Specification and Implementation Models.
ISSS 1997: 16- |
| 1996 |
|---|
| 4 | | Bill Lin,
Steven Vercauteren,
Hugo De Man:
Embedded Architecture Co-Synthesis and System Integration.
CODES 1996: 2-9 |
| 3 | | Steven Vercauteren,
Bill Lin,
Hugo De Man:
Constructing Application-Specific Heterogeneous Embedded Architectures from Custom HW/SW Applications.
DAC 1996: 521-526 |
| 2 | | Steven Vercauteren,
Bill Lin,
Hugo De Man:
A Strategy for Real-Time Kernel Support in Application-Specific HW/SW Embedded Architectures.
DAC 1996: 678-683 |
| 1994 |
|---|
| 1 | | Bill Lin,
Steven Vercauteren:
Synthesis of concurrent system interface modules with automatic protocol conversion generation.
ICCAD 1994: 101-108 |
