{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T05:23:20Z","timestamp":1769750600980,"version":"3.49.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319111636","type":"print"},{"value":"9783319111643","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11164-3_24","type":"book-chapter","created":{"date-parts":[[2014,9,12]],"date-time":"2014-09-12T07:49:11Z","timestamp":1410508151000},"page":"285-300","source":"Crossref","is-referenced-by-count":53,"title":["RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties"],"prefix":"10.1007","author":[{"given":"Qingzhou","family":"Luo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Choonghwan","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongyun","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick O\u2019Neil","family":"Meredith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Traian Florin","family":"\u015eerb\u0103nu\u0163\u0103","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigore","family":"Ro\u015fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","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)","DOI":"10.1145\/1094811.1094839"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Ammons, G., Bod\u00edk, R., Larus, J.R.: Mining specifications. In: POPL (2002)","DOI":"10.1145\/503272.503275"},{"key":"24_CR3","unstructured":"Annotated Java API Specifications, \n                    \n                      https:\/\/code.google.com\/p\/annotated-java-api\/"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Barringer, H., Rydeheard, D., Havelund, K.: Rule systems for run-time monitoring: from EAGLE to RULER. J. Logic Computation (November 2008)","DOI":"10.1093\/logcom\/exn076"},{"key":"24_CR5","doi-asserted-by":"crossref","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: OOPSLA (2006)","DOI":"10.1145\/1167473.1167488"},{"key":"24_CR6","unstructured":"Bodden, E.: J-LO, a tool for runtime-checking temporal assertions. Master\u2019s thesis, RWTH Aachen University (2005)"},{"key":"24_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-540-73370-6_20","volume-title":"Model Checking Software","author":"S. Chaudhuri","year":"2007","unstructured":"Chaudhuri, S., Alur, R.: Instrumenting C programs with nested word monitors. In: Bo\u0161na\u010dki, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol.\u00a04595, pp. 279\u2013283. Springer, Heidelberg (2007)"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Chen, F., Meredith, P., Jin, D., Rosu, G.: Efficient formalism-independent monitoring of parametric properties. In: ASE (2009)","DOI":"10.1109\/ASE.2009.50"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"d\u2019Amorim, M., Havelund, K.: Event-based runtime verification of Java programs. SIGSOFT Softw. Eng. Notes (2005)","DOI":"10.1145\/1083246.1083249"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/10722468_19","volume-title":"SPIN Model Checking and Software Verification","author":"D. Drusinsky","year":"2000","unstructured":"Drusinsky, D.: The Temporal Rover and the ATG Rover. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 323\u2013330. Springer, Heidelberg (2000)"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Ernst, M.D., Czeisler, A., Griswold, W.G., Notkin, D.: Quickly detecting relevant program invariants. In: ICSE (2000)","DOI":"10.1145\/337180.337240"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Gabel, M., Su, Z.: Symbolic mining of temporal specifications. In: ICSE (2008)","DOI":"10.1145\/1368088.1368096"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Goldsmith, S., O\u2019Callahan, R., Aiken, A.: Relational queries over program traces. In: OOPSLA (2005)","DOI":"10.1145\/1094811.1094841"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Havelund, K., Ro\u015fu, G.: Monitoring Java programs with Java PathExplorer. In: RV (2001)","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Jin, D., Meredith, P.O., Griffith, D., Ro\u015fu, G.: Garbage collection for monitoring parametric properties. In: PLDI (2011)","DOI":"10.1145\/1993498.1993547"},{"key":"24_CR16","unstructured":"Jin, D., Meredith, P.O., Ro\u015fu, G.: Scalable parametric runtime monitoring. Technical Report, Department of Computer Science, University of Illinois at Urbana-Champaign (2012), \n                    \n                      http:\/\/hdl.handle.net\/2142\/30757"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Lee, C., Chen, F., Ro\u015fu, G.: Mining parametric specifications. In: ICSE (2011)","DOI":"10.1145\/1985793.1985874"},{"key":"24_CR18","unstructured":"Lee, C., Jin, D., Meredith, P.O., Ro\u015fu, G.: Towards categorizing and formalizing the JDK API. Technical Report, Department of Computer Science, University of Illinois at Urbana-Champaign (2012), \n                    \n                      http:\/\/hdl.handle.net\/2142\/30006"},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Martin, M., Livshits, V.B., Lam, M.S.: Finding application errors and security flaws using PQL: a program query language. In: OOPSLA. ACM (2005)","DOI":"10.1145\/1094811.1094840"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Meredith, P.O., Jin, D., Griffith, D., Chen, F., Ro\u015fu, G.: An overview of the MOP runtime verification framework. STTT (2011)","DOI":"10.1007\/s10009-011-0198-6"},{"key":"24_CR21","unstructured":"MOPBox, \n                    \n                      https:\/\/code.google.com\/p\/mopbox\/"},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"Purandare, R., Dwyer, M.B., Elbaum, S.G.: Optimizing monitoring of finite state properties through monitor compaction. In: ISSTA (2013)","DOI":"10.1145\/2483760.2483762"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11164-3_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T21:22:34Z","timestamp":1558992154000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11164-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319111636","9783319111643"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11164-3_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}