{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T06:55:23Z","timestamp":1782802523303,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540208037","type":"print"},{"value":"9783540246220","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24622-0_5","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T11:33:53Z","timestamp":1283686433000},"page":"44-57","source":"Crossref","is-referenced-by-count":231,"title":["Rule-Based Runtime Verification"],"prefix":"10.1007","author":[{"given":"Howard","family":"Barringer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Allen","family":"Goldberg","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Klaus","family":"Havelund","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Koushik","family":"Sen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"1st, 2nd and 3rd CAV Workshops on Runtime Verification (RV 2001 - RV 2003). ENTCS, vol. 55(2), 70(4), 89(2). Elsevier Science (2001, 2002, 2003)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-36498-6_5","volume-title":"Abstract State Machines 2003. Advances in Theory and Practice","author":"C. Artho","year":"2003","unstructured":"Artho, C., Drusinsky, D., Goldberg, A., Havelund, K., Lowry, M., Pasareanu, C., Ro\u015fu, G., Visser, W.: Experiments with Test Case Generation and Runtime Analysis. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol.\u00a02589, pp. 87\u2013107. Springer, Heidelberg (2003)"},{"issue":"5","key":"5_CR3","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/BF01211631","volume":"7","author":"H. Barringer","year":"1995","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: MetateM: An Introduction. Formal Aspects of Computing\u00a07(5), 533\u2013549 (1995)","journal-title":"Formal Aspects of Computing"},{"key":"5_CR4","unstructured":"Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Eagle does Space Efficient LTL Monitoring. Pre-Print CSPP-25, University of Manchester, Department of Computer Science (October 2003), Download http:\/\/www.cs.man.ac.uk\/cspreprints\/PrePrints\/cspp25.pdf"},{"key":"5_CR5","unstructured":"Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Eagle Monitors by Collecting Facts and Generating Obligations. Pre-Print CSPP-26, University of Manchester, Department of Computer Science (October 2003), Download http:\/\/www.cs.man.ac.uk\/cspreprints\/PrePrints\/cspp26.pdf"},{"key":"5_CR6","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":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-45069-6_11","volume-title":"Computer Aided Verification","author":"D. Drusinsky","year":"2003","unstructured":"Drusinsky, D.: Monitoring Temporal Rules Combined with Time Series. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 114\u2013118. Springer, Heidelberg (2003)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Finkbeiner, B., Sankaranarayanan, S., Sipma, H.: Collecting Statistics over Runtime Executions. In: Proceedings of the 2nd International Workshop on Runtime Verification (RV 2002) [1], pp. 36\u201355 (2002)","DOI":"10.1016\/S1571-0661(04)80576-0"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Finkbeiner, B., Sipma, H.: Checking Finite Traces using Alternating Automata. In: Proceedings of the 1st International Workshop on Runtime Verification (RV 2001) [1], pp. 44\u201360 (2001)","DOI":"10.1016\/S1571-0661(04)00250-6"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/3-540-51803-7_36","volume-title":"Temporal Logic in Specification","author":"D. Gabbay","year":"1989","unstructured":"Gabbay, D.: The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. In: Banieqbal, B., Pnueli, A., Barringer, H. (eds.) Temporal Logic in Specification. LNCS, vol.\u00a0398, pp. 409\u2013448. Springer, Heidelberg (1989)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., Havelund, K.: Automata-Based Verification of Temporal Properties on Running Programs. In: Proceedings, International Conference on Automated Software Engineering (ASE 2001), Coronado Island, California. ENTCS, pp. 412\u2013416 (2001)","DOI":"10.1109\/ASE.2001.989841"},{"key":"#cr-split#-5_CR12.1","doi-asserted-by":"crossref","unstructured":"Havelund, K., Ro\u015fu, G.: Monitoring Java Programs with Java PathExplorer. In: Proceedings of the 1st International Workshop on Runtime Verification (RV 2001) [1], pp. 97\u2013114 (2001);","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"#cr-split#-5_CR12.2","unstructured":"Extended version to appear in the journal: Formal Methods in System Design, Kluwer (2004)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Havelund, K., Ro\u015fu, G.: Monitoring Programs using Rewriting. In: Proceedings, International Conference on Automated Software Engineering (ASE 2001), Coronado Island, California. Institute of Electrical and Electronics Engineers, pp. 135\u2013143 (2001)","DOI":"10.1109\/ASE.2001.989799"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-46002-0_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Havelund","year":"2002","unstructured":"Havelund, K., Ro\u015fu, G.: Synthesizing Monitors for Safety Properties. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 342\u2013356. Springer, Heidelberg (2002); Extended version to appear in the journal: Software Tools for Technology Transfer, Springer (2004)"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0004-3702(85)90074-8","volume":"25","author":"J. Hsiang","year":"1985","unstructured":"Hsiang, J.: Refutational Theorem Proving using Term Rewriting Systems. Artificial Intelligence\u00a025, 255\u2013300 (1985)","journal-title":"Artificial Intelligence"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Kortenkamp, D., Milam, T., Simmons, R., Fernandez, J.: Collecting and Analyzing Data from Distributed Control Programs. In: Proceedings of the 1st International Workshop on Runtime Verification (RV 2001) [1], pp. 133\u2013151 (2001)","DOI":"10.1016\/S1571-0661(04)00255-5"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Jelling Kristoffersen, K., Pedersen, C., Andersen, H.R.: Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems. In: Proceedings of the 3rd International Workshop on Runtime Verification (RV 2003) [1], pp. 146\u2013161 (2003)","DOI":"10.1016\/S1571-0661(04)81050-8"},{"key":"5_CR18","unstructured":"Lee, I., Kannan, S., Kim, M., Sokolsky, O., Viswanathan, M.: Runtime Assurance Based on Formal Specifications. In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (1999)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The Temporal Logic of Programs. In: Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, pp. 46\u201377 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Sen, K., Ro\u015fu, G.: Generating Optimal Monitors for Extended Regular Expressions. In: Proceedings of the 3rd International Workshop on Runtime Verification (RV 2003) [1], pp. 162\u2013181 (2003)","DOI":"10.1016\/S1571-0661(04)81051-X"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24622-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T12:03:08Z","timestamp":1636372988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24622-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208037","9783540246220"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24622-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}