1. Decision problems for lower/upper bound parametric timed automata

   • Laura Bozzelli
   • Salvatore La Torre

   OriginalPaper 09 June 2009 Pages: 121 - 151

2. Full simulation coverage for SystemC transaction-level models of systems-on-a-chip

   • C. Helmstetter
   • F. Maraninchi
   • L. Maillet-Contoz

   OriginalPaper 09 June 2009 Pages: 152 - 189

3. Automating the addition of fault tolerance with discrete controller synthesis

   • Alain Girault
   • Éric Rutten

   OriginalPaper 09 October 2009 Pages: 190 - 225