1. Generating models of infinite-state communication protocols using regular inference with abstraction

   • Fides Aarts
   • Bengt Jonsson
   • Frits Vaandrager

   OriginalPaper 19 November 2014 Pages: 1 - 41

   

2. A game approach to determinize timed automata

   • Nathalie Bertrand
   • Amélie Stainer
   • Moez Krichen

   OriginalPaper 16 December 2014 Pages: 42 - 80

   

3. Vacuity in practice: temporal antecedent failure

   • Shoham Ben-David
   • Fady Copty
   • Sitvanit Ruah

   OriginalPaper 29 January 2015 Pages: 81 - 104