| 2008 | Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models. | Jens Gladigau, Christian Haubelt, Jrgen Teich |
| 2008 | Scenario-based Validation of Embedded Systems. | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni |
| 2008 | Towards a Common HW/SW Interface-Centric and Component-Oriented Specification and Design Methodology. | Grgory Gailliard, Hugues Balp, Christophe Jouvray, Franois Verdier |
| 2008 | UML Profile for Modeling Product Observation. | Mathias Funk, Piet van der Putten, Henk Corporaal |
| 2008 | A SystemC-based Framework for Modeling and Simulation of Networked Embedded Systems. | Franco Fummi, Davide Quaglia, Francesco Stefanni |
| 2008 | Telecommunication Application Modelling with Multi Writer Multi Reader Channels: a Case Study. | Etienne Faure, Daniela Genius |
| 2008 | Formal Specification of Delta MINs for MPSOC in the ACL2 Logic. | Maissa Elleuch, Yassine Aydi, Mohamed Abid |
| 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 | RTL Generation of Channel Architecture Templates for a Template-based SoC Design Flow. | Jinhyun Cho, Soonwoo Choi, Soo-Ik Chae |
| 2008 | Model-Driven System Validation by Scenarios. | Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2008 | Heterogeneous and Non-linear Modeling in SystemC-AMS. | Ken Caluwaerts, Dimitri Galayko |
| 2008 | SystemC-AMS Modeling of an Electromechanical Harvester of Vibration Energy. | Ken Caluwaerts, Dimitri Galayko |
| 2008 | UML 2.0 Interactions with OCL/RT Constraints. | Daniel Calegari, Mara Victoria Cengarle, Nora Szasz |
| 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 | Comparison of ASCET and UML - Preparations for an Abstract Software Architecture. | Dirk Ahrens, Andreas Pfeiffer, Torsten Bertram |
| 2008 | The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. | Sa'ed Abed, Otmane At Mohamed, Ghiath Al Sammane |
| 2008 | MARTE-based Design of a Multimedia Application and Formal Analysis. | Adolf Samir Abdallah, Abdoulaye Gamati, Jean-Luc Dekeyser |
| 2007 | Model Transformations from a Data Parallel Formalism towards Synchronous Languages. | Huafeng Yu, Abdoulaye Gamati, ric Rutten, Jean-Luc Dekeyser |
| 2007 | Mixed-Level Modeling Using Configurable MOS Transistor Models. | Juergen Weber, Andreas C. Lemke, Andreas Lehmler, Mario Anton, Sorin A. Huss |
| 2007 | An Extension to VHDL-AMS for AMS Systems with Partial Differential Equations. | Leran Wang, Chenxu Zhao, Tom J. Kazmierski |
| 2007 | Verification of the Properties of Asynchronous Real-Time Distributed Systems using the B-Formalism. | Ayman M. Wahba, Islam A. M. El-Maddah |
| 2007 | Efficient Transient Simulation of Lossy Coupled Interconnects in Digital Communication Applications. | Thomas Uhle, Karsten Einwich, Joachim Haase |
| 2007 | Software Real-time Resource Modeling. | Frdric Thomas, Sbastien Grard, Jrme Delatour, Franois Terrier |
| 2007 | MARTE: UML-based Hardware Design from Modelling to Simulation. | Safouan Taha, Ansgar Radermacher, Sbastien Grard, Jean-Luc Dekeyser |
| 2007 | Time Modeling in MARTE. | Robert de Simone, Charles Andr |