| 2003 | Compositional Proof Rules for Hierarchical Timed Automata. | J. Fogel |
| 2003 | A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics. | Marco Fischer, Andr Windisch, Stefan Frster, Burkhard Balser, Dieter Monjau |
| 2003 | LAERTE++: an Object Oriented High-level TPG for SystemC Designs. | Alessandro Fin, Franco Fummi |
| 2003 | VHDL-AMS Behavioural Modelling of a Switched Current Sigma-Delta Modulator. | Ahmed Fakhfakh, Mourad Loulou, Nesrine Ksentini, Nouri Masmoudi, Jean-Jacques Charlot |
| 2003 | SystemC-AMS Steps towards an Implementation. | Karsten Einwich, Peter Schwarz |
| 2003 | Interoperability between Design and Simulation Tools using Model Transformation Techniques. | Cdric Dumoulin, Jean-Luc Dekeyser, Boris Kokoszko, S. Pulon, G. Cristau |
| 2003 | Towards High-Level Synthesis of Analog and Mixed-Signal Systems from VHDL-AMS Specifications. | Alex Doboli, Hua Tang, Hui Zhang |
| 2003 | Design and Modelling of an I2C Bus Controller. | T. Cuenin, Olivier Romain, Patrick Garda |
| 2003 | Analog Circuit Modeling in SystemC. | Massimo Conti, Marco Caldari, Simone Orcioni, Giorgio Biagetti |
| 2003 | Dynamic Power Management of an AMBA-based Platform in SystemC. | Massimo Conti, Marco Caldari, Simone Orcioni |
| 2003 | SPACE: A Hardware/Software SystemC Modeling Platform Including an RTOS. | Jrme Chevalier, Mathieu Rondonneau, Olivier Benny, Guy Bois, El Mostapha Aboulhamid, Franois R. Boyer |
| 2003 | Description Languages and Tools for the Behavioural Simulation of SD Modulators: a Comparative Survey. | Rafael Castro-Lpez, Jos M. de la Rosa, R. Romay, Roco del Ro, Fernando Medeiro, Francisco V. Fernndez |
| 2003 | Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement . | Dominique Cansell, Dominique Mry, Cyril Proch |
| 2003 | A Graphical Tool for System-Level Modeling and Simulation with SystemC. | Jean Paul Calvez, Rocco Le Moigne, Olivier Pasquier |
| 2003 | Design and Power Analysis in SysteC of an I2C Bus Driver. | Marco Caldari, Massimo Conti, Paolo Crippa, Simone Orcioni, Claudio Turchetti |
| 2003 | Case Study: SystemC-Based Design of an Industrial Exposure Control Unit1. | Axel G. Braun, Thorsten Schubert, Martin Stark, Karsten Haug, Joachim Gerlach, Wolfgang Rosenstiel |
| 2003 | MDA for SoC Design, Intensive Signal Processing Experiment. | Pierre Boulet, Jean-Luc Dekeyser, Cdric Dumoulin, Philippe Marquet |
| 2003 | Modeling CHP descriptions in Labeled Transitions Systems for an efficient formal validation of asynchronous circuit specifications. | Dominique Borrione, Menouer Boubekeur |
| 2003 | C-model integration and software development using system-level simulation at TLM in a SystemC-based desing flow. | Ole Blaurock |
| 2003 | A Unified Approach to Code Generation from Behavioral Diagrams. | Dag Bjrklund, Johan Lilius, Ivan Porres |
| 2003 | sciPROVE: C++ Based Verification Environment for IP and SoC Design1. | U. Badelt, H. Khl, Martin Radetzki |
| 2003 | TCTL-Based Verification of Industrial Processes. | Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah |
| 2003 | Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing. | Mauricio Ayala-Rincn, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein |
| 2003 | Hardware Definition Based on Standard C-language Source Code. | Pter Arat, Bence Csk |