| 2004 | VHDL-AMS code gneration from UML structural representations. | Caitriona T. Carr, T. Martin McGinnity, L. J. McDaid |
| 2004 | Derivation of SystemC code from abstract system models. | Dominique Cansell, J.-F. Culat, Dominique Mry, Cyril Proch |
| 2004 | Metamodels and MDA Transformations for Embedded Systems. | Lossan Bonde, Cdric Dumoulin, Jean-Luc Dekeyser |
| 2004 | Temporal validation of Real Time multitasking applications based on communicating timed automata. | Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz |
| 2004 | Performance Analysis and Automated C++ Modularization Using Module-Adapters for SystemC. | Nico Bannow, Karsten Haug, Wolfgang Rosenstiel |
| 2004 | On Actors and Objects - OOP in System Level Design. | Joachim K. Anlauf, Philipp A. Hartmann |
| 2004 | Transaction Level Modeling in Java. | Sherif G. Aly, Ashraf M. Salem |
| 2003 | Functional Verification Environment for Object-oriented Hardware Designs. | Avi Ziv |
| 2003 | Intuitive Representations for Temporal Logic Formulas. | Yuhong Zhao |
| 2003 | Traversing the Fundamental System-Level Design Gap Using Modeling Patterns. | Mark Verhappen, Jeroen Voeten, P. H. A. van der Putten |
| 2003 | Hierarchical synthesis of high-speed CMOS photoreceiver front-ends using a multi-domain behavioural description language. | Faress Tissafi-Drissi, Ian O'Connor, Fabien Mieyeville, Frdric Gaffiot |
| 2003 | Software-Compiled System Desing: a methodology based approach to the specification & desing of Programmable SoC. | Chris Sullivan, Jeff Jussel |
| 2003 | A Seamless Simulink Based System Desing Flow for Automotive Applications. | Martin Stark, Jan-Hendrik Oetjens, Wolfgang Rosenstiel |
| 2003 | A UML Approach for Modeling the Components of a Test System for Integrated Circuits. | Claudia Spircu, Thomas Gentnet, Heiko Beyer |
| 2003 | Using UML-B and U2B for formal refinement of digital components1. | Colin F. Snook, Kim Sandstrm |
| 2003 | An Internal Representation Model for System-Level Co-Design of Heterogeneous Multiprocessor Embedded System. | Fabio Salice, William Fornaciari, Luigi Pomante, Donatella Sciuto |
| 2003 | Using Symbolic Simulation for Bounded Property Checking. | Jrgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel |
| 2003 | Refinement of Hybrid Systems from Formal Models to Design Languages. | Jan Romberg, Christoph Grimm |
| 2003 | On Hardware Description in ECL. | Llus Ribas, Joaqun Saiz |
| 2003 | Real-time system modeling with ACCORD/UML methodology: Illustration through an automotive case study. | Trung Hieu Phan, Sbastien Grard, Franois Terrier |
| 2003 | Micromotor Simulation with VHDL-AMS. | Jean Oudinot, G. Overton, Aitor Endemao Isasi, Marc P. Y. Desmulliez, Jean-Yves Fourniols, Sylvaine Muratet |
| 2003 | Towards a Conceptual Framework for UML to Hardware Description Language Mappings. | Ian Oliver, Michele Marchetti |
| 2003 | VerilogAMS language used in the Top-Down Methodology for wireless integrated circuit designs. | A. F. Noullet, F. Healey, O. Tico, R. Santonja, J.-C. Mboli, T. Nouguier |
| 2003 | Modelling of transient noise sources with VHDL-AMS and normative spectral interpretation. | Guillaume Monnerie, Nolle Lewis, Dominique Dallet, Herv Levi, M. Robbe |
| 2003 | UML-based Specifications of an Embedded System oriented to HW/SW partitioning: a case study. | Antonio Minosi, Srinivas Mankan, Aris Martinola, Francesco Balzarini, Atanas N. Kostadinov, Mauro Prevostini |