Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan
In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, pp. 128--168, 2018
Show Citations [+]
Show Abstract [+]
154)
Book Chapter
An Introduction to Runtime Verification
Ezio Bartocci, Ylies Falcone, Adrian Francalanza, Giles Reger
In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, pp. 1--32, 2018
