| 2008 | Analysis of Non-functional Properties of MPSoC Designs. | Alexander Viehl, Bjrn Sander, Oliver Bringmann, Wolfgang Rosenstiel |
| 2008 | Integrated Requirement Evaluation of Non-Functional System-on-Chip Properties. | Alexander Viehl, Bjrn Sander, Oliver Bringmann, Wolfgang Rosenstiel |
| 2008 | Formal Transformation of a KPN Specification to a GALS Implementation. | Syed Suhaib, Bijoy Antony Jose, Sandeep K. Shukla, Deepak Mathaikutty |
| 2008 | SystemC Simulation of Networked Embedded Systems. | Francesco Stefanni, Davide Quaglia, Franco Fummi |
| 2008 | Refining Power Consumption Estimations in the Component-based AADL Design Flow. | Eric Senn, Johann Laurent, Emmanuel Juin, Jean-Philippe Diguet |
| 2008 | Power and Energy Estimations in Model-Based Design. | Eric Senn, Saadia Dhouib, Dominique Blouin, Johann Laurent, Skander Turki, Jean-Philippe Diguet |
| 2008 | Designing Highly Parameterized Hardware using xHdl. | Miguel Angel Snchez, Pedro Echeverra, Francisco Mansilla, Marisa Lpez-Vallejo |
| 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 | High-Level Reconfiguration Modeling in SystemC. | Andreas Raabe, Armin Felke |
| 2008 | A SystemC Language Extension for High-Level Reconfiguration Modelling. | Andreas Raabe, Armin Felke |
| 2008 | VEST - An Intelligent Tool for Timing SoCs Verification Using UML Timing Diagrams. | Andrzej Pulka, Adam Milik |
| 2008 | A Platform for Requirement Based Formal Specification. | Uwe Pro, Erik Markert, Jan Langer, Andreas Richter, Chris Drechsler, Ulrich Heinkel |
| 2008 | Stream Programming for FPGAs. | Franjo Plavec, Zvonko G. Vranesic, Stephen Brown |
| 2008 | Towards Compilation of Streaming Programs into FPGA Hardware. | Franjo Plavec, Zvonko G. Vranesic, Stephen Brown |
| 2008 | System Behaviour Capture: from UML to SystemC. | Joaqun Prez, Juan F. Sevillano, Santiago Urcelayeta, Igone Vlez |
| 2008 | A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level. | Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev |
| 2008 | Modeling of Custom-Designed Arithmetic Components for ABL Normalization. | Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev |
| 2008 | Model Driven Hardware Design: One Step Forward to Cope with the Aerospace Industry Needs. | Pascal Pampagnin, Pierre Moreau, Rmy Maurice, David Guihal |
| 2008 | Model-based Design Space Exploration for RTES with SysML and MARTE. | Marcello Mura, Luis Gabriel Murillo, Mauro Prevostini |
| 2008 | Design of Communication Infrastructures for Reconfigurable Systems. | Alessandro Meroni, Vincenzo Rana, Marco D. Santambrogio, Francesco Bruschi |
| 2008 | A Requirements-Driven Simulation Framework for Communication Infrastructures Design. | Alessandro Meroni, Vincenzo Rana, Marco D. Santambrogio, Francesco Bruschi |
| 2008 | Statistical Modeling with SystemC-AMS for Automotive Systems. | Thomas Markwirth, Joachim Haase, Karsten Einwich |
| 2008 | SpecScribe Analog - A Specification Tool Extension for Heterogeneous Systems. | Erik Markert, Uwe Pro, Ulrich Heinkel |
| 2008 | Event-Triggered vs. Time-Triggered Communications with UML MARTE. | Frdric Mallet, Robert de Simone, Laurent Rioux |
| 2008 | MARTE vs. AADL for Discrete-Event and Discrete-Time Domains. | Frdric Mallet, Robert de Simone |