{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T06:15:03Z","timestamp":1762928103151},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642166112"},{"type":"electronic","value":"9783642166129"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16612-9_12","type":"book-chapter","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T06:45:14Z","timestamp":1289976314000},"page":"136-152","source":"Crossref","is-referenced-by-count":15,"title":["Runtime Verification with the RV System"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Meredith","sequence":"first","affiliation":[]},{"given":"Grigore","family":"Ro\u015fu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","first-page":"345","volume-title":"OOPSLA 2005","author":"C. Allan","year":"2005","unstructured":"Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L.J., Kuzins, S., Lhot\u00e1k, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: OOPSLA 2005, pp. 345\u2013364. ACM, New York (2005)"},{"key":"12_CR2","first-page":"589","volume-title":"OOPSLA 2007","author":"P. Avgustinov","year":"2007","unstructured":"Avgustinov, P., Tibble, J., de Moor, O.: Making trace monitors feasible. In: OOPSLA 2007, pp. 589\u2013608. ACM, New York (2007)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-24622-0_5","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"H. Barringer","year":"2004","unstructured":"Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-Based Runtime Verification. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 44\u201357. Springer, Heidelberg (2004)"},{"key":"12_CR4","first-page":"169","volume-title":"Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2006)","author":"S.M. Blackburn","year":"2006","unstructured":"Blackburn, S.M., Garner, R., Hoffman, C., Khan, A.M., McKinley, K.S., Bentzur, R., Diwan, A., Feinberg, D., Frampton, D., Guyer, S.Z., Hirzel, M., Hosking, A., Jump, M., Lee, H., Moss, J.E.B., Phansalkar, A., Stefanovi\u0107, D., VanDrunen, T., von Dincklage, D., Wiedermann, B.: The DaCapo benchmarks: Java benchmarking development and analysis. In: Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2006), pp. 169\u2013190. ACM, New York (2006)"},{"key":"12_CR5","volume-title":"Automated Software Engineering (ASE 2009)","author":"F. Chen","year":"2009","unstructured":"Chen, F., Meredith, P., Jin, D., Ro\u015fu, G.: Efficient formalism-independent monitoring of parametric properties. In: Automated Software Engineering (ASE 2009). IEEE, Los Alamitos (2009) (to appear)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-540-30482-1_31","volume-title":"Formal Methods and Software Engineering","author":"F. Chen","year":"2004","unstructured":"Chen, F., D\u2019Amorim, M., Ro\u015fu, G.: A formal monitoring-based framework for software development and analysis. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol.\u00a03308, pp. 357\u2013372. Springer, Heidelberg (2004)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Chen, F., D\u2019Amorim, M., Ro\u015fu, G.: Checking and correcting behaviors of Java programs at runtime with JavaMOP. In: Runtime Verification (RV 2006). ENTCS, vol.\u00a0144, pp. 3\u201320 (2006)","DOI":"10.1016\/j.entcs.2006.02.002"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Chen, F., Ro\u015fu, G.: Towards monitoring-oriented programming: A paradigm combining specification and implementation. In: Runtime Verification (RV 2003). ENTCS, vol.\u00a089 (2003)","DOI":"10.1016\/S1571-0661(04)81045-4"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/978-3-540-31980-1_36","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005)","author":"F. Chen","year":"2005","unstructured":"Chen, F., Ro\u015fu, G.: Java-MOP: A monitoring oriented programming environment for Java. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 546\u2013550. Springer, Heidelberg (2005)"},{"key":"12_CR10","first-page":"569","volume-title":"OOPSLA 2007","author":"F. Chen","year":"2007","unstructured":"Chen, F., Ro\u015fu, G.: MOP: An efficient and generic runtime verification framework. In: OOPSLA 2007, pp. 569\u2013588. ACM, New York (2007)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-73368-3_27","volume-title":"Computer Aided Verification (CAV 2007)","author":"F. Chen","year":"2007","unstructured":"Chen, F., Ro\u015fu, G.: Parametric and Sliced Causality. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 240\u2013253. Springer, Heidelberg (2007)"},{"key":"12_CR12","series-title":"LNCS","first-page":"246","volume-title":"TACAS 2009","author":"F. Chen","year":"2009","unstructured":"Chen, F., Ro\u015fu, G.: Parametric trace slicing and monitoring. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol.\u00a05505, pp. 246\u2013261. Springer, Heidelberg (2009)"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/11823230_25","volume-title":"Static Analysis","author":"F. Chen","year":"2006","unstructured":"Chen, F., Ro\u015fu, G.: Parametric and termination-sensitive control dependence - extended abstract. In: Yi, K. (ed.) SAS 2006. LNCS, vol.\u00a04134, pp. 387\u2013404. Springer, Heidelberg (2006)"},{"key":"12_CR14","first-page":"221","volume-title":"International Conference on Software Engineering (ICSE 2008)","author":"F. Chen","year":"2008","unstructured":"Chen, F., \u015eerb\u0103nu\u0163\u0103, T.F., Ro\u015fu, G.: jPredictor: a predictive runtime analysis tool for Java. In: International Conference on Software Engineering (ICSE 2008), pp. 221\u2013230. ACM, New York (2008)"},{"key":"12_CR15","unstructured":"Drusinsky, D.: Temporal Rover (1997\u20132009), http:\/\/www.time-rover.com"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Atomizer: a dynamic atomicity checker for multithreaded programs. In: Principles of Programming Languages, POPL 2004 (2004)","DOI":"10.1145\/964001.964023"},{"key":"12_CR17","first-page":"385","volume-title":"OOPSLA 2005","author":"S. Goldsmith","year":"2005","unstructured":"Goldsmith, S., O\u2019Callahan, R., Aiken, A.: Relational queries over program traces. In: OOPSLA 2005, pp. 385\u2013402. ACM, New York (2005)"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Havelund, K., Ro\u015fu, G.: Monitoring Java programs with Java PathExplorer. In: Runtime Verification (RV 2001). ENTCS, vol.\u00a055 (2001)","DOI":"10.1016\/S1571-0661(04)00253-1"},{"issue":"7","key":"12_CR19","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Comm. of ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Comm. of ACM"},{"key":"12_CR20","first-page":"365","volume-title":"OOPSLA 2007","author":"M. Martin","year":"2005","unstructured":"Martin, M., Livshits, V.B., Lam, M.S.: Finding application errors and security flaws using PQL: a program query language. In: OOPSLA 2007, pp. 365\u2013383. ACM, New York (2005)"},{"key":"12_CR21","first-page":"148","volume-title":"Automated Software Engineering (ASE 2008)","author":"P. Meredith","year":"2008","unstructured":"Meredith, P., Jin, D., Chen, F., Ro\u015fu, G.: Efficient monitoring of parametric context-free patterns. In: Automated Software Engineering (ASE 2008), pp. 148\u2013157. IEEE, Los Alamitos (2008)"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"O\u2019Callahan, R., Choi, J.D.: Hybrid dynamic data race detection. In: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2003 (2003)","DOI":"10.1145\/781498.781528"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"von Praun, C., Gross, T.R.: Object race detection. In: Object Oriented Programming, Systems, Languages, and Applications, OOPSLA 2001 (2001)","DOI":"10.1145\/504282.504288"},{"issue":"4","key":"12_CR24","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: a dynamic data race detector for multithreaded programs. ACM Transaction of Computer System\u00a015(4), 391\u2013411 (1997)","journal-title":"ACM Transaction of Computer System"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-540-27860-3_17","volume-title":"Principles of Distributed Systems","author":"A. Sen","year":"2004","unstructured":"Sen, A., Garg, V.K.: Detecting temporal logic predicates in distributed programs using computation slicing. In: Papatriantafilou, M., Hunel, P. (eds.) OPODIS 2003. LNCS, vol.\u00a03144, pp. 171\u2013183. Springer, Heidelberg (2004)"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Sen, K., Ro\u015fu, G., Agha, G.: Runtime safety analysis of multithreaded programs. In: ACM SIGSOFT Symposium on Foundations of Software Engineering, FSE 2003 (2003)","DOI":"10.1145\/940071.940116"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Wang, L., Stoller, S.D.: Accurate and efficient runtime detection of atomicity errors in concurrent programs. In: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2006 (2006)","DOI":"10.1145\/1122971.1122993"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16612-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T05:57:27Z","timestamp":1559800647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16612-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642166112","9783642166129"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16612-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}