| 2003 | A Graphical Tool for System-Level Modeling and Simulation with SystemC. Jean Paul Calvez, Rocco Le Moigne, Olivier Pasquier |
| 2003 | A New Method for Modeling and Analysis of Accuracy and Tolerances in Mixed-Signal Systems. Wilhelm Heupke, Christoph Grimm, Klaus Waldschmidt |
| 2003 | A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics. Marco Fischer, André Windisch, Stefan Förster, Burkhard Balser, Dieter Monjau |
| 2003 | A Seamless Simulink Based System Desing Flow for Automotive Applications. Martin Stark, Jan-Hendrik Oetjens, Wolfgang Rosenstiel |
| 2003 | A Tool-Set for Table Based Direct Behavioral Configuration of C++ Models. Christoph Jaeschke, Bodo Hoppe, Wolfram Sauer |
| 2003 | A UML Approach for Modeling the Components of a Test System for Integrated Circuits. Claudia Spircu, Thomas Gentnet, Heiko Beyer |
| 2003 | A Unified Approach to Code Generation from Behavioral Diagrams. Dag Björklund, Johan Lilius, Ivan Porres |
| 2003 | A VHDL-AMS library of hierarchical optoelectronic device models. Fabien Mieyeville, Matthieu Briere, Ian O'Connor, Frédéric Gaffiot, Gilles Jacquemod |
| 2003 | A behavioural description with VHDL-AMS of a piezo-ceramic ultrasound transducer based on the Redwood's model. Rachid Guelaz, Djilali Kourtiche, Mustapha Nadi |
| 2003 | An Internal Representation Model for System-Level Co-Design of Heterogeneous Multiprocessor Embedded System. Fabio Salice, William Fornaciari, Luigi Pomante, Donatella Sciuto |
| 2003 | Analog Circuit Modeling in SystemC. Massimo Conti, Marco Caldari, Simone Orcioni, Giorgio Biagetti |
| 2003 | C-model integration and software development using system-level simulation at TLM in a SystemC-based desing flow. Ole Blaurock |
| 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 | Combining Formal Refinement and Model Checking for Real-Time Systems Verification. Alexander Krupp, Wolfgang Müller |
| 2003 | Compositional Proof Rules for Hierarchical Timed Automata. J. Fogel |
| 2003 | Deadlock Analysis in Statecharts. Andrei Karatkevich |
| 2003 | Description Languages and Tools for the Behavioural Simulation of SD Modulators: a Comparative Survey. Rafael Castro-López, José M. de la Rosa, R. Romay, Rocío del Río, Fernando Medeiro, Francisco V. Fernández |
| 2003 | Design and Modelling of an I2C Bus Controller. T. Cuenin, Olivier Romain, Patrick Garda |
| 2003 | Design and Power Analysis in SysteC of an I2C Bus Driver. Marco Caldari, Massimo Conti, Paolo Crippa, Simone Orcioni, Claudio Turchetti |
| 2003 | Dynamic Power Management of an AMBA-based Platform in SystemC. Massimo Conti, Marco Caldari, Simone Orcioni |
| 2003 | Efficient Automatic Visualization of SystemC Designs. Daniel Große, Rolf Drechsler, Lothar Linhard, Gerhard Angst |
| 2003 | Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems. George Logothetis, Klaus Schneider, C. Metzler |
| 2003 | Exploring Models of Computation through Static Analysis. Ivan Jeukens, Marius Strum |
| 2003 | FIST - a VHDL-AMS based architectural synthesis strategy for integrated high-frequency analogue filters. Fazrena A. Hamid, Tom J. Kazmierski |
| 2003 | Formal Specification of a 40GBit/s Sonet/SDH ASIC. Werner Haas, T. Bürner, Stefan Gossens, Ulrich Heinkel |
| 2003 | Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings |
| 2003 | From UML statecharts to FPGA - the HiCoS approach. Grzegorz Labiak |
| 2003 | Functional Verification Environment for Object-oriented Hardware Designs. Avi Ziv |
| 2003 | Generating JML Specifications from UML State Diagrams. Engelbert Hubbers, Martijn Oostdijk |
| 2003 | Hardware Definition Based on Standard C-language Source Code. Péter Arató, Bence Csák |
| 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, Frédéric Gaffiot |
| 2003 | Interoperability between Design and Simulation Tools using Model Transformation Techniques. Cédric Dumoulin, Jean-Luc Dekeyser, Boris Kokoszko, S. Pulon, G. Cristau |
| 2003 | Intuitive Representations for Temporal Logic Formulas. Yuhong Zhao |
| 2003 | LAERTE++: an Object Oriented High-level TPG for SystemC Designs. Alessandro Fin, Franco Fummi |
| 2003 | MDA for SoC Design, Intensive Signal Processing Experiment. Pierre Boulet, Jean-Luc Dekeyser, Cédric Dumoulin, Philippe Marquet |
| 2003 | Micromotor Simulation with VHDL-AMS. Jean Oudinot, G. Overton, Aitor Endemaño Isasi, Marc P. Y. Desmulliez, Jean-Yves Fourniols, Sylvaine Muratet |
| 2003 | Modeling CHP descriptions in Labeled Transitions Systems for an efficient formal validation of asynchronous circuit specifications. Dominique Borrione, Menouer Boubekeur |
| 2003 | Modeling of CSP, KPN and SR Systems with SystemC. Fernando Herrera, Pablo Sánchez, Eugenio Villar |
| 2003 | Modelling of transient noise sources with VHDL-AMS and normative spectral interpretation. Guillaume Monnerie, Noëlle Lewis, Dominique Dallet, Hervé Levi, M. Robbe |
| 2003 | Object-Oriented ASIP Design and Synthesis. Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft |
| 2003 | On Hardware Description in ECL. Lluís Ribas, Joaquín Saiz |
| 2003 | Platform-independent Design for Embedded Real-time Systems . Jinfeng Huang, Jeroen Voeten, Andre Ventevogel, Leo J. van Bokhoven |
| 2003 | Process Algebraic Specification, Refinement, and Verification of Embedded Systems. Stefan Förster, Marco Fischer, Dieter Monjau, André Windisch, Burkhard Balser |
| 2003 | Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement . Dominique Cansell, Dominique Méry, Cyril Proch |
| 2003 | Real-time system modeling with ACCORD/UML methodology: Illustration through an automotive case study. Trung Hieu Phan, Sébastien Gérard, François Terrier |
| 2003 | Refinement of Hybrid Systems from Formal Models to Design Languages. Jan Romberg, Christoph Grimm |
| 2003 | Reliability simulation of electronic circuits with VHDL-AMS. François Marc, B. Mongellaz, Yves Danto |
| 2003 | Rules for Analog and Mixed-Signal VHDL-AMS Modeling. Joachim Haase |
| 2003 | SPACE: A Hardware/Software SystemC Modeling Platform Including an RTOS. Jérôme Chevalier, Mathieu Rondonneau, Olivier Benny, Guy Bois, El Mostapha Aboulhamid, François R. Boyer |
| 2003 | Simple Models for Complex Systems : A-FSM Template. Yannick Hervé |
| 2003 | Software-Compiled System Desing: a methodology based approach to the specification & desing of Programmable SoC. Chris Sullivan, Jeff Jussel |
| 2003 | Supporting Consistency Control between Functional and Structural Views in Interface-based Design Models. Leandro Soares Indrusiak, Ricardo Reis, Manfred Glesner |
| 2003 | Synchronization of analogue and digital solvers in mixed-signal simulation on a SystemC platform. Tom J. Kazmierski, Hessa Al-Junaid |
| 2003 | SystemC - a powerful system-level modelling platform for digital and mixed-signal hardware/software co-design. C. Isaia, Tom J. Kazmierski |
| 2003 | SystemC-AMS Steps towards an Implementation. Karsten Einwich, Peter Schwarz |
| 2003 | TCTL-Based Verification of Industrial Processes. Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah |
| 2003 | Towards High-Level Synthesis of Analog and Mixed-Signal Systems from VHDL-AMS Specifications. Alex Doboli, Hua Tang, Hui Zhang |
| 2003 | Towards a Conceptual Framework for UML to Hardware Description Language Mappings. Ian Oliver, Michele Marchetti |
| 2003 | Traversing the Fundamental System-Level Design Gap Using Modeling Patterns. Mark Verhappen, Jeroen Voeten, P. H. A. van der Putten |
| 2003 | UML to XML-Schema Transformation: a Case Study in Managing Alternative Model Transformations in MDA. Ivan Kurtev, Klaas van den Berg, Mehmet Aksit |
| 2003 | UML-Based Co-Design for Run-Time Reconfigurable Architectures. Dominik Fröhlich, Bernd Steinbach, Thomas Beierlein |
| 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 |
| 2003 | Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing. Mauricio Ayala-Rincón, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein |
| 2003 | Using Symbolic Simulation for Bounded Property Checking. Jürgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel |
| 2003 | Using UML-B and U2B for formal refinement of digital components1. Colin F. Snook, Kim Sandström |
| 2003 | VHDL-AMS Behavioural Modelling of a Switched Current Sigma-Delta Modulator. Ahmed Fakhfakh, Mourad Loulou, Nesrine Ksentini, Nouri Masmoudi, Jean-Jacques Charlot |
| 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 | sciPROVE: C++ Based Verification Environment for IP and SoC Design1. U. Badelt, H. Kühl, Martin Radetzki |