Zhe Chen, Ou Wei, Zhiqiu Huang, Hongwei Xi. Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control. In 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015. pages 63-70, IEEE Computer Society, 2015. [doi]
Abstract is missing.