1. FAST: acceleration from theory to practice

   • Sébastien Bardin
   • Alain Finkel
   • Laure Petrucci

   Regular Contribution 05 February 2008 Pages: 401 - 424

2. A uniform framework for weighted decision diagrams and its implementation

   • Jörn Ossowski
   • Christel Baier

   Regular Contribution 27 March 2008 Pages: 425 - 441

3. Properties of state spaces and their applications

   • Radek Pelánek

   Regular Contribution 06 June 2008 Pages: 443 - 454

4. FTSyn: a framework for automatic synthesis of fault-tolerance

   • Ali Ebnenasir
   • Sandeep S. Kulkarni
   • Anish Arora

   Regular Contribution 31 July 2008 Pages: 455 - 471