1. Reliable benchmarking: requirements and solutions

   • Dirk Beyer
   • Stefan Löwe
   • Philipp Wendler

   Regular Paper Open access 03 November 2017 Pages: 1 - 29

   

2. First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

   • Ezio Bartocci
   • Yliès Falcone
   • Yi Zhang

   Regular Paper Open access 07 April 2017 Pages: 31 - 70

   

3. Greedy pebbling for proof space compression

   • Andreas Fellner
   • Bruno Woltzenlogel Paleo

   Regular Paper Open access 27 June 2017 Pages: 71 - 86

   

4. Hybrid automata: from verification to implementation

   • Stanley Bak
   • Omar Ali Beg
   • Christian Schilling

   Regular Paper 12 June 2017 Pages: 87 - 104

   

5. TestREx: a framework for repeatable exploits

   • Stanislav Dashevskyi
   • Daniel Ricardo dos Santos
   • Antonino Sabetta

   Regular Paper 25 September 2017 Pages: 105 - 119