1. Runtime verification: the application perspective

   • Yliès Falcone
   • Lenore D. Zuck

   Introduction 25 November 2014 Pages: 121 - 123

2. On piggyback runtime monitoring of object-oriented programs

   • Sylvain Hallé
   • Jason Vallet
   • Raphaël Tremblay-Lessard

   AD-RV 22 June 2014 Pages: 125 - 142

   

3. Rule-based runtime verification revisited

   • Klaus Havelund

   AD-RV 13 April 2014 Pages: 143 - 170

   

4. Statistical model checking QoS properties of systems with SBIP

   • Ayoub Nouri
   • Saddek Bensalem
   • Axel Legay

   AD-RV 30 March 2014 Pages: 171 - 185

   

5. Schedulability of Herschel revisited using statistical model checking

   • Alexandre David
   • Kim G. Larsen
   • Marius Mikučionis

   AD-RV 30 July 2014 Pages: 187 - 199

   

6. APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities

   • Sébastien Salva
   • Stassia R. Zafimiharisoa

   Regular Paper 27 February 2014 Pages: 201 - 221

   

7. Model-checking fair dense-time systems with propositions and events

   • Farn Wang

   Regular Paper 16 April 2014 Pages: 223 - 243