The following publications are possibly variants of this publication:
- Security-policy monitoring and enforcement with JavaMOPSoha Hussein, Patrick O'Neil Meredith, Grigore Rosu. PLDI 2012: 3 [doi]
- BMQ-Processor: A High-Performance Border-Crossing Event Detection Framework for Large-Scale Monitoring ApplicationsJinwon Lee, Seungwoo Kang, Youngki Lee, Sang-Jeong Lee, Junehwa Song. tkde, 21(2):234-252, 2009. [doi]
- RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous PropertiesQingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Grigore Rosu. RV 2014: 285-300 [doi]
- Making runtime monitoring of parametric properties practicalDongyun Jin. PhD thesis, University of Illinois Urbana-Champaign, USA, 2012. [doi]