{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:46:46Z","timestamp":1725515206744},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540685142"},{"type":"electronic","value":"9783540685241"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-68524-1_3","type":"book-chapter","created":{"date-parts":[[2008,6,5]],"date-time":"2008-06-05T04:34:48Z","timestamp":1212640488000},"page":"7-22","source":"Crossref","is-referenced-by-count":54,"title":["Runtime Verification of C Programs"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Havelund","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_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)"},{"key":"3_CR2","unstructured":"AspectC, http:\/\/research.msrg.utoronto.ca\/ACC"},{"key":"3_CR3","unstructured":"Ball, T., Rajamani, S.K.: SLIC: a Specification Language for Interface Checking (of C). Technical Report MSR-TR-2001-21, Microsoft Research (2001)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","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, Springer, Heidelberg (2004)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. of the 7th International Workshop on Runtime Verification (RV 2007)","author":"H. Barringer","year":"2007","unstructured":"Barringer, H., Rydeheard, D., Havelund, K.: Rule Systems for Run-Time Monitoring: from Eagle to RuleR. In: Proc. of the 7th International Workshop on Runtime Verification (RV 2007), Vancouver, Canada. LNCS, vol.\u00a04839, Springer, Heidelberg (2007)"},{"key":"3_CR6","series-title":"ENTCS","volume-title":"Proc. of the 4th International Workshop on Runtime Verification (RV 2004)","author":"S. Bensalem","year":"2004","unstructured":"Bensalem, S., Bozga, M., Krichen, M., Tripakis, S.: Testing Conformance of Real-Time Applications by Automatic Generation of Observers. In: Proc. of the 4th International Workshop on Runtime Verification (RV 2004). ENTCS, vol.\u00a0113, Elsevier, Amsterdam (2004)"},{"key":"3_CR7","unstructured":"Bockisch, C., Mezini, M., Ostermann, K.: Quantifying over Dynamic Properties of Program Execution. In: 2nd Dynamic Aspects Workshop (DAW 2005), Technical Report 05.01. Research Institute for Advanced Computer Science, pp. 71\u201375 (2005)"},{"key":"3_CR8","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":"3_CR9","volume-title":"Proc. of the 4th international conference on Aspect-oriented software development","author":"R. Douence","year":"2005","unstructured":"Douence, R., Fritz, T., Loriant, N., Menaud, J.-M., Sgura-Devillechaise, M., S\u00fcdholt, M.: An Expressive Aspect Language for System Applications with Arachne. In: Proc. of the 4th international conference on Aspect-oriented software development, Chicago, USA, ACM Press, New York (2005)"},{"key":"3_CR10","series-title":"ENTCS","volume-title":"Proc. of the 4th International Workshop on Runtime Verification (RV 2004)","author":"D. Drusinsky","year":"2004","unstructured":"Drusinsky, D.: Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions. In: Proc. of the 4th International Workshop on Runtime Verification (RV 2004), Barcelona, Spain. ENTCS, vol.\u00a0113, Elsevier, Amsterdam (2004)"},{"key":"3_CR11","first-page":"400","volume-title":"Modeling and Verification using UML Statecharts","author":"D. Drusinsky","year":"2006","unstructured":"Drusinsky, D.: Modeling and Verification using UML Statecharts, p. 400. Elsevier, Amsterdam (2006)"},{"key":"3_CR12","unstructured":"Eckmann, S., Vigna, G., Kemmerer, R.A.: STATL Definition. Reliable Software Group, Department of Computer Science, University of California, Santa Barbara, CA 93106 (2001)"},{"key":"3_CR13","series-title":"ENTCS","volume-title":"Proc. of the 1st International Workshop on Runtime Verification (RV 2001)","author":"B. Finkbeiner","year":"2001","unstructured":"Finkbeiner, B., Sipma, H.: Checking Finite Traces using Alternating Automata. In: Proc. of the 1st International Workshop on Runtime Verification (RV 2001). ENTCS, vol.\u00a055(2), Elsevier, Amsterdam (2001)"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. of Ninth International VMCAI conference (VMCAI 2008)","author":"A. Groce","year":"2008","unstructured":"Groce, A., Joshi, R.: Extending Model Checking with Dynamic Analysis. In: Logozzo, F., Peled, D., Zuck, L. (eds.) Proc. of Ninth International VMCAI conference (VMCAI 2008). LNCS, Springer, Heidelberg (2008)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Havelund, K., Ro\u015fu, G.: An Overview of the Runtime Verification Tool Java PathExplorer. Formal Methods in System Design\u00a024(2) (March 2004)","DOI":"10.1023\/B:FORM.0000017721.39909.4b"},{"issue":"2","key":"3_CR16","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/s10009-003-0117-6","volume":"6","author":"K. Havelund","year":"2004","unstructured":"Havelund, K., Ro\u015fu, G.: Efficient Monitoring of Safety Properties. Software Tools for Technology Transfer\u00a06(2), 158\u2013173 (2004)","journal-title":"Software Tools for Technology Transfer"},{"key":"3_CR17","volume-title":"The SPIN Model Checker, Primer and Reference Manual","author":"G.J. Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The SPIN Model Checker, Primer and Reference Manual. Addison-Wesley, Reading (2004)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An Overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"key":"3_CR19","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":"3_CR20","volume-title":"Proc. of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications","author":"M. Martin","year":"2005","unstructured":"Martin, M., Livshits, B., Lam, M.S.: Finding Application Errors using PQL: a Program Query Language. In: Proc. of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, ACM Press, New York (2005)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.: CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In: Proc. of Conference on Compilier Construction (2002)","DOI":"10.1007\/3-540-45937-5_16"},{"key":"3_CR22","unstructured":"OCAML, http:\/\/caml.inria.fr\/index.en.html"},{"key":"3_CR23","unstructured":"SGLIB. A Simple Generic Library for C, http:\/\/sglib.sourceforge.net"},{"key":"3_CR24","unstructured":"Smith, M.: Requirements for the Demonstration Version of the Requirements Capture Tool (RCAT). JPL\/RSS Technical Report, RSS Document Number: ESS-02-001 (2005)"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Smith, M., Havelund, K.: Requirements Capture with RCAT. Jet Propulsion Laboratory, California Institute of Technology (submitted for publication, February 2008)","DOI":"10.1109\/RE.2008.50"},{"key":"3_CR26","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":"3_CR27","unstructured":"T-UPPAAL, http:\/\/www.cs.aau.dk\/~marius\/tuppaal"},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11550679_13","volume-title":"Software Composition","author":"W. Vanderperren","year":"2005","unstructured":"Vanderperren, W., Suv\u00e9, D., Augustina Cibr\u00e1n, M., De Fraine, B.: Stateful Aspects in JAsCo. In: Gschwind, T., A\u00dfmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol.\u00a03628, Springer, Heidelberg (2005)"},{"key":"3_CR29","first-page":"159","volume-title":"ACM Sigsoft 12th International Symposium on Foundations of Software Engineering (FSE-12)","author":"R. Walker","year":"2004","unstructured":"Walker, R., Viggers, K.: Implementing Protocols via Declarative Event Patterns. In: Taylor, R.N., Dwyer, M.B. (eds.) ACM Sigsoft 12th International Symposium on Foundations of Software Engineering (FSE-12), pp. 159\u2013169. ACM Press, New York (2004)"},{"key":"3_CR30","unstructured":"Wyk, E.V., Bodin, D., Gao, J., Krishnan, L.: Silver: an Extensible Attribute Grammar System. In: Workshop on Language Descriptions, Tools, and Applications (2007)"}],"container-title":["Lecture Notes in Computer Science","Testing of Software and Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68524-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T18:57:17Z","timestamp":1557601037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68524-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540685142","9783540685241"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68524-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}