1. Applying SMT-based verification to hardware/software partitioning in embedded systems

   • Alessandro B. Trindade
   • Lucas C. Cordeiro

   OriginalPaper 22 April 2015 Pages: 1 - 19

   

2. Instruction set independent program encoding

   • Ricardo Santos
   • Renan Marks
   • Felipe Araujo

   OriginalPaper 06 August 2015 Pages: 21 - 45

   

3. Deterministic reversible MPSoC debugger based on virtual platform execution traces

   • Marcos Aurélio Pinto Cunha
   • Nicolas Fournel
   • Frédéric Pétrot

   OriginalPaper 19 August 2015 Pages: 47 - 63

   

4. CaPPS: cache partitioning with partial sharing for multi-core embedded systems

   • Wei Zang
   • Ann Gordon-Ross

   OriginalPaper 04 November 2015 Pages: 65 - 92