1. Juggrnaut: using graph grammars for abstracting unbounded heap structures

   • Jonathan Heinen
   • Christina Jansen
   • Thomas Noll

   OriginalPaper 04 September 2015 Pages: 159 - 203

   

2. Proving mutual termination

   • Dima Elenbogen
   • Shmuel Katz
   • Ofer Strichman

   OriginalPaper 30 June 2015 Pages: 204 - 229

   

3. CEGAR for compositional analysis of qualitative properties in Markov decision processes

   • Krishnendu Chatterjee
   • Martin Chmelík
   • Przemysław Daca

   OriginalPaper 15 August 2015 Pages: 230 - 264