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]
Abstract is missing.