RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Grigore Rosu. RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties. In Borzoo Bonakdarpour, Scott A. Smolka, editors, Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings. Volume 8734 of Lecture Notes in Computer Science, pages 285-300, Springer, 2014. [doi]

The following publications are possibly variants of this publication:

RV-Android: Efficient Parametric Android Runtime Verification, a Brief TutorialPhilip Daian, Yliès Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shin'ichi Shiriashi, Akihito Iwai, Grigore Rosu. RV 2015: 342-357 [doi]

Runtime Verification of Parametric Properties Using SMEDLTeng Zhang, Ramneet Kaur, Insup Lee, Oleg Sokolsky. BIRTHDAY 2019: 276-293 [doi]

Efficient parametric runtime verification with deterministic string rewritingPatrick O'Neil Meredith, Grigore Rosu. ASE 2013: 70-80 [doi]

Making runtime monitoring of parametric properties practicalDongyun Jin. PhD thesis, University of Illinois Urbana-Champaign, USA, 2012. [doi]

Runtime Verification with the RV SystemPatrick O Neil Meredith, Grigore Rosu. RV 2010: 136-152 [doi]

JavaMOP: Efficient parametric runtime monitoring frameworkDongyun Jin, Patrick O'Neil Meredith, Choonghwan Lee, Grigore Rosu. ICSE 2012: 1427-1430 [doi]

runs on WebDSL