{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:13:13Z","timestamp":1773148393628,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540773948","type":"print"},{"value":"9783540773955","type":"electronic"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-77395-5_6","type":"book-chapter","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T11:25:53Z","timestamp":1196940353000},"page":"63-74","source":"Crossref","is-referenced-by-count":17,"title":["Runtime Verification of Interactions: From MSCs to Aspects"],"prefix":"10.1007","author":[{"given":"Ingolf H.","family":"Kr\u00fcger","sequence":"first","affiliation":[]},{"given":"Michael","family":"Meisinger","sequence":"additional","affiliation":[]},{"given":"Massimiliano","family":"Menarini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Ahluwalia, J., Kr\u00fcger, I., Meisinger, M., Phillips, W.: Model-Based Run-Time Monitoring of End-to-End Deadlines. In: EMSOFT. Proceedings of the Conference on Embedded Systems Software (2005)","DOI":"10.1145\/1086228.1086248"},{"key":"6_CR2","volume-title":"RV\u20192005. Proceedings of the Fifth International Workshop on Runtime Verification ENTCS 144","year":"2005","unstructured":"Barringer, H., Finkbeiner, B., Gurevich, Y., Sipma, H. (eds.): RV\u20192005. Proceedings of the Fifth International Workshop on Runtime Verification ENTCS 144, Edinburgh, Scotland. Elsevier, Amsterdam, UK (2005)"},{"key":"6_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1007\/978-3-540-32254-2_23","volume-title":"Mechanizing Mathematical Reasoning","author":"M. Broy","year":"2005","unstructured":"Broy, M.: The Impact of Models in Software Development. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol.\u00a02605, pp. 396\u2013406. Springer, Heidelberg (2005)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Broy, M., Kr\u00fcger, I., Meisinger, M.: A Formal Model of Services. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a016(1) (2007)","DOI":"10.1145\/1189748.1189753"},{"key":"6_CR5","unstructured":"France, R., Georg, G., Ray, I.: Supporting Multi-Dimensional Separation of Design Concerns. In: The 3rd AOSD Modeling With UML Workshop (2003)"},{"key":"6_CR6","unstructured":"Havelund, K., Goldberg, A.: Verify Your Runs. In: Proceedings of the Grand Verification Challenge Workshop Verified Software: Theories, Tools, Experiments, Zurich, Switzerland (2005)"},{"key":"6_CR7","unstructured":"ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC). Geneva (1996)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"Proceedings of the 15th European Conference on Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect Oriented Programming. Technical report, Xerox Corp (1997)","DOI":"10.1007\/BFb0053381"},{"key":"6_CR10","unstructured":"Kr\u00fcger, I.: Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universit\u00e4t M\u00fcnchen (2000)"},{"key":"6_CR11","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-0-387-35570-2_5","volume-title":"Distributed and Parallel Embedded Systems","author":"I. Kr\u00fcger","year":"1999","unstructured":"Kr\u00fcger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: Rammig, F.J. (ed.) Distributed and Parallel Embedded Systems, pp. 61\u201371. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Kr\u00fcger, I., Lee, G., Meisinger, M.: Automating Software Architecture Exploration with M2Aspects. In: SCESM. Proceedings of the ICSE 2006 Workshop on Scenarios and State Machines (2006)","DOI":"10.1145\/1138953.1138964"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Kr\u00fcger, I., Mathew, R., Meisinger, M.: Efficient Exploration of Service-Oriented Architectures using Aspects. In: ICSE. Proceedings of the 28th International Conference on Software Engineering (2006)","DOI":"10.1145\/1134285.1134296"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Kr\u00fcger, I.H., Ahluwalia, J., Gupta, D., Mathew, R., Moorthy, P., Phillips, W., Rittmann, S.: Towards a Process and Tool-Chain for Service-Oriented Automotive Software Engineering. In: SEAS. Proceedings of the ICSE 2004 Workshop on Software Engineering for Automotive Systems (2004)","DOI":"10.1049\/ic:20040337"},{"key":"6_CR15","unstructured":"Leue, S.: Methods and Semantics for Telecommunications Systems Engineering. PhD thesis, University of Berne, Switzerland (1994)"},{"key":"6_CR16","unstructured":"OMG (Object Management Group). Model Driven Architecture (MDA). MDA Guide 1.0.1, omg\/03-06-01 (2003), \n                    \n                      http:\/\/www.omg.org\/mda"},{"key":"6_CR17","unstructured":"OMG (Object Management Group). UML, Version 2.0. OMG Specification formal\/05-07-04 (superstructure) and formal\/05-07-05 (infrastructure) (2005)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77395-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:24:56Z","timestamp":1558279496000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77395-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540773948","9783540773955"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77395-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}