{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:55:51Z","timestamp":1725569751436},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642166112"},{"type":"electronic","value":"9783642166129"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16612-9_10","type":"book-chapter","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T11:45:14Z","timestamp":1289994314000},"page":"106-121","source":"Crossref","is-referenced-by-count":4,"title":["Runtime Verification for the Web"],"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":"10_CR1","unstructured":"Amazon e-commerce service, http:\/\/solutions.amazonwebservices.com"},{"key":"10_CR2","unstructured":"Paypal web service API documentation, http:\/\/www.paypal.com"},{"key":"10_CR3","unstructured":"Apache Axis (2010), http:\/\/ws.apache.org\/axis2"},{"key":"10_CR4","unstructured":"ASE 2010, 25th IEEE\/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24. IEEE Computer Society, Los Alamitos (2010)"},{"key":"10_CR5","first-page":"354","volume-title":"Web Services, Concepts, Architectures and Applications","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services, Concepts, Architectures and Applications, p. 354. Springer, Heidelberg (2004)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"RV 2009","author":"H. Barringer","year":"2009","unstructured":"Barringer, H., Havelund, K., Rydeheard, D.E., Groce, A.: Rule systems for runtime verification: A short tutorial. In: Bensalem, S., Peled, D. (eds.) RV 2009. LNCS, vol.\u00a05779, pp. 1\u201324. Springer, Heidelberg (2009)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Boutaba, R., Golab, W., Iraqi, Y., Arnaud, B.S.: Lightpaths on demand: A web-services-based management system. IEEE Communications Magazine, 2\u20139 (July 2004)","DOI":"10.1109\/MCOM.2004.1316540"},{"issue":"4","key":"10_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2006.02.002","volume":"144","author":"F. Chen","year":"2006","unstructured":"Chen, F., d\u2019Amorim, M., Ro\u015fu, G.: Checking and correcting behaviors of java programs at runtime with Java-MOP. Electr. Notes Theor. Comput. Sci.\u00a0144(4), 3\u201320 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"10_CR9","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web services description language (WSDL) 1.1, W3C note (2001)"},{"key":"10_CR10","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":"10_CR11","volume-title":"EDOC","author":"S. Hall\u00e9","year":"2010","unstructured":"Hall\u00e9, S.: Cooperative runtime monitoring of LTL interface contracts. In: EDOC. IEEE Computer Society, Los Alamitos (to appear, October 2010)"},{"issue":"3","key":"10_CR12","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1109\/MC.2010.76","volume":"43","author":"S. Hall\u00e9","year":"2010","unstructured":"Hall\u00e9, S., Bultan, T., Hughes, G., Alkhalaf, M., Villemaire, R.: Runtime verification of web service interface contracts. IEEE Computer\u00a043(3), 59\u201366 (2010)","journal-title":"IEEE Computer"},{"key":"10_CR13","volume-title":"ASE","author":"S. Hall\u00e9","year":"2010","unstructured":"Hall\u00e9, S., Ettema, T., Bunch, C., Bultan, T.: Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines. In: ASE. IEEE Computer Society, Los Alamitos (2010)"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1007\/978-3-642-10383-4_38","volume-title":"Service-Oriented Computing","author":"S. Hall\u00e9","year":"2009","unstructured":"Hall\u00e9, S., Hughes, G., Bultan, T., Alkhalaf, M.: Generating interface grammars from WSDL for automated verification of web services. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol.\u00a05900, pp. 516\u2013530. Springer, Heidelberg (2009)"},{"key":"10_CR15","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, Los Alamitos (2008)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"648","DOI":"10.1007\/978-3-642-02658-4_50","volume-title":"Computer Aided Verification","author":"S. Hall\u00e9","year":"2009","unstructured":"Hall\u00e9, S., Villemaire, R.: Browser-based enforcement of interface contracts in web applications with BeepBeep. In: Bouajjani, A., Maler, O. (eds.) Computer Aided Verification. LNCS, vol.\u00a05643, pp. 648\u2013653. Springer, Heidelberg (2009)"},{"key":"10_CR17","doi-asserted-by":"crossref","first-page":"2118","DOI":"10.1145\/1529282.1529752","volume-title":"SAC","author":"S. Hall\u00e9","year":"2009","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime monitoring of web service choreographies using streaming XML. In: Shin, S.Y., Ossowski, S. (eds.) SAC, pp. 2118\u20132125. ACM, New York (2009)"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Villemaire, R.: XML query evaluation in validation and monitoring of web service interface contracts. In: dvanced Applications and Structures in XML Processing: Label Streams, Semantics Utilization and Data Query Technologies, pp. 406\u2013424. IGI Global (2010)","DOI":"10.4018\/978-1-61520-727-5.ch018"},{"issue":"5","key":"10_CR19","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1109\/TSE.2009.29","volume":"35","author":"S. Hall\u00e9","year":"2009","unstructured":"Hall\u00e9, S., Villemaire, R., Cherkaoui, O.: Specifying and validating data-aware temporal web service properties. IEEE Trans. Software Eng.\u00a035(5), 669\u2013683 (2009)","journal-title":"IEEE Trans. Software Eng."},{"key":"10_CR20","unstructured":"Mitra, N., Lafon, Y.: SOAP version 1.2 part 0: Primer, 2nd edn (2007), http:\/\/www.w3.org\/TR\/2007\/REC-soap12-part0-20070427"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16612-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T06:48:04Z","timestamp":1685861284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16612-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642166112","9783642166129"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16612-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}