Synthesis of concurrent system interface modules with automatic protocol conversion generation. - Bill Lin 001; Steven Vercauteren (ICCAD, 1994)

Control resynthesis for control-dominated asynchronous designs. - Tilman Kolks; Steven Vercauteren; Bill Lin 001 (ASYNC, 1996)

Embedded Architecture Co-Synthesis and System Integration. - Bill Lin 001; Steven Vercauteren; Hugo De Man (CODES, 1996)

Constructing Application-Specific Heterogeneous Embedded Architectures from Custom HW/SW Applications. - Steven Vercauteren; Bill Lin 001; Hugo De Man (DAC, 1996)

A Strategy for Real-Time Kernel Support in Application-Specific HW/SW Embedded Architectures. - Steven Vercauteren; Bill Lin 001; Hugo De Man (DAC, 1996)

Derivation of Formal Representations from Process-Based Specification and Implementation Models. - Steven Vercauteren; Diederik Verkest; Gjalt G. de Jong; Bill Lin 001 (ISSS, 1997)

Hardware/Software Communication and System Integration for Embedded Architectures. - Steven Vercauteren; Bill Lin 001 (Des. Autom. Embed. Syst., 1997)

Hardware/software co-design of digital telecommunication systems. - Ivo Bolsens; Hugo J. De Man; Bill Lin 001; Karl van Rompaey; Steven Vercauteren; Diederik Verkest (Proc. IEEE, 1997)

Efficient Verification using Generalized Partial Order Analysis. - Steven Vercauteren; Diederik Verkest; Gjalt G. de Jong; Bill Lin 001 (DATE, 1998)

Combining Software Synthesis and Hardware/Software Interface Generation to Meet Hard Real-Time Constraints. - Steven Vercauteren; Jan van der Steen; Diederik Verkest (DATE, 1999)