| 2004 | Application Driven Methodology for Development of Communicating Systems. | Sari Leppnen, Markku Turunen, Ian Oliver |
| 2004 | Evalution/Testing of Compact Device Model Implementation. | Laurent Lemaitre |
| 2004 | A Formal Verification Approach for IP-based Designs. | Daniel Karlsson, Petru Eles, Zebo Peng |
| 2004 | SystemVerilog: Interface Based Design. | Peter Jensen, Wolfgang Ecker, Thomas Kruse, Martin Zambaldi |
| 2004 | Predictability in Real-time System Development (1) Semantics Support from Development Languages . | Jinfeng Huang, Jeroen Voeten, Andre Ventevogel |
| 2004 | Predictability in Real-time System Development (2) A Case Study . | Jinfeng Huang, Jeroen Voeten, Piet van der Putten, Andre Ventevogel |
| 2004 | Requirements and Verifications through an extension of VHDL-AMS. | Yannick Herv, Ahmed Fakhfakh |
| 2004 | Heterogeneous System-Level Specification in SystemC. | Fernando Herrera, Pablo Snchez, Eugenio Villar |
| 2004 | Real-Time Operating System Services for Realistic SystemC Simulation Models of Embedded Systems. | P. Hastono, Stephan Klaus, Sorin A. Huss |
| 2004 | High Level System desing using HiLes Designer. | J.-C. Hammon, Daniel Esteve, Pascal Pampagnin |
| 2004 | Circuit Design by Refinement in EventB1. | Stefan Hallerstede, Yann Zimmermann |
| 2004 | Modeling of the ultrasonic nonlinear propagation with VHDL-AMS. | Rachid Guelaz, Djilali Kourtiche, Yannick Herv, Mustapha Nadi |
| 2004 | Semi-Symbolic Modeling and Analysis of Noise in Heterogeneous Systems . | Christoph Grimm, Wilhelm Heupke, Klaus Waldschmidt |
| 2004 | SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive. | Karen Godary-Dejean, Isabelle Aug-Blum, Anne Mignotte |
| 2004 | A Heterogeneous Co-simulation Environment for Complex Embedded Telecommunication Systems. | Fotios Gioulekas, Michael K. Birbas, Nikolaos S. Voros, George Kouklaras, Alexios N. Birbas |
| 2004 | Enabling SystemC Verification using Abstract State Machines. | Amjad Gawanmeh, Ali Habibi, Sofine Tahar |
| 2004 | Behavioural modelling of a power amplifier in VHDL-AMS. | M. Garon, Jean-Francois Diouris, Serge Toutain, Emmanuel Cottais, Yide Wang |
| 2004 | A Methodology for Embedded System Design supporting Layered Platforms. | Stefan Frster, Andr Windisch, Marco Fischer, Dieter Monjau, Wolfram Hardt |
| 2004 | Designing NOCs with a parallel extension of c. | Martti Forsell |
| 2004 | Error Estimation in Model-Driven Development for Real-Time Software. | Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk Corporaal |
| 2004 | Optical Network On-chip Multi-Domain modeling using SystemC. | Emmanuel Drouard, Matthieu Briere, Fabien Mieyeville, Ian O'Connor, Xavier Letartre |
| 2004 | SoC modelling for virtual prototyping with VHDL-AMS. | Patricia Desgreys, Yannick Herv, Jean Oudinot, S. Snaidero, Mohamed Karray |
| 2004 | An Intermediate Level HDL for System Level Design. | Jean-Pierre David, Etienne Bergeron |
| 2004 | A VHDL-AMS Configuration for Active Pixel Sensors. | Foudil Dadouche, Annick Alexandre, Bertrand Granado, Andra Pinna, Patrick Garda |
| 2004 | Regular Hardware Architecture Modeling with UML2. | Arnaud Cuccuru, Pierre Boulet, Jean-Luc Dekeyser |