| 2004 | A Formal Verification Approach for IP-based Designs. Daniel Karlsson, Petru Eles, Zebo Peng |
| 2004 | A Functional Programming Framework of Heterogeneous Model of Computation for System Design. Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla |
| 2004 | A Generic Simulation Framework for Multiprocessor Architectures. Mario Polaschegg, Christian Steger, Damian Dalton, Abhay Vadher |
| 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 | A Methodology for Embedded System Design supporting Layered Platforms. Stefan Förster, André Windisch, Marco Fischer, Dieter Monjau, Wolfram Hardt |
| 2004 | A Model-driven Approach to Configuration of TTA-based Protocol Processing Platforms. Dragos Truscan |
| 2004 | A VHDL-AMS Configuration for Active Pixel Sensors. Foudil Dadouche, Annick Alexandre, Bertrand Granado, Andréa Pinna, Patrick Garda |
| 2004 | A hardware/software codesign framework for developing complex embedded systems using formal model refinement. Nikolaos S. Voros, Colin F. Snook, Stefan Hallerstede, Thierry Lecomte |
| 2004 | A language to desing generators of analog functions (poster). Marie-Minerve Louërat, Tuong P. Nguyen, Vincent Bourguet, Laurent de Lamarre, Alain Greiner |
| 2004 | A novel approach to mixed-domain behavioral modeling of ferromagnetic hysteresis in VHDL-AMS. Peter R. Wilson, Tom J. Kazmierski |
| 2004 | An Abstract Communication Bus Model for Performance Estimation in SoCs with SystemC (short paper). Rocco Le Moigne, Olivier Pasquier, Jean Paul Calvez |
| 2004 | An Intermediate Level HDL for System Level Design. Jean-Pierre David, Etienne Bergeron |
| 2004 | An automatic communication synthesis for high level SOC desing using transaction level modelling (poster). E. Turbatu, Samy Meftali, Smaïl Niar, Jean-Luc Dekeyser |
| 2004 | Application Driven Methodology for Development of Communicating Systems. Sari Leppänen, Markku Turunen, Ian Oliver |
| 2004 | Behavioural modelling of a power amplifier in VHDL-AMS. M. Garon, Jean-Francois Diouris, Serge Toutain, Emmanuel Cottais, Yide Wang |
| 2004 | Circuit Design by Refinement in EventB1. Stefan Hallerstede, Yann Zimmermann |
| 2004 | Derivation of SystemC code from abstract system models. Dominique Cansell, J.-F. Culat, Dominique Méry, Cyril Proch |
| 2004 | Designing NOCs with a parallel extension of c. Martti Forsell |
| 2004 | Designing for dynamic partially reconfigurable FPGAs with SystemC and OSSS. Andreas Schallenberg, Frank Oppenheimer, Wolfgang Nebel |
| 2004 | Early Prediction of Conducted-Mode Emission of complex IC's. Anne-Marie Trullemans-Anckaert, Richard Perdriau, Mohammed Ramdani, Jean-Luc Levant |
| 2004 | Enabling SystemC Verification using Abstract State Machines. Amjad Gawanmeh, Ali Habibi, Sofiène Tahar |
| 2004 | Error Estimation in Model-Driven Development for Real-Time Software. Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk Corporaal |
| 2004 | Evalution/Testing of Compact Device Model Implementation. Laurent Lemaitre |
| 2004 | Experimenting Object-Oriented System-Level Design in the ATM domain. Luigi Pomante |
| 2004 | Extending the RASSP model for Verification. Martin Zambaldi, Wolfgang Ecker |
| 2004 | Fast Bit-Accurate C++ Datatypes For Functional System Verification and Synthesis. Andrés Takach, Simon Waters, Peter Gutberlet |
| 2004 | Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings |
| 2004 | GBLD: A Formal Model for Layout Description and Generation. I-Lun Tseng, Adam Postula |
| 2004 | HEAVEN: A Framework for the Refinement of Heterogeneous Systems. Rüdiger Schroll, Christoph Grimm, Klaus Waldschmidt |
| 2004 | Heterogeneous System-Level Specification in SystemC. Fernando Herrera, Pablo Sánchez, Eugenio Villar |
| 2004 | High Level Self-adjusted Models and VHDL-AMS; Application for a freguency synthesizer modelling. S. Loued, Ahmed Fakhfakh, Mourad Loulou, Nouri Masmoudi, Yannick Hervé |
| 2004 | High Level System desing using HiLes Designer. J.-C. Hammon, Daniel Esteve, Pascal Pampagnin |
| 2004 | Improving IP core reuse through the application of the meta-language xHDL. Marcos M. A. Sanchez, Fernandez Herrero, Marisa López-Vallejo |
| 2004 | MDA Based, SystemC Code Generation, Applied to Intensive Signal Processing Applications. M. Samyn, Samy Meftali, Jean-Luc Dekeyser |
| 2004 | Mapping UML Descriptions to the Raven Input Language. Ian Oliver |
| 2004 | Metamodels and MDA Transformations for Embedded Systems. Lossan Bonde, Cédric Dumoulin, Jean-Luc Dekeyser |
| 2004 | Mixed Nets, Conversion Models, and VHDL-AMS. J. Shields, Ernst Christen |
| 2004 | Model Based Testing and Refinement in MDA Based Developent. Ian Oliver |
| 2004 | Modeling of the ultrasonic nonlinear propagation with VHDL-AMS. Rachid Guelaz, Djilali Kourtiche, Yannick Hervé, Mustapha Nadi |
| 2004 | Monte Carlo Simulation Using VHDL-AMS. E.-P. Wagner, Joachim Haase |
| 2004 | On Actors and Objects - OOP in System Level Design. Joachim K. Anlauf, Philipp A. Hartmann |
| 2004 | Optical Network On-chip Multi-Domain modeling using SystemC. Emmanuel Drouard, Matthieu Briere, Fabien Mieyeville, Ian O'Connor, Xavier Letartre |
| 2004 | Performance Analysis and Automated C++ Modularization Using Module-Adapters for SystemC. Nico Bannow, Karsten Haug, Wolfgang Rosenstiel |
| 2004 | Practical Case Example of Inertial MEMS Modeling with VHDL-AMS. Elena Martín, Laura Barrachina, Carles Ferrer |
| 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 | Real-Time Operating System Services for Realistic SystemC Simulation Models of Embedded Systems. P. Hastono, Stephan Klaus, Sorin A. Huss |
| 2004 | Regular Hardware Architecture Modeling with UML2. Arnaud Cuccuru, Pierre Boulet, Jean-Luc Dekeyser |
| 2004 | Requirements and Verifications through an extension of VHDL-AMS. Yannick Hervé, Ahmed Fakhfakh |
| 2004 | Reuse of SML module system for the B language. Dorian Petit, Vincent Poirriez, Georges Mariano |
| 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 | Semi-Symbolic Modeling and Analysis of Noise in Heterogeneous Systems . Christoph Grimm, Wilhelm Heupke, Klaus Waldschmidt |
| 2004 | SoC modelling for virtual prototyping with VHDL-AMS. Patricia Desgreys, Yannick Hervé, Jean Oudinot, S. Snaidero, Mohamed Karray |
| 2004 | SystemC Based Design Space Exploration for Power Aware Smart Cards. Ulrich Neffe, Christian Steger, Reinhold Weiss, Andreas Mühlberger, Edgar Rieger, Klaus Rothbart |
| 2004 | SystemC Simulation of Continuous-Time $Sigma-Delta$ Analog-Digital Converters in the Presence of Non-linearities. Hui Zhang, Alex Doboli |
| 2004 | SystemC and OCAPI-xl Based System-Level Design for Reconfigurable Systems-on-Chip. Kari Tiensyrjä, Miroslav Cupák, Kostas Masselos, Marko Pettissalo |
| 2004 | SystemVerilog: Interface Based Design. Peter Jensen, Wolfgang Ecker, Thomas Kruse, Martin Zambaldi |
| 2004 | Temporal validation of Real Time multitasking applications based on communicating timed automata. Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz |
| 2004 | The Formal Simulation Semantics of SystemVerilog. Martin Zambaldi, Wolfgang Ecker, Thomas Kruse, Wolfgang Müller |
| 2004 | Timing Performances of Automatically Generated Code Using MDA Approaches. Mathieu Maranzana, Jean-Francois Ponsignon, Jean-Louis Sourrouille, F. Bernier |
| 2004 | Transaction Level Modeling in Java. Sherif G. Aly, Ashraf M. Salem |
| 2004 | UML Specifications Towards a Codesign Environment. Mauro Prevostini, M. Lajolo, A. S. Basu |
| 2004 | UML System-Level Analysis and Design of Secure Communication Schemes for Embedded Systems. Mauro Prevostini, Giuseppe Piscopo, I. Stefanini |
| 2004 | UML-Executable Functional Models of electronic systems in the VIPERS Virtual Prototyping Methodology. Paul F. Lister, Vincenzo Trignano, Milke C. Bassett |
| 2004 | VHDL-AMS code gneration from UML structural representations. Caitriona T. Carr, T. Martin McGinnity, L. J. McDaid |