Runtime verification: the application perspective Yliès FalconeLenore D. Zuck Introduction 25 November 2014 Pages: 121 - 123
On piggyback runtime monitoring of object-oriented programs Sylvain HalléJason ValletRaphaël Tremblay-Lessard AD-RV 22 June 2014 Pages: 125 - 142
Statistical model checking QoS properties of systems with SBIP Ayoub NouriSaddek BensalemAxel Legay AD-RV 30 March 2014 Pages: 171 - 185
Schedulability of Herschel revisited using statistical model checking Alexandre DavidKim G. LarsenMarius Mikučionis AD-RV 30 July 2014 Pages: 187 - 199
APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities Sébastien SalvaStassia R. Zafimiharisoa Regular Paper 27 February 2014 Pages: 201 - 221
Model-checking fair dense-time systems with propositions and events Farn Wang Regular Paper 16 April 2014 Pages: 223 - 243