1. Synthesis and stochastic assessment of cost-optimal schedules

   • Angelika Mader
   • Henrik Bohnenkamp
   • Holger Hermanns

   Regular Contribution 16 November 2009 Pages: 305 - 318

2. Exploiting resolution proofs to speed up LTL vacuity detection for BMC

   • Jocelyn Simmonds
   • Jessica Davies
   • Marsha Chechik

   Regular Paper 06 January 2010 Pages: 319 - 335

3. Data decision diagrams for Promela systems analysis

   • Vincent Beaudenon
   • Emmanuelle Encrenaz
   • Sami Taktak

   Regular Paper 06 February 2010 Pages: 337 - 352

4. MontiCore: a framework for compositional development of domain specific languages

   • Holger Krahn
   • Bernhard Rumpe
   • Steven Völkel

   Regular Paper 09 March 2010 Pages: 353 - 372

5. Data-abstraction refinement: a game semantic approach

   • Adam Bakewell
   • Aleksandar Dimovski
   • Ranko Lazić

   Regular Paper 14 March 2010 Pages: 373 - 389

6. Oris: a tool for modeling, verification and evaluation of real-time systems

   • Giacomo Bucci
   • Laura Carnevali
   • Enrico Vicario

   Regular Paper 09 May 2010 Pages: 391 - 403