| 2004 | Self-Reconfiguration of Communication Interfaces. | Andr Meisel, Markus Visarius, Wolfram Hardt, Stefan Ihmor |
| 2004 | Transaction-Level Prototyping of a UMTS Outer-Modem for System-on-Chip Validation and Architecture Exploration. | Paolo Martinelli, Armin Wellig, Julien Zory |
| 2004 | Rapid Prototyping of an Integrated Testing and Debugging Unit. | Ralf Ludewig, Thomas Hollstein, Falko Schtz, Manfred Glesner |
| 2004 | Approaching Interoperability from the Bottom up: A Lattice Structure for the Object-Oriented Method for Interoperability (OOMI). | George M. Lawler, Paul E. Young |
| 2004 | Rapid Prototyping of a Co-Designed Java Virtual Machine. | Kenneth B. Kent, Hejun Ma, Micaela Serra |
| 2004 | Abstract RTOS Modeling for Embedded Systems. | Fabiano Hessel, Vitor M. da Rosa, Igor M. Reis, Ricardo Planner, Csar A. M. Marcon, Altamiro Amadeu Susin |
| 2004 | Automated Hardware Synthesis from Formal Specification Using SAT Solvers. | David J. Greaves |
| 2004 | Network Interface Generation for MPSOC: From Communication Service Requirements to RTL Implementation. | Arnaud Grasset, Frdric Rousseau, Ahmed Amine Jerraya |
| 2004 | Generation of Distributed Programs in Their Target Execution Environment. | Frdric Gilliers, Jean-Pierre Velu, Fabrice Kordon |
| 2004 | An Efficient Architecture for the Implementation of Message Passing Programming Model on Massive Multiprocessor. | Ferid Gharsalli, Amer Baghdadi, Marius Bonaciu, Giedrius Majauskas, Wander O. Cesrio, Ahmed Amine Jerraya |
| 2004 | TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions. | Doron Drusinsky, Man-tak Shing |
| 2004 | Towards Formal Verification on the System Level. | Rolf Drechsler |
| 2004 | A Case Study on Rapid Prototyping of Hardware Systems: The Effect of CAD Tool Capabilities, Design Flows, and Design Styles. | Apostolos Dollas, Kyprianos Papademetriou, Euripides Sotiriades, Dimitrios Theodoropoulos, Iosif Koidis, George Vernardos |
| 2004 | High Level Synthesis Methodology from C to FPGA Used for a Network Protocol Communication. | M. Diaby, Matthieu Tuna, Jean Lou Desbarbieux, Franck Wajsbrt |
| 2004 | Multi-User FPGA Co-Simulation over TCP/IP. | Daniel Denning, James Irvine, Derek Stark, Malachy Devlin |
| 2004 | Improvement of Compiled Instruction Set Simulator by Increasing Flexibility a. | Moo-Kyoung Chung, Chong-Min Kyung |
| 2004 | State Pruning for Test Vector Generation for a Multiprocessor Cache Coherence Protocol. | Ying Chen, Dennis Abts, David J. Lilja |
| 2004 | ASET: A Formal Model for System Emulation and Verification. | Swapan Bhattacharyya, Joydeep Bhattacharyya, Adrish Ray Chaudhuri |
| 2004 | Automatic Generation of Virtual Prototypes. | Pavle Belanovic, Martin Holzer, Bastian Knerr, Markus Rupp, Guillaume Sauzon |
| 2004 | Formal Specification and Verification of Embedded System with Shared Resources. | Ki-Seok Bang, Jin-Young Choi, Sung-Ho Jang |
| 2004 | Architecture Exploration of a Large Scale System. | Sylvain Alliot, Ed F. Deprettere |
| 2003 | Cache Configuration Exploration on Prototyping Platforms. | Chuanjun Zhang, Frank Vahid |
| 2003 | Evaluation of Middleware Architectures in Achieving System Interoperability. | Paul Young, Nabendu Chaki, Valdis Berzins, Luqi |
| 2003 | A Component-Based Methodology for Embedded System Prototyping. | Patrick Tessier, Sbastien Grard, Chokri Mraidha, Jean-Marc Geib |
| 2003 | An Efficient Methodology and Semi-Automated Flow for Design and Validation of Complex Digital Signal Processing ASICS Macro-Cells. | Ludovic Tambour, Nacer-Eddine Zergainoh, Pascal Urard, Henri Michel, Ahmed Amine Jerraya |