| 2011 | 2011 Forum on Specification & Design Languages, FDL 2011, Oldenburg, Germany, September 13-15, 2011 |
| 2011 | A UML based framework for efficient validation of TLM 2 models. Vaibhav Jain, Anshul Kumar, Preeti Ranjan Panda |
| 2011 | A case study on message-based discrete event simulation for Transaction Level Modeling. Bastian Haetzer, Martin Radetzki |
| 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 generic execution model for efficient performance evaluation of system architectures at transaction level. Sébastien Le Nours, Anthony Barreteau, Olivier Pasquier |
| 2011 | A machine-readable specification of analog circuits for integration into a validation flow. Mingyu Ma, Lars Hedrich, Christian Sporrer |
| 2011 | A metamodel and semantics for transaction level modeling. Rauf Salimi Khaligh, Martin Radetzki |
| 2011 | Abstract modelling and estimation of a high performance Tobey's PGA. Sumit Adhikari, Christoph Grimm, Jan Haase |
| 2011 | Analyzing dependability measures at the Electronic System Level. Marc Michael, Daniel Große, Rolf Drechsler |
| 2011 | Assertion support in high-level synthesis design flow. Aurélien Ribon, Bertrand Le Gal, Christophe Jégo, Dominique Dallet |
| 2011 | Behavioral modeling of a CMOS video sensor platform using systemc AMS/TLM. Fabio Cenni, Serge Scotti, Emmanuel Simeu |
| 2011 | Bringing C++ productivity to VHDL world: From language definition to a case study. Ivan Shcherbakov, Christian Weis, Norbert Wehn |
| 2011 | Designing low-power wireless sensor networks. Joseph Wenninger, Javier Moreno, Jan Haase, Christoph Grimm |
| 2011 | Does asynchronous technology bring robustness in synchronous circuit monitoring? Alexandre Porcher, Katell Morin-Allory, Laurent Fesquet, Alejandro Chagoya |
| 2011 | ESL power and performance estimation for heterogeneous MPSOCS using SystemC. Martin Streubühr, Rafael Rosales, Ralph Hasholzner, Christian Haubelt, Jürgen Teich |
| 2011 | Efficient implementation and abstraction of systemc data types for fast simulation. Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco |
| 2011 | Efficient realization of control logic in reversible circuits. Sebastian Offermann, Robert Wille, Rolf Drechsler |
| 2011 | Hardware performance estimation by dynamic scheduling. Pablo González de Aledo Marugán, Javier Gonzalez Bayon, Pablo Sánchez Espeso |
| 2011 | IP-XACT and marte based approach for partially reconfigurable systems-on-chip. Gilberto Ochoa, El-Bay Bourennane, Ouassila Labbani, Kamel Messaoudi |
| 2011 | Impact simulation of changes to development processes: An ESL case study. Frank Poppen, Roland Koppe, Kim Grüttner, Axel Hahn |
| 2011 | Improvement of Assertion-Based Verification through the generation of proper test sequences. Laurence Pierre, Laila Damri |
| 2011 | Integrated model-based approach and test framework for embedded systems. Padma Iyenghar, Elke Pulvermüller, Clemens Westerkamp, Juergen Wuebbelmann |
| 2011 | Integrating system descriptions by clocked guarded actions. Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin |
| 2011 | Schizophrenia and causality in the context of refined clocks. Mike Gemunde, Jens Brandt, Klaus Schneider |
| 2011 | Semi-formal refinement of heterogeneous embedded systems by foreign model integration. Seyed-Hosein Attarzadeh-Niaki, Ingo Sander |
| 2011 | Systemc refinement of abstract adaptive processes for implementation into Dynamically Reconfigurable Hardware. Fernando Herrera, Eugenio Villar, Philipp A. Hartmann |
| 2011 | Systemc-AMS model of a dynamic large-scale satellite-based AIS-like network. Mu Zhou, René van Leuken |
| 2011 | VHDL-AMS model of a dual gate graphene FET. Ime J. Umoh, Tom J. Kazmierski |