Automatic low-cost IP watermarking technique based on output mark insertions Bertrand Le GalLilian Bossuet OriginalPaper 29 May 2012 Pages: 71 - 92
Exploiting UML based validation for compliance checking of TLM 2 based models Vaibhav JainAnshul KumarPreeti Panda OriginalPaper 13 July 2012 Pages: 93 - 113
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels Nicola BombieriFranco FummiSara Vinco OriginalPaper 18 July 2012 Pages: 115 - 135
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte Calin GlitiaJulien DeAntoniAbdoulaye GamatiƩ OriginalPaper 20 July 2012 Pages: 137 - 169