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

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]

This author has not been identified. Look up 'Qingzhou Luo' in GoogleThis author has not been identified. Look up 'Yi Zhang' in GoogleThis author has not been identified. Look up 'Choonghwan Lee' in GoogleThis author has not been identified. Look up 'Dongyun Jin' in GoogleThis author has not been identified. Look up 'Patrick O'Neil Meredith' in GoogleThis author has not been identified. Look up 'Traian-Florin Serbanuta' in GoogleIdentified as Grigore Rosu

runs on WebDSL