Teng Zhang, Gregory Eakman, Insup Lee, Oleg Sokolsky. Flexible Monitor Deployment for Runtime Verification of Large Scale Software. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Volume 11247 of Lecture Notes in Computer Science, pages 42-50, Springer, 2018. [doi]
@inproceedings{ZhangELS18,
title = {Flexible Monitor Deployment for Runtime Verification of Large Scale Software},
author = {Teng Zhang and Gregory Eakman and Insup Lee and Oleg Sokolsky},
year = {2018},
doi = {10.1007/978-3-030-03427-6_6},
url = {https://doi.org/10.1007/978-3-030-03427-6_6},
researchr = {https://researchr.org/publication/ZhangELS18},
cites = {0},
citedby = {0},
pages = {42-50},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV},
editor = {Tiziana Margaria and Bernhard Steffen},
volume = {11247},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-03427-6},
}