1. Automatic low-cost IP watermarking technique based on output mark insertions

   • Bertrand Le Gal
   • Lilian Bossuet

   OriginalPaper 29 May 2012 Pages: 71 - 92

   

2. Exploiting UML based validation for compliance checking of TLM 2 based models

   • Vaibhav Jain
   • Anshul Kumar
   • Preeti Panda

   OriginalPaper 13 July 2012 Pages: 93 - 113

   

3. HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels

   • Nicola Bombieri
   • Franco Fummi
   • Sara Vinco

   OriginalPaper 18 July 2012 Pages: 115 - 135

   

4. Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte

   • Calin Glitia
   • Julien DeAntoni
   • Abdoulaye Gamatié

   OriginalPaper 20 July 2012 Pages: 137 - 169