{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T19:40:04Z","timestamp":1738438804120,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540890195"},{"type":"electronic","value":"9783540890201"}],"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-89020-1_18","type":"book-chapter","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T13:44:44Z","timestamp":1223991884000},"page":"249-264","source":"Crossref","is-referenced-by-count":1,"title":["Transforming Timeline Specifications into Automata for Runtime Monitoring"],"prefix":"10.1007","author":[{"given":"Eric","family":"Bodden","sequence":"first","affiliation":[]},{"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Bodden, E., Vangheluwe, H.: Transforming Timeline specifications into automata for runtime monitoring (extended version). Technical Report SABLE-TR-2008-1, Sable Research Group, School of Computer Science, McGill University, Montr\u00e9al, Qu\u00e9bec, Canada (February 2008)","DOI":"10.1007\/978-3-540-89020-1_18"},{"key":"18_CR2","unstructured":"1st to 7th Workshop on Runtime Verification (RV 2001 - RV 2007) (2001-2007), http:\/\/www.runtime-verification.org\/"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Avgustinov, P., Tibble, J., Bodden, E., Lhot\u00e1k, O., Hendren, L., de Moor, O., Ongkingco, N., Sittampalam, G.: Efficient trace monitoring. Technical Report abc-2006-1 (March 2006), http:\/\/www.aspectbench.org\/","DOI":"10.1145\/1176617.1176673"},{"issue":"10","key":"18_CR4","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1145\/1297105.1297070","volume":"42","author":"P. Avgustinov","year":"2007","unstructured":"Avgustinov, P., Tibble, J., de Moor, O.: Making trace monitors feasible. SIGPLAN Not.\u00a042(10), 589\u2013608 (2007)","journal-title":"SIGPLAN Not."},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1007\/978-3-540-73589-2_25","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"E. Bodden","year":"2007","unstructured":"Bodden, E., Hendren, L.J., Lhot\u00e1k, O.: A staged static program analysis to improve the performance of runtime monitoring. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 525\u2013549. Springer, Heidelberg (2007)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Martin, M., Livshits, B., Lam, M.S.: Finding application errors using PQL: a program query language. In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, pp. 365\u2013383 (2005)","DOI":"10.1145\/1103845.1094840"},{"key":"18_CR7","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1145\/1146238.1146254","volume-title":"ISSTA 2006: Proceedings of the 2006 international symposium on Software testing and analysis","author":"S. Fink","year":"2006","unstructured":"Fink, S., Yahav, E., Dor, N., Ramalingam, G., Geay, E.: Effective typestate verification in the presence of aliasing. In: ISSTA 2006: Proceedings of the 2006 international symposium on Software testing and analysis, pp. 133\u2013144. ACM Press, New York (2006)"},{"key":"18_CR8","first-page":"345","volume-title":"Object-Oriented Programming, Systems, Languages and Applications","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., Sittampalam, G., Tibble, J.: Adding Trace Matching with Free Variables to AspectJ. In: Object-Oriented Programming, Systems, Languages and Applications, pp. 345\u2013364. ACM Press, New York (2005)"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Smith, M.H., Holzmann, G.J., Etessami, K.: Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. In: Proceedings of the 5th IEEE International Symposium on Requirements Engineering, pp. 14\u201322 (2001)","DOI":"10.1109\/ISRE.2001.948539"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-45923-5_12","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Lara de","year":"2002","unstructured":"de Lara, J., Vangheluwe, H.: AToM3: A tool for multi-formalism and meta-modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 174\u2013188. Springer, Heidelberg (2002)"},{"key":"18_CR11","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":"18_CR12","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Developing Graphical (Software Engineering) Tools with PROGRES. In: International Conference of Software Engineering, pp. 618\u2013619 (1997)","DOI":"10.1145\/253228.253502"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"AGTIVE 2007","author":"E. Syriani","year":"2008","unstructured":"Syriani, E., Vangheluwe, H.: Programmed Graph Rewriting with DEvS. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol.\u00a05088. Springer, Heidelberg (2008)"},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"AGTIVE 2007","author":"S. Maier","year":"2008","unstructured":"Maier, S., Minas, M.: A Generic Layout Algorithm for Meta-model based Editors. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol.\u00a05088. Springer, Heidelberg (2008)"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1145\/1167473.1167488","volume-title":"OOPSLA 2006: Proceedings of the 21st annual ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications","author":"S.M. Blackburn","year":"2006","unstructured":"Blackburn, S.M., Garner, R., Hoffman, C., Khan, A.M., McKinley, K.S., Bentzur, R., Diwan, A., Feinberg, D., Frampton, D., Guyer, S.Z., Hirzel, M., Hosking, A., Jump, M., Lee, H., Moss, J.E.B., Phansalkar, A., Stefanovi\u0107, D., VanDrunen, T., von Dincklage, D., Wiedermann, B.: The DaCapo benchmarks: Java benchmarking development and analysis. In: OOPSLA 2006: Proceedings of the 21st annual ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications, pp. 169\u2013190. ACM Press, New York (2006)"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"AGTIVE 2007","year":"2008","unstructured":"Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.): AGTIVE 2007. LNCS, vol.\u00a05088. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Applications of Graph Transformations with Industrial Relevance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89020-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T19:04:52Z","timestamp":1738436692000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89020-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540890195","9783540890201"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89020-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}