{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T21:59:53Z","timestamp":1759960793621},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642046933"},{"type":"electronic","value":"9783642046940"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04694-0_1","type":"book-chapter","created":{"date-parts":[[2009,9,15]],"date-time":"2009-09-15T09:50:17Z","timestamp":1253008217000},"page":"1-24","source":"Crossref","is-referenced-by-count":15,"title":["Rule Systems for Runtime Verification: A Short Tutorial"],"prefix":"10.1007","author":[{"given":"Howard","family":"Barringer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Havelund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Rydeheard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Groce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"OOPSLA 2005","author":"C. Allan","year":"2005","unstructured":"Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhot\u00e1k, O., de Moor, O., Sereni, D., Sittamplan, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: OOPSLA 2005. ACM Press, New York (2005)"},{"issue":"7","key":"1_CR2","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1109\/TSE.2003.1214327","volume":"29","author":"J.H. Andrews","year":"2003","unstructured":"Andrews, J.H., Zhang, Y.: General test result checking with log file analysis. IEEE Transactions on Software Engineering\u00a029(7), 634\u2013648 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-51803-7_22","volume-title":"Temporal Logic in Specification","author":"B. Banieqbal","year":"1989","unstructured":"Banieqbal, B., Barringer, H.: Temporal logic with fixed points. In: Banieqbal, B., Pnueli, A., Barringer, H. (eds.) Temporal Logic in Specification. LNCS, vol.\u00a0398, pp. 62\u201374. Springer, Heidelberg (1989)"},{"issue":"5","key":"1_CR4","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":"1_CR5","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":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-77395-5_10","volume-title":"Runtime Verification","author":"H. Barringer","year":"2007","unstructured":"Barringer, H., Rydeheard, D., Havelund, K.: Rule systems for run-time monitoring: from Eagle to RuleR. In: Sokolsky, O., Ta\u015f\u0131ran, S. (eds.) RV 2007. LNCS, vol.\u00a04839, pp. 111\u2013125. Springer, Heidelberg (2007)"},{"key":"1_CR7","unstructured":"Barringer, H., Rydeheard, D., Havelund, K.: RuleR: A tutorial guide (2008), http:\/\/www.cs.man.ac.uk\/~howard\/LPA.html"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Barringer, H., Rydeheard, D., Havelund, K.: Rule systems for run-time monitoring: from Eagle to RuleR. Journal of Logic and Computation (2009), Advance Access published on November 21 (2008), doi:10.1093\/logcom\/exn076","DOI":"10.1093\/logcom\/exn076"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Chen, F., Ro\u015fu, G.: MOP: An efficient and generic runtime verification framework. In: Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2007 (2007)","DOI":"10.1145\/1297027.1297069"},{"key":"1_CR10","volume-title":"Modeling and Verification using UML Statecharts","author":"D. Drusinsky","year":"2006","unstructured":"Drusinsky, D.: Modeling and Verification using UML Statecharts, 400 pages. Elsevier, Amsterdam (2006)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-540-68524-1_3","volume-title":"Testing of Software and Communicating Systems","author":"K. Havelund","year":"2008","unstructured":"Havelund, K.: Runtime verification of C programs. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom\/FATES 2008. LNCS, vol.\u00a05047, pp. 7\u201322. Springer, Heidelberg (2008)"},{"key":"1_CR12","unstructured":"Hodkinson, I.M., Reynolds, M.: Separation - past, present, and future. In: Art\u00ebmov, S.N., Barringer, H., d\u2019Avila Garcez, A.S., Lamb, L.C., Woods, J. (eds.) We Will Show Them! vol. 2, pp. 117\u2013142. College Publications (2005)"},{"key":"1_CR13","series-title":"ENTCS","volume-title":"Proc. of the 1st International Workshop on Runtime Verification (RV 2001)","author":"M. Kim","year":"2001","unstructured":"Kim, M., Kannan, S., Lee, I., Sokolsky, O.: Java-MaC: a run-time assurance tool for Java. In: Proc. of the 1st International Workshop on Runtime Verification (RV 2001). ENTCS, vol.\u00a055(2). Elsevier, Amsterdam (2001)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Lange, M.: Alternating context-free languages and linear time mu-calculus with sequential composition. Electr. Notes Theor. Comput. Sci.\u00a068(2) (2002)","DOI":"10.1016\/S1571-0661(05)80365-2"},{"key":"1_CR15","volume-title":"Executing temporal logic programs","author":"B. Moszkowski","year":"1980","unstructured":"Moszkowski, B.: Executing temporal logic programs. Cambridge University Press, Cambridge (1980)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/3-540-12896-4_374","volume-title":"Logics of Programs","author":"B.C. Moszkowski","year":"1984","unstructured":"Moszkowski, B.C., Manna, Z.: Reasoning in interval temporal logic. In: Clarke, E.M., Kozen, D. (eds.) Logic of Programs 1983. LNCS, vol.\u00a0164, pp. 371\u2013382. Springer, Heidelberg (1984)"},{"key":"1_CR17","first-page":"46","volume-title":"18th Annual Symposium on Foundations of Computer Science","author":"A. Pnueli","year":"1977","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, pp. 46\u201357. IEEE Computer Society, Los Alamitos (1977)"},{"key":"1_CR18","volume-title":"16th IEEE International Requirements Engineering Conference (RE 2008)","author":"M. Smith","year":"2008","unstructured":"Smith, M., Havelund, K.: Requirements capture with RCAT. In: 16th IEEE International Requirements Engineering Conference (RE 2008). IEEE Computer Society, Barcelona (2008)"},{"key":"1_CR19","series-title":"ENTCS","volume-title":"Proc. of the 5th International Workshop on Runtime Verification (RV 2005)","author":"V. Stolz","year":"2005","unstructured":"Stolz, V., Bodden, E.: Temporal assertions using AspectJ. In: Proc. of the 5th International Workshop on Runtime Verification (RV 2005). ENTCS, vol.\u00a0144(4). Elsevier, Amsterdam (2005)"},{"key":"1_CR20","unstructured":"Sun Microsystems, Inc. Java Platform, Standard Edition 6, API Specification (2009), http:\/\/java.sun.com\/javase\/6\/docs\/api\/"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Wolper, P.: Temporal logic can be more expressive. Information and Control\u00a056 (1983)","DOI":"10.1016\/S0019-9958(83)80051-5"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04694-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T15:52:46Z","timestamp":1558540366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04694-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642046933","9783642046940"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04694-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}