Biblio
Filters: Author is Sriram Sankaranarayanan [Clear All Filters]
.
2015. Requirements driven falsification with coverage metrics. 12th International Conference on Embedded Software (EMSOFT).
.
2017. Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.
On-line at: \url{http://www-verimag.imag.fr/ maler/Papers/monitor-RV-chapter.pdf}