{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:49:14Z","timestamp":1725702554968},"publisher-location":"Berlin, Heidelberg","reference-count":15,"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_13","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T01:07:20Z","timestamp":1348621640000},"page":"162-177","source":"Crossref","is-referenced-by-count":0,"title":["Delta-Oriented Monitor Specification"],"prefix":"10.1007","author":[{"given":"Eric","family":"Bodden","sequence":"first","affiliation":[]},{"given":"Kevin","family":"Falzon","sequence":"additional","affiliation":[]},{"given":"Ka I.","family":"Pun","sequence":"additional","affiliation":[]},{"given":"Volker","family":"Stolz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Aldrich, J., Sunshine, J., Saini, D., Sparks, Z.: Typestate-oriented programming. In: Proc. 24th ACM SIGPLAN Conf. Companion on Object Oriented Programming Systems Languages and Applications, OOPSLA 2009, pp. 1015\u20131022. ACM (2009)","DOI":"10.1145\/1639950.1640073"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/11821946_10","volume-title":"Software Composition","author":"E. Bodden","year":"2006","unstructured":"Bodden, E., Stolz, V.: Tracechecks: Defining Semantic Interfaces with Temporal Logic. In: L\u00f6we, W., S\u00fcdholt, M. (eds.) SC 2006. LNCS, vol.\u00a04089, pp. 147\u2013162. Springer, Heidelberg (2006)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Chen, F., Ro\u015fu, G.: MOP: an efficient and generic runtime verification framework. In: OOPSLA 2007, pp. 569\u2013588. ACM (2007)","DOI":"10.1145\/1297105.1297069"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-642-21455-4_13","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"D. Clarke","year":"2011","unstructured":"Clarke, D., Diakov, N., H\u00e4hnle, R., Johnsen, E.B., Schaefer, I., Sch\u00e4fer, J., Schlatte, R., Wong, P.Y.H.: Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 417\u2013457. Springer, Heidelberg (2011)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract delta modeling. In: Visser, E., J\u00e4rvi, J. (eds.) GPCE, pp. 13\u201322. ACM (2010)","DOI":"10.1145\/1868294.1868298"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/978-3-642-25271-6_11","volume-title":"FMCO 2011","author":"D. Clarke","year":"2011","unstructured":"Clarke, D., Muschevici, R., Proen\u00e7a, J., Schaefer, I., Schlatte, R.: Variability Modelling in the ABS Language. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol.\u00a06957, pp. 204\u2013224. Springer, Heidelberg (2011)"},{"key":"13_CR7","unstructured":"Fleurey, F., Haugen, \u00d8., M\u00f8ller-Pedersen, B., Olsen, G.K., Svendsen, A., Zhang, X.: A generic language and tool for variability modeling. Technical Report A13505, SINTEF, Oslo, Norway (2009)"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/978-3-642-11623-0_19","volume-title":"Fundamentals of Software Engineering","author":"I. Grabe","year":"2010","unstructured":"Grabe, I., Kyas, M., Steffen, M., Torjusen, A.B.: Executable Interface Specifications for Testing Asynchronous Creol Components. In: Arbab, F., Sirjani, M. (eds.) FSEN 2009. LNCS, vol.\u00a05961, pp. 324\u2013339. Springer, Heidelberg (2010)"},{"issue":"2\u20133","key":"13_CR9","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/j.tcs.2008.09.019","volume":"410","author":"P. Haller","year":"2009","unstructured":"Haller, P., Odersky, M.: Scala actors: Unifying thread-based and event-based programming. Theoretical Computer Science\u00a0410(2\u20133), 202\u2013220 (2009)","journal-title":"Theoretical Computer Science"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Auletta, V. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-16612-9_22","volume-title":"Runtime Verification","author":"C.H.P. Kim","year":"2010","unstructured":"Kim, C.H.P., Bodden, E., Batory, D., Khurshid, S.: Reducing Configurations to Monitor in a Software Product Line. 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. 285\u2013299. Springer, Heidelberg (2010)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Liebig, J., Apel, S., Lengauer, C., K\u00e4stner, C., Schulze, M.: An analysis of the variability in forty preprocessor-based software product lines. In: ICSE 2010 (1), pp. 105\u2013114. IEEE (2010)","DOI":"10.1145\/1806799.1806819"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","first-page":"182","volume-title":"FACS 2010","author":"D. Mouheb","year":"2010","unstructured":"Mouheb, D., Alhadidi, D., Nouh, M., Debbabi, M., Wang, L., Pourzandi, M.: Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework. In: Barbosa, L.S., Lumpe, M. (eds.) FACS 2010. LNCS, vol.\u00a06921, pp. 182\u2013199. Springer, Heidelberg (2010)"},{"key":"13_CR14","series-title":"SCI","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-642-13273-5_13","volume-title":"Software Engineering Research, Management and Applications 2010","author":"D. Mouheb","year":"2010","unstructured":"Mouheb, D., Talhi, C., Nouh, M., Lima, V., Debbabi, M., Wang, L., Pourzandi, M.: Aspect-Oriented Modeling for Representing and Integrating Security Concerns in UML. In: Lee, R., Ormandjieva, O., Abran, A., Constantinides, C. (eds.) SERA 2010. SCI, vol.\u00a0296, pp. 197\u2013213. Springer, Heidelberg (2010)"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"The Common Component Modeling Example","year":"2008","unstructured":"Rausch, A., Reussner, R., Mirandola, R., Pl\u00e1\u0161il, F. (eds.): The Common Component Modeling Example. LNCS, vol.\u00a05153. Springer, Heidelberg (2008)"}],"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_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:41:13Z","timestamp":1620132073000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}