| 2006 | A Framework for the Design of Heterogenous Systems. | Rdiger Schroll, Wilhelm Heupke, Klaus Waldschmidt, Christoph Grimm |
| 2006 | On Consistency and Completeness of Property-Sets. | Martin Schickel, Volker Nimbler, Martin Braun, Hans Eveking |
| 2006 | Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL Assertions. | Sitvanit Ruah |
| 2006 | Non-Intrusive High-level SystemC Debugging. | Frank Rogin, Erhard Fehlauer, Steffen Rlke, Sebastian Ohnewald, Thomas Berndt |
| 2006 | A Model-driven Co-design Flow for Embedded Systems. | Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti |
| 2006 | SystemC TLM Transaction Modelling and Dispatch for Active Object. | Martin Radetzki |
| 2006 | Bridging the Gap Between SysML and Design Space Exploration. | Mauro Prevostini, Sivakumar Ganesan |
| 2006 | Compact Modeling of Emerging Technologies with VHDL-AMS. | Fabien Prgaldiny, Christophe Lallement, B. Diagne, Jean-Michel Sallese, Franois Krummenacher |
| 2006 | Using Sequential Equations to Improve Efficiency and Robustness. | Daniel Platte, Shangjing Jing, Ralf Sommer, Erich Barke |
| 2006 | A Case Study on Automated Generation of Integration Tests. | Giuseppe Della Penna, Alberto Tofani, Marcello Pecorari, Orazio Raparelli, Benedetto Intrigila, Igor Melatti, Enrico Tronci |
| 2006 | Formalizing TLM with Communicating State Machines. | Bernhard Niemann, Christian Haubelt |
| 2006 | UML - The Emerging Hardware Description Language? | Wolfgang Mueller |
| 2006 | A Bitwidth-aware HDL Extension. | Manfred Mcke, Guido Hafeli |
| 2006 | On-line Monitoring of Properties Built on Regular Expressions. | Katell Morin-Allory, Dominique Borrione |
| 2006 | UML User Interface to a Proof-based Hardware Design Flow. | D. Moisuc, S. Revol, Colin F. Snook |
| 2006 | A Verification Tool Implementation using Introspection Mechanism. | Michel Metzger, Frdric Bastien, Frdric Rousseau, Julie Vachon, El Mostapha Aboulhamid |
| 2006 | Towards a UML Profile for Real-Time Modelling. | Julio Medlina, Patricia Lpez Martnez, Jos Mara Drake |
| 2006 | MCF: A Metamodeling-based Visual Component Composition Framework. | Deepak Mathaikutty, Sandeep K. Shukla |
| 2006 | Mining Metadata for Composability of IPs from SystemC IP Library. | Deepak Mathaikutty, Sandeep K. Shukla |
| 2006 | Generic Behavioral Modeling of Analog and Mixed-Signal Systems. | Ewout Martens, Georges G. E. Gielen |
| 2006 | UML-based Automatic Code Generation for Hybrid CPU-FPGA. | Thomas Mahr, Patrick Schillinger, Andreas Frchthauer, Daniel Kirchner |
| 2006 | ModelLib: A Web-Based Platform for Collecting Behavioural Models. | Torsten Mhne, Alain Vachoux |
| 2006 | VHDL-AMS Model of Ferroelectric Liquid Crystals. | Morgan Madec, Wilfried Uhring, Yannick Herv |
| 2006 | Transaction Level Modeling in Communication Engine Design. | Vesa Lahtinen, Jouni Siirtola, Tommi Mkelinen |
| 2006 | UML2 Profile for Modeling Controlled Data Parallel Applications. | Ouassila Labbani, ric Rutten, Jean-Luc Dekeyser, Pierre Boulet |