1999 |
7 | EE | 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 | EE | Steven Vercauteren,
Diederik Verkest,
Gjalt G. de Jong,
Bill Lin:
Efficient Verification using Generalized Partial Order Analysis.
DATE 1998: 782-789 |
1997 |
5 | EE | 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 | EE | Bill Lin,
Steven Vercauteren,
Hugo De Man:
Embedded Architecture Co-Synthesis and System Integration.
CODES 1996: 2-9 |
3 | EE | Steven Vercauteren,
Bill Lin,
Hugo De Man:
Constructing Application-Specific Heterogeneous Embedded Architectures from Custom HW/SW Applications.
DAC 1996: 521-526 |
2 | EE | 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 | EE | Bill Lin,
Steven Vercauteren:
Synthesis of concurrent system interface modules with automatic protocol conversion generation.
ICCAD 1994: 101-108 |