{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:55:39Z","timestamp":1747810539749},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642026577"},{"type":"electronic","value":"9783642026584"}],"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-02658-4_50","type":"book-chapter","created":{"date-parts":[[2009,6,22]],"date-time":"2009-06-22T07:00:16Z","timestamp":1245654016000},"page":"648-653","source":"Crossref","is-referenced-by-count":13,"title":["Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep"],"prefix":"10.1007","author":[{"given":"Sylvain","family":"Hall\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roger","family":"Villemaire","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"50_CR1","first-page":"63","volume-title":"ICWS","author":"F. Barbon","year":"2006","unstructured":"Barbon, F., Traverso, P., Pistore, M., Trainotti, M.: Run-time monitoring of instances and classes of web service compositions. In: ICWS, pp. 63\u201371. IEEE Computer Society, Los Alamitos (2006)"},{"key":"50_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/11944836_25","volume-title":"FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science","author":"A. Bauer","year":"2006","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Monitoring of real-time properties. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol.\u00a04337, pp. 260\u2013272. Springer, Heidelberg (2006)"},{"key":"50_CR3","unstructured":"Clark, J., DeRose, S.: XML path language (XPath) version 1.0, W3C recommendation (1999)"},{"key":"50_CR4","first-page":"71","volume-title":"PODS","author":"A. Deutsch","year":"2004","unstructured":"Deutsch, A., Sui, L., Vianu, V.: Specification and verification of data-driven web services. In: Deutsch, A. (ed.) PODS, pp. 71\u201382. ACM, New York (2004)"},{"key":"50_CR5","series-title":"IFIP Conference Proceedings","first-page":"3","volume-title":"PSTV","author":"R. Gerth","year":"1995","unstructured":"Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: Dembinski, P., Sredniawa, M. (eds.) PSTV. IFIP Conference Proceedings, vol.\u00a038, pp. 3\u201318. Chapman & Hall, Boca Raton (1995)"},{"key":"50_CR6","first-page":"63","volume-title":"EDOC","author":"S. Hall\u00e9","year":"2008","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime monitoring of message-based workflows with data. In: EDOC, pp. 63\u201372. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"50_CR7","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1390832.1390839","volume-title":"TAV-WEB","author":"G. Hughes","year":"2008","unstructured":"Hughes, G., Bultan, T., Alkhalaf, M.: Client and server verification for web services using interface grammars. In: Bultan, T., Xie, T. (eds.) TAV-WEB, pp. 40\u201346. ACM, New York (2008)"},{"key":"50_CR8","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1145\/1242572.1242654","volume-title":"WWW","author":"T. Jim","year":"2007","unstructured":"Jim, T., Swamy, N., Hicks, M.: Defeating script injection attacks with browser-enforced embedded policies. In: Williamson, C.L., Zurko, M.E., Patel-Schneider, P.F., Shenoy, P.J. (eds.) WWW, pp. 601\u2013610. ACM, New York (2007)"},{"key":"50_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-540-77395-5_6","volume-title":"Runtime Verification","author":"I.H. Kr\u00fcger","year":"2007","unstructured":"Kr\u00fcger, I.H., Meisinger, M., Menarini, M.: Runtime verification of interactions: From MSCs to aspects. In: Sokolsky, O., Ta\u015f\u0131ran, S. (eds.) RV 2007. LNCS, vol.\u00a04839, pp. 63\u201374. Springer, Heidelberg (2007)"},{"key":"50_CR10","first-page":"257","volume-title":"ICWS","author":"K. Mahbub","year":"2005","unstructured":"Mahbub, K., Spanoudakis, G.: Run-time monitoring of requirements for systems composed of web-services: Initial implementation and evaluation experience. In: ICWS, pp. 257\u2013265. IEEE Computer Society, Los Alamitos (2005)"},{"key":"50_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/978-3-540-89247-2_4","volume-title":"RV 2008","author":"G. Rosu","year":"2008","unstructured":"Rosu, G., Chen, F., Ball, T.: Synthesizing monitors for safety properties: This time with calls and returns. In: Leucker, M. (ed.) RV 2008. LNCS, vol.\u00a05289, pp. 51\u201368. Springer, Heidelberg (2008)"},{"issue":"2","key":"50_CR12","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/s10515-005-6205-y","volume":"12","author":"G. Rosu","year":"2005","unstructured":"Rosu, G., Havelund, K.: Rewriting-based techniques for runtime verification. Autom. Softw. Eng.\u00a012(2), 151\u2013197 (2005)","journal-title":"Autom. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02658-4_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T18:27:52Z","timestamp":1552069672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02658-4_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642026577","9783642026584"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02658-4_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}