{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:49:25Z","timestamp":1725702565159},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340253"},{"type":"electronic","value":"9783642340260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_30","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T01:07:20Z","timestamp":1348621640000},"page":"405-419","source":"Crossref","is-referenced-by-count":11,"title":["Behavioral Specification Based Runtime Monitors for OSGi Services"],"prefix":"10.1007","author":[{"given":"Jan Olaf","family":"Blech","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yli\u00e8s","family":"Falcone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harald","family":"Rue\u00df","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Sch\u00e4tz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-32759-9_9","volume-title":"FM 2012: Formal Methods","author":"H. Barringer","year":"2012","unstructured":"Barringer, H., Falcone, Y., Havelund, K., Reger, G., Rydeheard, D.: Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol.\u00a07436, pp. 68\u201384. Springer, Heidelberg (2012)"},{"key":"30_CR2","unstructured":"Alliance, O.: Osgi service platform core specification, Version 4.3 (2011)"},{"key":"30_CR3","unstructured":"Tchinda, H.A.M., Stouls, N., Ponge, J.: Sp\u00e9cification et substitution de services osgi. Technical report, Inria (2011), \n                    \n                      http:\/\/hal.inria.fr\/inria-00619233"},{"key":"30_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2004.05.010","volume":"55","author":"F. Arbab","year":"2005","unstructured":"Arbab, F.: Abstract behavior types: a foundation model for components and their composition. Sci. Comput. Program\u00a055, 3\u201352 (2005)","journal-title":"Sci. Comput. Program"},{"key":"30_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/978-3-642-25271-6_8","volume-title":"FMCO 2011","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)"},{"key":"30_CR6","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/s00165-004-0043-8","volume":"16","author":"E.A. Lee","year":"2004","unstructured":"Lee, E.A., Xiong, Y.: A behavioral type system and its application in ptolemy ii. Formal Asp. Comput.\u00a016, 210\u2013237 (2004)","journal-title":"Formal Asp. Comput."},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC \/ SIGSOFT FSE, pp. 109\u2013120 (2001)","DOI":"10.1145\/503271.503226"},{"key":"30_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/11804192_16","volume-title":"Formal Methods for Components and Objects","author":"P. Chalin","year":"2006","unstructured":"Chalin, P., Kiniry, J.R., Leavens, G.T., Poll, E.: Beyond Assertions: Advanced Specification and Verification with JML and ESC\/Java2. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 342\u2013363. Springer, Heidelberg (2006)"},{"key":"30_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-45212-6_10","volume-title":"Embedded Software","author":"J.L. Cola\u00e7o","year":"2003","unstructured":"Cola\u00e7o, J.L., Pouzet, M.: Clocks as First Class Abstract Types. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 134\u2013155. Springer, Heidelberg (2003)"},{"key":"30_CR10","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, 59\u201366 (2010)","journal-title":"IEEE Computer"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"Cao, T.D., Phan-Quang, T.T., F\u00e9lix, P., Castanet, R.: Automated runtime verification for web services. In: ICWS, pp. 76\u201382. IEEE Computer Society (2010)","DOI":"10.1109\/ICWS.2010.19"},{"key":"30_CR12","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/1321211.1321217","volume-title":"Proceedings of the 2007 Conference of the Center for Advanced Studies on Collaborative Research. CASCON 2007","author":"Y. Gan","year":"2007","unstructured":"Gan, Y., Chechik, M., Nejati, S., Bennett, J., O\u2019Farrell, B., Waterhouse, J.: Runtime monitoring of web service conversations. In: Proceedings of the 2007 Conference of the Center for Advanced Studies on Collaborative Research. CASCON 2007, pp. 42\u201357. ACM, New York (2007)"},{"key":"30_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-24690-6_15","volume-title":"Software Engineering and Formal Methods","author":"Y. Falcone","year":"2011","unstructured":"Falcone, Y., Jaber, M., Nguyen, T.-H., Bozga, M., Bensalem, S.: Runtime Verification of Component-Based Systems. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol.\u00a07041, pp. 204\u2013220. Springer, Heidelberg (2011)"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"Sifakis, J.: A framework for component-based construction \u2013 Extended Abstract. In: Aichernig, B.K., Beckert, B. (eds.) SEFM, pp. 293\u2013300. IEEE Computer Society (2005)","DOI":"10.1109\/SEFM.2005.3"},{"key":"30_CR15","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"F.B. Schneider","year":"2000","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Trans. Inf. Syst. Secur.\u00a03, 30\u201350 (2000)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Run-time enforcement of nonsafety policies. ACM Trans. Inf. Syst. Secur.\u00a012 (2009)","DOI":"10.1145\/1455526.1455532"},{"key":"30_CR17","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s10009-011-0196-8","volume":"14","author":"Y. Falcone","year":"2012","unstructured":"Falcone, Y., Fernandez, J.C., Mounier, L.: What can you verify and enforce at runtime? STTT\u00a014, 349\u2013382 (2012)","journal-title":"STTT"},{"key":"30_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-642-16612-9_9","volume-title":"Runtime Verification","author":"Y. Falcone","year":"2010","unstructured":"Falcone, Y.: You Should Better Enforce Than Verify. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol.\u00a06418, pp. 89\u2013105. Springer, Heidelberg (2010)"},{"key":"30_CR19","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s10703-011-0114-4","volume":"38","author":"Y. Falcone","year":"2011","unstructured":"Falcone, Y., Mounier, L., Fernandez, J.C., Richier, J.L.: Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods in System Design\u00a038, 223\u2013262 (2011)","journal-title":"Formal Methods in System Design"},{"key":"30_CR20","unstructured":"Blech, J.O., Sch\u00e4tz, B.: Towards a formal foundation of behavioral types for UML state-machines. In: Proceedings of the 5th International Workshop UML and Formal Methods (accepted for publication, to appear, 2012)"},{"key":"30_CR21","unstructured":"Eisner, C., Fisman, D.: A Practical Introduction to PSL. Springer (2006)"},{"key":"30_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-642-20398-5_3","volume-title":"NASA Formal Methods","author":"A. Bauer","year":"2011","unstructured":"Bauer, A., Leucker, M.: The Theory and Practice of SALT. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol.\u00a06617, pp. 13\u201340. Springer, Heidelberg (2011)"},{"key":"30_CR23","doi-asserted-by":"crossref","unstructured":"Hamlen, K.W., Morrisett, G., Schneider, F.B.: Certified in-lined reference monitoring on .NET. In: Sreedhar, V.C., Zdancewic, S. (eds.) PLAS, pp. 7\u201316. ACM (2006)","DOI":"10.1145\/1134744.1134748"},{"key":"30_CR24","doi-asserted-by":"crossref","unstructured":"Blech, J.O., P\u00e9rin, M.: Generating invariant-based certificates for embedded systems. ACM Transactions on Embedded Computing Systems (accepted for publication, 2012)","DOI":"10.1145\/2220336.2220346"},{"key":"30_CR25","unstructured":"Object Management Group: Unified modeling language (uml), Version 2.0 (August 2005)"},{"key":"30_CR26","unstructured":"CEA LIST: Papyrus uml (2012), \n                    \n                      http:\/\/www.papyrusuml.org"},{"key":"30_CR27","doi-asserted-by":"crossref","unstructured":"Blech, J.O., Mou, D., Ratiu, D.: Reusing test-cases on different levels of abstraction in a model based development tool. In: Petrenko, A.K., Schlingloff, H. (eds.) MBT. EPTCS, vol.\u00a080, pp. 13\u201327 (2012)","DOI":"10.4204\/EPTCS.80.2"},{"key":"30_CR28","doi-asserted-by":"crossref","unstructured":"Koss, D., Sellmayr, F., Bauereiss, S., Bytschkow, D., Gupta, P., Sch\u00e4tz, B.: Establishing a smart grid node architecture and demonstrator in an office environment using the soa approach. In: Proceedings of the First International ICSE Workshop on Software Engineering Challenges for the Smart Grid. IEEE (2012)","DOI":"10.1109\/SE4SG.2012.6225710"},{"key":"30_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-18275-4_10","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"C.-H. Cheng","year":"2011","unstructured":"Cheng, C.-H., Rue\u00df, H., Knoll, A., Buckl, C.: Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol.\u00a06538, pp. 118\u2013133. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:41:21Z","timestamp":1620132081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}