Abstract is missing.
- Introduction to Runtime VerificationEzio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger. 1-33 [doi]
- Discovering Concurrency ErrorsJoão M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar. 34-60 [doi]
- Monitoring Events that Carry DataKlaus Havelund, Giles Reger, Daniel Thoma, Eugen Zalinescu. 61-102 [doi]
- Runtime Failure Prevention and ReactionYliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha. 103-134 [doi]
- Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and ApplicationsEzio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios E. Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan. 135-175 [doi]
- Runtime Verification for Decentralised and Distributed SystemsAdrian Francalanza, Jorge A. Pérez, César Sánchez. 176-210 [doi]
- Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing ChallengesChristian Colombo, Gordon J. Pace. 211-232 [doi]