| 2003 | A VHDL-AMS library of hierarchical optoelectronic device models. | Fabien Mieyeville, Matthieu Briere, Ian O'Connor, Frdric Gaffiot, Gilles Jacquemod |
| 2003 | Reliability simulation of electronic circuits with VHDL-AMS. | Franois Marc, B. Mongellaz, Yves Danto |
| 2003 | Exact Low-Level Runtime Analysis of Synchronous Programs for Formal Verification of Real-Time Systems. | George Logothetis, Klaus Schneider, C. Metzler |
| 2003 | From UML statecharts to FPGA - the HiCoS approach. | Grzegorz Labiak |
| 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 | Combining Formal Refinement and Model Checking for Real-Time Systems Verification. | Alexander Krupp, Wolfgang Mller |
| 2003 | Synchronization of analogue and digital solvers in mixed-signal simulation on a SystemC platform. | Tom J. Kazmierski, Hessa Al-Junaid |
| 2003 | Deadlock Analysis in Statecharts. | Andrei Karatkevich |
| 2003 | Exploring Models of Computation through Static Analysis. | Ivan Jeukens, Marius Strum |
| 2003 | A Tool-Set for Table Based Direct Behavioral Configuration of C++ Models. | Christoph Jaeschke, Bodo Hoppe, Wolfram Sauer |
| 2003 | SystemC - a powerful system-level modelling platform for digital and mixed-signal hardware/software co-design. | C. Isaia, Tom J. Kazmierski |
| 2003 | Supporting Consistency Control between Functional and Structural Views in Interface-based Design Models. | Leandro Soares Indrusiak, Ricardo Reis, Manfred Glesner |
| 2003 | Generating JML Specifications from UML State Diagrams. | Engelbert Hubbers, Martijn Oostdijk |
| 2003 | Platform-independent Design for Embedded Real-time Systems . | Jinfeng Huang, Jeroen Voeten, Andre Ventevogel, Leo J. van Bokhoven |
| 2003 | A New Method for Modeling and Analysis of Accuracy and Tolerances in Mixed-Signal Systems. | Wilhelm Heupke, Christoph Grimm, Klaus Waldschmidt |
| 2003 | Simple Models for Complex Systems : A-FSM Template. | Yannick Herv |
| 2003 | Modeling of CSP, KPN and SR Systems with SystemC. | Fernando Herrera, Pablo Snchez, Eugenio Villar |
| 2003 | FIST - a VHDL-AMS based architectural synthesis strategy for integrated high-frequency analogue filters. | Fazrena A. Hamid, Tom J. Kazmierski |
| 2003 | Rules for Analog and Mixed-Signal VHDL-AMS Modeling. | Joachim Haase |
| 2003 | Formal Specification of a 40GBit/s Sonet/SDH ASIC. | Werner Haas, T. Brner, Stefan Gossens, Ulrich Heinkel |
| 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 | Efficient Automatic Visualization of SystemC Designs. | Daniel Groe, Rolf Drechsler, Lothar Linhard, Gerhard Angst |
| 2003 | Object-Oriented ASIP Design and Synthesis. | Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft |
| 2003 | UML-Based Co-Design for Run-Time Reconfigurable Architectures. | Dominik Frhlich, Bernd Steinbach, Thomas Beierlein |
| 2003 | Process Algebraic Specification, Refinement, and Verification of Embedded Systems. | Stefan Frster, Marco Fischer, Dieter Monjau, Andr Windisch, Burkhard Balser |