{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:26:38Z","timestamp":1757312798520},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662496732"},{"type":"electronic","value":"9783662496749"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49674-9_17","type":"book-chapter","created":{"date-parts":[[2016,4,8]],"date-time":"2016-04-08T18:49:00Z","timestamp":1460141340000},"page":"299-315","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Parametric Runtime Verification of C Programs"],"prefix":"10.1007","author":[{"given":"Zhe","family":"Chen","sequence":"first","affiliation":[]},{"given":"Zhemin","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Yunlong","family":"Zhu","sequence":"additional","affiliation":[]},{"given":"Hongwei","family":"Xi","sequence":"additional","affiliation":[]},{"given":"Zhibin","family":"Yang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,9]]},"reference":[{"key":"17_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: Johnson, R.E., Gabriel, R.P. (eds.) Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2005), pp. 345\u2013364. ACM (2005)","DOI":"10.1145\/1094811.1094839"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Avgustinov, P., Tibble, J., de Moor, O.: Making trace monitors feasible. In: Gabriel, R.P., Bacon, D.F., Lopes C.V., Steele G.L. (eds.) Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2007), pp. 589\u2013608. ACM (2007)","DOI":"10.1145\/1297027.1297070"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Chen, F., Meredith, P.O., Jin, D., Rosu, G.: Efficient formalism-independent monitoring of parametric properties. In: Proceedings of the 24th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2009), pp. 383\u2013394. IEEE Computer Society (2009)","DOI":"10.1109\/ASE.2009.50"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Chen, F., Rosu, G.: MOP: an efficient and generic runtime verification framework. In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2007), pp. 569\u2013588. ACM (2007)","DOI":"10.1145\/1297027.1297069"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-642-00768-2_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F Chen","year":"2009","unstructured":"Chen, F., Ro\u015fu, G.: Parametric trace slicing and monitoring. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol. 5505, pp. 246\u2013261. Springer, Heidelberg (2009)"},{"issue":"1","key":"17_CR6","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1093\/comjnl\/bxt125","volume":"58","author":"Z Chen","year":"2015","unstructured":"Chen, Z.: Control systems on automata and grammars. Comput. J. 58(1), 75\u201394 (2015)","journal-title":"Comput. J."},{"issue":"7","key":"17_CR7","doi-asserted-by":"publisher","first-page":"989","DOI":"10.1002\/spe.2242","volume":"45","author":"Z Chen","year":"2015","unstructured":"Chen, Z., Gu, Y., Huang, Z., Zheng, J., Liu, C., Liu, Z.: Model checking aircraft controller software: a case study. Softw. Pract. Experience 45(7), 989\u20131017 (2015)","journal-title":"Softw. Pract. Experience"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Chen, Z., Wei, O., Huang, Z., Xi, H.: Formal semantics of runtime monitoring, verification, enforcement and control. In: Proceedings of the 9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015), pp. 63\u201370. IEEE Computer Society (2015)","DOI":"10.1109\/TASE.2015.11"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Coady, Y., Kiczales, G., Feeley, M.J., Smolyn, G.: Using AspectC to improve the modularity of path-specific customization in operating system code. In: Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC\/FSE 2001), pp. 88\u201398. ACM (2001)","DOI":"10.1145\/503209.503223"},{"issue":"10","key":"17_CR10","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/383845.383863","volume":"44","author":"Y Coady","year":"2001","unstructured":"Coady, Y., Kiczales, G., Feeley, M., Hutchinson, N., Ong, J.S.: Structuring operating system aspects: using AOP to improve OS structure modularity. Commun. ACM 44(10), 79\u201382 (2001)","journal-title":"Commun. ACM"},{"key":"17_CR11","unstructured":"Gong, W., Jacobsen, H.A.: Aspect-oriented C language specification. Working technical draft, University of Toronto, May 2010"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Jin, D., Meredith, P.O., Griffith, D., Rosu, G.: Garbage collection for monitoring parametric properties. In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2011), pp. 415\u2013424. ACM (2011)","DOI":"10.1145\/1993498.1993547"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Jin, D., Meredith, P.O., Lee, C., Rosu, G.: JavaMOP: efficient parametric runtime monitoring framework. In: Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), pp. 1427\u20131430. IEEE (2012)","DOI":"10.1109\/ICSE.2012.6227231"},{"key":"17_CR14","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: Lindskov Knudsen, J. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"issue":"5","key":"17_CR16","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Logic Algebraic Program. 78(5), 293\u2013303 (2009)","journal-title":"J. Logic Algebraic Program."},{"issue":"3","key":"17_CR17","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10009-011-0198-6","volume":"14","author":"PO Meredith","year":"2012","unstructured":"Meredith, P.O., Jin, D., Griffith, D., Chen, F., Rosu, G.: An overview of the MOP runtime verification framework. Int. J. Softw. Tools Technol. Transf. (STTT) 14(3), 249\u2013289 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"issue":"1","key":"17_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-8(1:9)2012","volume":"8","author":"G Rosu","year":"2012","unstructured":"Rosu, G., Chen, F.: Semantics and algorithms for parametric monitoring. Logical Methods Comput. Sci. 8(1), 1\u201347 (2012)","journal-title":"Logical Methods Comput. Sci."},{"key":"17_CR19","unstructured":"RV: The Runtime Verification workshop series (2001\u20132015). \n                      http:\/\/www.runtime-verification.org\/"},{"key":"17_CR20","unstructured":"Spinczyk, O.: AspectC++ language reference. Version 1.10, Pure-systems GmbH, October 2012"},{"key":"17_CR21","unstructured":"Spinczyk, O.: AspectC++ compiler manual. Version 1.7, Pure-systems GmbH, September 2013"},{"key":"17_CR22","unstructured":"Spinczyk, O., Gal, A., Schr\u00f6der-Preikschat, W.: AspectC++: an aspect-oriented extension to the C++ programming language. In: Proceedings of the 40th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Pacific 2002), pp. 53\u201360. Australian Computer Society (2002)"},{"issue":"7","key":"17_CR23","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1016\/j.knosys.2007.05.004","volume":"20","author":"O Spinczyk","year":"2007","unstructured":"Spinczyk, O., Lohmann, D.: The design and implementation of AspectC++. Knowl. Based Syst. 20(7), 636\u2013651 (2007)","journal-title":"Knowl. Based Syst."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49674-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T01:14:10Z","timestamp":1585012450000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49674-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662496732","9783662496749"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49674-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"9 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}