| 2008 | A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis |
| 2008 | A Latency, Preemption and Data Transfer Accurate Adaptive Transaction Level Model for Efficient Simulation of Pipelined Buses. Rauf Salimi Khaligh, Martin Radetzki |
| 2008 | A Model Driven Development Approach for Implementing Reactive Systems in Hardware. Zhonglei Wang, Andreas Herkersdorf, Stefano Merenda, Michael Tautschnig |
| 2008 | A Platform for Requirement Based Formal Specification. Uwe Proß, Erik Markert, Jan Langer, Andreas Richter, Chris Drechsler, Ulrich Heinkel |
| 2008 | A Requirements-Driven Simulation Framework for Communication Infrastructures Design. Alessandro Meroni, Vincenzo Rana, Marco D. Santambrogio, Francesco Bruschi |
| 2008 | A Sigma-delta Bandpass ADC Modelling in Superconducting RSFQ Technology with VHDL-AMS. Rachid Guelaz, Patricia Desgreys, Patrick Loumeau |
| 2008 | A SystemC Language Extension for High-Level Reconfiguration Modelling. Andreas Raabe, Armin Felke |
| 2008 | A SystemC-based Framework for Modeling and Simulation of Networked Embedded Systems. Franco Fummi, Davide Quaglia, Francesco Stefanni |
| 2008 | Application - Platform Performance Modeling and Evaluation. Jari Kreku, Mika Hoppari, Tuomo Kestilä, Yang Qu, Juha-Pekka Soininen, Kari Tiensyrjä |
| 2008 | Automotive System Design with Specification and Verification of Uncertainties. Christoph Grimm, Manfred Dietrich |
| 2008 | Comparison of ASCET and UML - Preparations for an Abstract Software Architecture. Dirk Ahrens, Andreas Pfeiffer, Torsten Bertram |
| 2008 | Comprehensive Platform and Component Modeling of Heterogeneous Interconnected Systems (invited). Jochen Zimmermann, Oliver Bringmann, Joachim Gerlach, Florian Schaefer, Ulrich Nageldinger |
| 2008 | Connecting SystemC-AMS Models with OSCI TLM 2.0 Models using Temporal Decoupling. Markus Damm, Christoph Grimm, Jan Haase, Andreas Herrholz, Wolfgang Nebel |
| 2008 | Contradiction Analysis for Constraint-based Random Simulation. Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler |
| 2008 | Designing Highly Parameterized Hardware using xHdl. Miguel Angel Sánchez, Pedro Echeverría, Francisco Mansilla, Marisa López-Vallejo |
| 2008 | Efficient Modelling and Simulation of Embedded Software Multi-Tasking using SystemC and OSSS. Philipp A. Hartmann, Henning Kleen, Philipp Reinkemeier, Wolfgang Nebel |
| 2008 | Enabling Automated Code Transformation and Variable Tracing. Christian Kerstan, Nico Bannow, Wolfgang Rosenstiel |
| 2008 | Event-Triggered vs. Time-Triggered Communications with UML MARTE. Frédéric Mallet, Robert de Simone, Laurent Rioux |
| 2008 | Extending SystemC Clocks to Model SoC. Thierry Grellier |
| 2008 | Formal Specification of Delta MINs for MPSOC in the ACL2 Logic. Maissa Elleuch, Yassine Aydi, Mohamed Abid |
| 2008 | Formal Transformation of a KPN Specification to a GALS Implementation. Syed Suhaib, Bijoy Antony Jose, Sandeep K. Shukla, Deepak Mathaikutty |
| 2008 | Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings |
| 2008 | Generating MARTE Allocation Models from Activity Threads. Andreas W. Liehr, Heike S. Rolfs, Klaus Buchenrieder, Ulrich Nageldinger |
| 2008 | Integrated Requirement Evaluation of Non-Functional System-on-Chip Properties. Alexander Viehl, Björn Sander, Oliver Bringmann, Wolfgang Rosenstiel |
| 2008 | MARTE-based Design of a Multimedia Application and Formal Analysis. Adolf Samir Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser |
| 2008 | Methodologies for High-Level Modelling and Evaluation in the Automotive Domain (invited). Stefan Hoelldampf, Daniel Zaum, Markus Olbrich, Erich Barke, Ingmar Neumann, Sebastian Schmidt |
| 2008 | Model Driven Hardware Design: One Step Forward to Cope with the Aerospace Industry Needs. Pascal Pampagnin, Pierre Moreau, Rémy Maurice, David Guihal |
| 2008 | Model-based Design Space Exploration for RTES with SysML and MARTE. Marcello Mura, Luis Gabriel Murillo, Mauro Prevostini |
| 2008 | Modeling of Custom-Designed Arithmetic Components for ABL Normalization. Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev |
| 2008 | Modelling Program-State Machines in SystemC. Kim Grüttner, Wolfgang Nebel |
| 2008 | RTL Generation of Channel Architecture Templates for a Template-based SoC Design Flow. Jinhyun Cho, Soonwoo Choi, Soo-Ik Chae |
| 2008 | Refining Power Consumption Estimations in the Component-based AADL Design Flow. Eric Senn, Johann Laurent, Emmanuel Juin, Jean-Philippe Diguet |
| 2008 | Scenario-based Validation of Embedded Systems. Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni |
| 2008 | SpecScribe Analog - A Specification Tool Extension for Heterogeneous Systems. Erik Markert, Uwe Proß, Ulrich Heinkel |
| 2008 | Specification of Adaptive HW/SW Systems in SystemC. Fernando Herrera, Eugenio Villar, Philipp A. Hartmann |
| 2008 | Statistical Modeling with SystemC-AMS for Automotive Systems. Thomas Markwirth, Joachim Haase, Karsten Einwich |
| 2008 | Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models. Jens Gladigau, Christian Haubelt, Jürgen Teich |
| 2008 | Synthesizing Software Defined Radio Components from Rosetta (invited). Garrin Kimmell, Ed Komp, Gary J. Minden, Joseph B. Evans, Perry Alexander |
| 2008 | System Behaviour Capture: from UML to SystemC. Joaquín Pérez, Juan F. Sevillano, Santiago Urcelayeta, Igone Vélez |
| 2008 | SystemC-AMS Modeling of an Electromechanical Harvester of Vibration Energy. Ken Caluwaerts, Dimitri Galayko |
| 2008 | TLM-Based Verification of a Combined Switching Networks-on-Chip Router. Mohamed M. Sabry, M. Watheq El-Kharashi, Hassan Shehata Bedor, Ashraf Salem |
| 2008 | Telecommunication Application Modelling with Multi Writer Multi Reader Channels: a Case Study. Etienne Faure, Daniela Genius |
| 2008 | The AutoSUN Verification Environment. Christoph Grimm, Klaus Gravogl, Florian Schupfer, Ingmar Neumann |
| 2008 | The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane |
| 2008 | Towards Compilation of Streaming Programs into FPGA Hardware. Franjo Plavec, Zvonko G. Vranesic, Stephen Brown |
| 2008 | Towards a Common HW/SW Interface-Centric and Component-Oriented Specification and Design Methodology. Grégory Gailliard, Hugues Balp, Christophe Jouvray, François Verdier |
| 2008 | UML 2.0 Interactions with OCL/RT Constraints. Daniel Calegari, María Victoria Cengarle, Nora Szasz |
| 2008 | UML Profile for Modeling Product Observation. Mathias Funk, Piet van der Putten, Henk Corporaal |
| 2008 | Using C# Attributes to Describe Hardware Artefacts within Kiwi. David J. Greaves, Satnam Singh |
| 2008 | Using SystemC for an Extended MATLAB/Simulink Verification Flow. Kai Hylla, Jan-Hendrik Oetjens, Wolfgang Nebel |
| 2008 | VEST - An Intelligent Tool for Timing SoCs Verification Using UML Timing Diagrams. Andrzej Pulka, Adam Milik |
| 2008 | VHDL-AMS Implementation of a Numerical Ballistic CNT Model for Logic Circuit Simulation. Dafeng Zhou, Tom J. Kazmierski, Bashir M. Al-Hashimi |