Steven Vercauteren

Publication Activity (10 Years)

Years Active: 1994-1999
Publications (10 Years): 0

Publications

Steven Vercauteren, Jan van der Steen, Diederik Verkest
Combining Software Synthesis and Hardware/Software Interface Generation to Meet Hard Real-Time Constraints. DATE (1999)
Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin
Efficient Verification using Generalized Partial Order Analysis. DATE (1998)
Steven Vercauteren, Bill Lin
Hardware/Software Communication and System Integration for Embedded Architectures. Des. Autom. Embed. Syst. 2 (3-4) (1997)
Ivo Bolsens, Hugo J. De Man, Bill Lin, Karl van Rompaey, Steven Vercauteren, Diederik Verkest
Hardware/software co-design of digital telecommunication systems. Proc. IEEE 85 (3) (1997)
Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin
Derivation of Formal Representations from Process-Based Specification and Implementation Models. ISSS (1997)
Tilman Kolks, Steven Vercauteren, Bill Lin
Control resynthesis for control-dominated asynchronous designs. ASYNC (1996)
Steven Vercauteren, Bill Lin, Hugo De Man
Constructing Application-Specific Heterogeneous Embedded Architectures from Custom HW/SW Applications. DAC (1996)
Steven Vercauteren, Bill Lin, Hugo De Man
A Strategy for Real-Time Kernel Support in Application-Specific HW/SW Embedded Architectures. DAC (1996)
Bill Lin, Steven Vercauteren, Hugo De Man
Embedded Architecture Co-Synthesis and System Integration. CODES (1996)
Bill Lin, Steven Vercauteren
Synthesis of concurrent system interface modules with automatic protocol conversion generation. ICCAD (1994)