{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:42:17Z","timestamp":1775054537174,"version":"3.50.1"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319238197","type":"print"},{"value":"9783319238203","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-23820-3_27","type":"book-chapter","created":{"date-parts":[[2015,9,19]],"date-time":"2015-09-19T10:21:39Z","timestamp":1442658099000},"page":"405-422","source":"Crossref","is-referenced-by-count":20,"title":["Second International Competition on Runtime Verification"],"prefix":"10.1007","author":[{"given":"Yli\u00e8s","family":"Falcone","sequence":"first","affiliation":[]},{"given":"Dejan","family":"Ni\u010dkovi\u0107","sequence":"additional","affiliation":[]},{"given":"Giles","family":"Reger","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Thoma","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,15]]},"reference":[{"key":"27_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-32759-9_9","volume-title":"FM 2012: Formal Methods","author":"H Barringer","year":"2012","unstructured":"Barringer, H., Falcone, Y., Havelund, K., Reger, G., Rydeheard, D.: Quantified event automata: towards expressive and efficient runtime monitors. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 68\u201384. Springer, Heidelberg (2012)"},{"key":"27_CR2","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Runtime Verification","author":"E Bartocci","year":"2014","unstructured":"Bartocci, E., Bonakdarpour, B., Falcone, Y.: First international competition on software for runtime verification. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 1\u20139. Springer, Heidelberg (2014)"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-642-30561-0_4","volume-title":"Objects, Models, Components, Patterns","author":"J DeAntoni","year":"2012","unstructured":"DeAntoni, J., Mallet, F.: Timesquare: treat your models with logical time. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304, pp. 34\u201341. Springer, Heidelberg (2012). \n                      https:\/\/hal.inria.fr\/hal-00688590"},{"key":"27_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/978-3-642-54862-8_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"N Decker","year":"2014","unstructured":"Decker, N., Leucker, M., Thoma, D.: Monitoring modulo theories. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol. 8413, pp. 341\u2013356. Springer, Heidelberg (2014)"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Delahaye, M., Kosmatov, N., Signoles, J.: Common specification language for static and dynamic analysis of c programs. In: Proceedings of SAC 2013: the 28th Annual ACM Symposium on Applied Computing, pp. 1230\u20131235. ACM (2013)","DOI":"10.1145\/2480362.2480593"},{"issue":"7","key":"27_CR6","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1109\/LCOMM.2011.060111.102514","volume":"15","author":"A D\u00edaz","year":"2011","unstructured":"D\u00edaz, A., Merino, P., Salmeron, A.: Obtaining models for realistic mobile network simulations using real traces. IEEE Commun. Lett. 15(7), 782\u2013784 (2011)","journal-title":"IEEE Commun. Lett."},{"key":"27_CR7","unstructured":"Dou, W., Bianculli, D., Briand, L.: A model-driven approach to offline trace checking of temporal properties with ocl. Technical report. SnT-TR-2014-5, Interdisciplinary Centre for Security, Reliability and Trust (2014). \n                      http:\/\/hdl.handle.net\/10993\/16112"},{"key":"27_CR8","unstructured":"Falcone, Y., Havelund, K., Reger, G.: A tutorial on runtime verification. In: Broy, M., Peled, D., Kalus, G., (eds.) Summer School Marktoberdorf 2012 - Engineering Dependable Software Systems, vol. 34, pp. 141\u2013175. IOS Press (2013)"},{"issue":"1","key":"27_CR9","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C Forgy","year":"1982","unstructured":"Forgy, C.: Rete: a fast algorithm for the many patterns\/many objects match problem. Artif. Intell. 19(1), 17\u201337 (1982)","journal-title":"Artif. Intell."},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10009-014-0309-2","volume":"17","author":"K Havelund","year":"2014","unstructured":"Havelund, K.: Rule-based runtime verification revisited. Int. J. Softw. Tools Technol Transfer (STTT) 17, 143\u2013170 (2014)","journal-title":"Int. J. Softw. Tools Technol Transfer (STTT)"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Jin, D., Meredith, P.O., Lee, C., Ro\u015fu, G.: JavaMOP: efficient parametric runtime monitoring framework. In: Proceedings of ICSE 2012: The 34th International Conference on Software Engineering, Zurich, Switzerland, June 2\u20139, pp. 1427\u20131430. IEEE Press (2012)","DOI":"10.1109\/ICSE.2012.6227231"},{"key":"27_CR12","unstructured":"Juniwal, G., Donz\u00e9, A., Jensen, J.C., Seshia, S.A.: Cpsgrader: synthesizing temporal logic testers for auto-grading an embedded systems laboratory. In: Mitra, T., Reineke, J. (eds.) 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12\u201317, 2014, pp. 24:1\u201324:10. ACM (2014)"},{"key":"27_CR13","unstructured":"Kane, A., Fuhrman, T.E., Koopman, P.: Monitor based oracles for cyber-physical system testing: practical experience report. In: 44th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN 2014, Atlanta, GA, USA, June 23\u201326, 2014, pp. 148\u2013155. IEEE (2014)"},{"issue":"5","key":"27_CR14","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2008","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Logic Algebraic Program. 78(5), 293\u2013303 (2008). \n                      http:\/\/dx.doi.org\/10.1016\/j.jlap.2008.08.004","journal-title":"J. Logic Algebraic Program."},{"key":"27_CR15","unstructured":"Luo, Q., Zhang, Y., Lee, C., Jin, D., Meredith, P.O., Serbanuta, T., Rosu, G.: Rv-monitor: efficient parametric runtime verification with simultaneous properties. In: Proceedings of Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22\u201325, 2014, pp. 285\u2013300 (2014)"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Navabpour, S., Joshi, Y., Wu, C.W.W., Berkovich, S., Medhat, R., Bonakdarpour, B., Fischmeister, S.: RiTHM: a tool for enabling time-triggered runtime verification for c programs. In: ACM Symposium on the Foundations of Software Engineering (FSE), pp. 603\u2013606 (2013)","DOI":"10.1145\/2491411.2494596"},{"issue":"2\u20133","key":"27_CR17","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1002\/cpe.775","volume":"16","author":"DJ Quinlan","year":"2004","unstructured":"Quinlan, D.J., Schordan, M., Miller, B., Kowarschik, M.: Parallel object-oriented framework optimization. Concurr. Comput.: Pract. Exp. 16(2\u20133), 293\u2013302 (2004)","journal-title":"Concurr. Comput.: Pract. Exp."},{"key":"27_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"596","DOI":"10.1007\/978-3-662-46681-0_55","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G Reger","year":"2015","unstructured":"Reger, G., Cruz, H.C., Rydeheard, D.: MarQ: monitoring at runtime with QEA. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 596\u2013610. Springer, Heidelberg (2015). \n                      http:\/\/dx.doi.org\/10.1007\/978-3-662-46681-0"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23820-3_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T20:45:45Z","timestamp":1559249145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23820-3_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319238197","9783319238203"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23820-3_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}