1. User-oriented problem abstractions in scheduling

   • Federico Pecora
   • Riccardo Rasconi
   • Amedeo Cesta

   OriginalPaper 24 February 2006 Pages: 1 - 16

2. From Statecharts to Verilog: a formal approach to hardware/software co-specification

   • Shengchao Qin
   • Wei-Ngan Chin
   • Zongyan Qiu

   OriginalPaper 17 February 2006 Pages: 17 - 38

3. Modeling security as a dependability attribute: a refinement-based approach

   • Ali Mili
   • Frederick Sheldon
   • Rahma Ben Ayed

   OriginalPaper 24 February 2006 Pages: 39 - 48

4. State-rich model checking

   • Leo Freitas
   • Jim Woodcock
   • Ana Cavalcanti

   State of the Art 25 February 2006 Pages: 49 - 64