| 2005 | VHDL & VHDL-AMS Modelling and Simulation of a CMOS Imager IP. | David Navarro, D. Ramat, Fabien Mieyeville, Ian O'Connor, Frdric Gaffiot, Laurent Carrel |
| 2005 | Combination of Assertion and HSAT Methods For Automated Test Vectors Generation. | Mostafa Naderi, Zainalabedin Navabi |
| 2005 | Interface-Centric Abstraction Level for Rapid HW/SW Integration. | Andr C. Ncul, Marcello Lajolo, T. Givarjis |
| 2005 | Jitter Tolerance Analysis of Clock and Data Recovery Circuits. | Paul Muller, Yusuf Leblebici |
| 2005 | Meta Modelling of Embedded Systems using Active Databases. | Dieter Monjau, Mathias Sporer |
| 2005 | SOAP Based Distributed Simulation Environment for SoC Design. | Samy Meftali, Anouar Dziri, Luc Charest, Philippe Marquet, J. Deskeyser |
| 2005 | Modelling Environment for Heterogeneous Systems based on MoCs. | Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch |
| 2005 | System model of an inertial navigation system using SystemC-AMS. | Erik Markert, Gran Herrmann, Dietmar Mller |
| 2005 | VHDL-AMS Modelling and System Verification Flow. | Corrado Marino, Luca Fanucci, Francesco Iozzi, Massimiliano Forliti, Alessandro Rocchi, A. Giambastiani, Marco De Marinis |
| 2005 | Creating Virtual Prototypes of Complex Micro-Electro-Mechanical Transducers using Reduced-Order Modelling Methods and VHDL-AMS. | Torsten Mhne |
| 2005 | Refinement of Perfectly Synchronous Communication Model. | Zhonghai Lu, Ingo Sander, Axel Jantsch |
| 2005 | AMS Extensions for Timed/Untimed System-Level Design Language. | Yu Liu, Satoshi Komatsu, Masahiro Fujita |
| 2005 | IpPROCESS: a Development Process for Soft IP-Cord. | Marlia Lima, Francielle Santos, Joo Bione, Tiago Lins, Edna Barros |
| 2005 | Using feature models to automate model transformations. | Johan Lilius, Dragos Truscan |
| 2005 | SystemCmantic: A high level Modelling and Co-Design Framework. | Lobna Kriaa, S. Adriano, Emmanuel Vaumorin, R. Nouacer, F. Blanc, S. Pajaniardja, Philippe Coussy, Eric Martin, Dominique Heller, Farhat Thabet, Anne-Marie Fouilliart |
| 2005 | OCP TLM for Architectural Modelling. | Tim Kogel, Anssi Haverinen |
| 2005 | Automatic Generation of a Verification Platform. | Suad Katjazovic, Christian Steger, Andreas Schuhai, Markus Pistauer |
| 2005 | Modelling Technologies for Disruptive Communication System Design. | Ralf Kakerow |
| 2005 | Implementation of a SystemC based Environment. | Richard Hoffer, Frank Baszynski |
| 2005 | Semi-Symbollic Simulation of Nonlinear Systems. | Wilhelm Heupke, Christoph Grimm, Klaus Waldschmidt |
| 2005 | Development of VHDL-AMS Libraries for Automative Applications. | Ewald Hessel, Klaus Panreck, Joachim Haase, Andr Schneider, Steffen Scholz |
| 2005 | Mixing Synchronous Reactive and Untimed Models of Computation. | Fernando Herrera, Eugenio Villar |
| 2005 | Integrating Model-Checking with UML-based SoC Development. | Peter Green, Kinika Tasie-Amadi |
| 2005 | Top-down hierarchical design flow application. | G. Gassara, Ahmed Fakhfakh, M. Abdellaoui, Nouri Masmoudi, Yannick Herv |
| 2005 | Synthesis for Unified Control- and Data-Oriented Models. | Oana Florescu, Jeroen Voeten, Henk Corporaal |