{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:59:08Z","timestamp":1762459148334},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405600"},{"type":"electronic","value":"9783642405617"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40561-7_18","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T09:10:29Z","timestamp":1379495429000},"page":"259-273","source":"Crossref","is-referenced-by-count":1,"title":["Run-Time Verification of Coboxes"],"prefix":"10.1007","author":[{"given":"Frank S.","family":"de Boer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stijn","family":"de Gouw","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter Y. H.","family":"Wong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Actors: A model of concurrent computation in distributed systems.","author":"G. Agha","year":"1990","unstructured":"Agha, G.: Actors: A model of concurrent computation in distributed systems. MIT Press, Cambridge (1990)"},{"issue":"10","key":"18_CR2","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/1103845.1094839","volume":"40","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. SIGPLAN Not.\u00a040(10), 345\u2013364 (2005)","journal-title":"SIGPLAN Not."},{"issue":"10","key":"18_CR3","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1145\/1297105.1297069","volume":"42","author":"F. Chen","year":"2007","unstructured":"Chen, F., Ro\u015fu, G.: MOP: an efficient and generic runtime verification framework. SIGPLAN Not.\u00a042(10), 569\u2013588 (2007)","journal-title":"SIGPLAN Not."},{"issue":"3","key":"18_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1127878.1127900","volume":"31","author":"L.A. Clarke","year":"2006","unstructured":"Clarke, L.A., Rosenblum, D.S.: A historical perspective on runtime assertion checking in software development. ACM SIGSOFT Software Engineering Notes\u00a031(3), 25\u201337 (2006)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"doi-asserted-by":"crossref","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: Larva \u2014 safer monitoring of real-time java programs (tool paper). In: SEFM 2005, pp. 33\u201337 (2009)","key":"18_CR5","DOI":"10.1109\/SEFM.2009.13"},{"unstructured":"de Boer, F.S., de Gouw, S., Johnsen, E.B., Wong, P.Y.H.: Run-time checking of data- and protocol-oriented properties of java programs: An industrial case study. In: SAC (to appear, 2013)","key":"18_CR6"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-540-24851-4_21","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"R. DeLine","year":"2004","unstructured":"DeLine, R., F\u00e4hndrich, M.: Typestates for Objects. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 465\u2013490. Springer, Heidelberg (2004)"},{"issue":"3","key":"18_CR8","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.jlap.2012.01.003","volume":"81","author":"C.C. Din","year":"2012","unstructured":"Din, C.C., Dovland, J., Johnsen, E.B., Owe, O.: Observable behavior of distributed systems: Component reasoning for concurrent objects. J. Log. Algebr. Program.\u00a081(3), 227\u2013256 (2012)","journal-title":"J. Log. Algebr. Program."},{"issue":"3","key":"18_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2187671.2187678","volume":"44","author":"J. Hatcliff","year":"2012","unstructured":"Hatcliff, J., Leavens, G.T., Leino, K.R.M., M\u00fcller, P., Parkinson, M.: Behavioral interface specification languages. ACM Comput. Surv.\u00a044(3), 16:1\u201316:58 (2012)","journal-title":"ACM Comput. Surv."},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-25271-6_8","volume-title":"Formal Methods for Components and Objects","author":"E.B. Johnsen","year":"2011","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: A core language for abstract behavioral specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol.\u00a06957, pp. 142\u2013164. Springer, Heidelberg (2011)"},{"issue":"1","key":"18_CR11","first-page":"35","volume":"6","author":"E.B. Johnsen","year":"2007","unstructured":"Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. SSM\u00a06(1), 35\u201358 (2007)","journal-title":"SSM"},{"issue":"1","key":"18_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/505241.505242","volume":"49","author":"L. Lee","year":"2002","unstructured":"Lee, L.: Fast context-free grammar parsing requires fast boolean matrix multiplication. J. ACM\u00a049(1), 1\u201315 (2002)","journal-title":"J. ACM"},{"issue":"10","key":"18_CR13","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/1103845.1094840","volume":"40","author":"M. Martin","year":"2005","unstructured":"Martin, M., Livshits, B., Lam, M.S.: Finding application errors and security flaws using pql: a program query language. SIGPLAN Not.\u00a040(10), 365\u2013383 (2005)","journal-title":"SIGPLAN Not."},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-27269-1_4","volume-title":"Formal Aspects of Component Software","author":"B. Nobakht","year":"2012","unstructured":"Nobakht, B., Bonsangue, M.M., de Boer, F.S., de Gouw, S.: Monitoring method call sequences using annotations. In: Barbosa, L.S., Lumpe, M. (eds.) FACS 2010. LNCS, vol.\u00a06921, pp. 53\u201370. Springer, Heidelberg (2012)"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-642-14107-2_13","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"J. Sch\u00e4fer","year":"2010","unstructured":"Sch\u00e4fer, J., Poetzsch-Heffter, A.: JCoBox: Generalizing active objects to concurrent components. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 275\u2013299. Springer, Heidelberg (2010)"},{"issue":"4","key":"18_CR16","first-page":"385","volume":"63","author":"M. Sirjani","year":"2004","unstructured":"Sirjani, M., Movaghar, A., Shali, A., de Boer, F.S.: Modeling and verification of reactive systems using Rebeca. Fundam. Inform.\u00a063(4), 385\u2013410 (2004)","journal-title":"Fundam. Inform."},{"issue":"2","key":"18_CR17","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1016\/S0022-0000(75)80046-8","volume":"10","author":"L.G. Valiant","year":"1975","unstructured":"Valiant, L.G.: General context-free recognition in less than cubic time. J. Comput. Syst. Sci.\u00a010(2), 308\u2013315 (1975)","journal-title":"J. Comput. Syst. Sci."},{"issue":"5","key":"18_CR18","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1007\/s10009-012-0250-1","volume":"14","author":"P.Y.H. Wong","year":"2012","unstructured":"Wong, P.Y.H., Albert, E., Muschevici, R., Proen\u00e7a, J., Sch\u00e4fer, J., Schlatte, R.: The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. STTT\u00a014(5), 567\u2013588 (2012)","journal-title":"STTT"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40561-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:55:05Z","timestamp":1558079705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40561-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405600","9783642405617"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40561-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}