| 2011 | Improvement of Assertion-Based Verification through the generation of proper test sequences. | Laurence Pierre, Laila Damri |
| 2011 | Efficient realization of control logic in reversible circuits. | Sebastian Offermann, Robert Wille, Rolf Drechsler |
| 2011 | IP-XACT and marte based approach for partially reconfigurable systems-on-chip. | Gilberto Ochoa, El-Bay Bourennane, Ouassila Labbani, Kamel Messaoudi |
| 2011 | Semi-formal refinement of heterogeneous embedded systems by foreign model integration. | Seyed-Hosein Attarzadeh-Niaki, Ingo Sander |
| 2011 | Analyzing dependability measures at the Electronic System Level. | Marc Michael, Daniel Groe, Rolf Drechsler |
| 2011 | Hardware performance estimation by dynamic scheduling. | Pablo Gonzlez de Aledo Marugn, Javier Gonzalez Bayon, Pablo Snchez Espeso |
| 2011 | A machine-readable specification of analog circuits for integration into a validation flow. | Mingyu Ma, Lars Hedrich, Christian Sporrer |
| 2011 | A generic execution model for efficient performance evaluation of system architectures at transaction level. | Sbastien Le Nours, Anthony Barreteau, Olivier Pasquier |
| 2011 | A metamodel and semantics for transaction level modeling. | Rauf Salimi Khaligh, Martin Radetzki |
| 2011 | A UML based framework for efficient validation of TLM 2 models. | Vaibhav Jain, Anshul Kumar, Preeti Ranjan Panda |
| 2011 | Integrated model-based approach and test framework for embedded systems. | Padma Iyenghar, Elke Pulvermller, Clemens Westerkamp, Juergen Wuebbelmann |
| 2011 | Systemc refinement of abstract adaptive processes for implementation into Dynamically Reconfigurable Hardware. | Fernando Herrera, Eugenio Villar, Philipp A. Hartmann |
| 2011 | A framework for the generation from UML/MARTE models of IPXACT HW platform descriptions for multi-level performance estimation. | Fernando Herrera, Eugenio Villar |
| 2011 | A case study on message-based discrete event simulation for Transaction Level Modeling. | Bastian Haetzer, Martin Radetzki |
| 2011 | Schizophrenia and causality in the context of refined clocks. | Mike Gemunde, Jens Brandt, Klaus Schneider |
| 2011 | Behavioral modeling of a CMOS video sensor platform using systemc AMS/TLM. | Fabio Cenni, Serge Scotti, Emmanuel Simeu |
| 2011 | Integrating system descriptions by clocked guarded actions. | Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin |
| 2011 | Efficient implementation and abstraction of systemc data types for fast simulation. | Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco |
| 2011 | Abstract modelling and estimation of a high performance Tobey's PGA. | Sumit Adhikari, Christoph Grimm, Jan Haase |
| 2010 | HetMoC: Heterogeneous Modelling in SystemC. | Jun Zhu, Ingo Sander, Axel Jantsch |
| 2010 | Genetic-Based High-Level Synthesis of Sigma-Delta Modulator in SystemC-A. | Chenxu Zhao, Tom J. Kazmierski |
| 2010 | SystemC-A Modelling of Mixed-Technology Systems with Distributed Behaviour. | Chenxu Zhao, Tom J. Kazmierski |
| 2010 | An Accelerated Mixed-Signal Simulation Kernel for SystemC. | Daniel Zaum, Stefan Hoelldampf, Markus Olbrich, Erich Barke, Ingmar Neumann |
| 2010 | Feature-Oriented Refactoring Proposal for Transaction Level Models in SoCLib. | Jun Ye, QingPing Tan, Tun Li, Bin Wu, Yuanru Meng |
| 2010 | SyReC: A Programming Language for Synthesis of Reversible Circuits. | Robert Wille, Sebastian Offermann, Rolf Drechsler |