dblp.uni-trier.dewww.uni-trier.de

Steven Vercauteren

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Gjalt G. de Jong [5] [6]
2Bill Lin [1] [2] [3] [4] [5] [6]
3Hugo De Man [2] [3] [4]
4Jan van der Steen [7]
5Diederik Verkest [5] [6] [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)