Ausgabe 2/2015
AD-RV (pp. 121-199)
Inhalt (7 Artikel)
AD-RV
On piggyback runtime monitoring of object-oriented programs
Sylvain Hallé, Jason Vallet, Raphaël Tremblay-Lessard
AD-RV
Statistical model checking QoS properties of systems with SBIP
Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoit Delahaye, Cyrille Jegourel, Axel Legay
AD-RV
Schedulability of Herschel revisited using statistical model checking
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis
Regular Paper
APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities
Sébastien Salva, Stassia R. Zafimiharisoa