{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:08:53Z","timestamp":1725865733034},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319469812"},{"type":"electronic","value":"9783319469829"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-46982-9_29","type":"book-chapter","created":{"date-parts":[[2016,9,19]],"date-time":"2016-09-19T11:41:08Z","timestamp":1474285268000},"page":"454-461","source":"Crossref","is-referenced-by-count":0,"title":["Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper)"],"prefix":"10.1007","author":[{"given":"Fernando","family":"Macias","sequence":"first","affiliation":[]},{"given":"Torben","family":"Scheffel","sequence":"additional","affiliation":[]},{"given":"Malte","family":"Schmitz","sequence":"additional","affiliation":[]},{"given":"Rui","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,20]]},"reference":[{"issue":"3","key":"29_CR1","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/s10270-007-0061-0","volume":"7","author":"C Atkinson","year":"2008","unstructured":"Atkinson, C., K\u00fchne, T.: Reducing accidental complexity in domain models. Softw. Syst. Model. 7(3), 345\u2013359 (2008)","journal-title":"Softw. Syst. Model."},{"issue":"4","key":"29_CR2","doi-asserted-by":"crossref","first-page":"14:1","DOI":"10.1145\/2000799.2000800","volume":"20","author":"A Bauer","year":"2011","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4), 14:1\u201314:64 (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Callow, G., Watson, G., Kalawsky, R.: System modelling for run-time verification and validation of autonomous systems. In: Proceedings of System of Systems Engineering (SoSE), pp. 1\u20137. IEEE (2010)","DOI":"10.1109\/SYSOSE.2010.5544117"},{"issue":"2","key":"29_CR4","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/s10009-015-0380-3","volume":"18","author":"N Decker","year":"2016","unstructured":"Decker, N., Leucker, M., Thoma, D.: Monitoring modulo theories. Softw. Tools Technol. Transf. (STTT) 18(2), 205\u2013225 (2016)","journal-title":"Softw. Tools Technol. Transf. (STTT)"},{"issue":"1","key":"29_CR5","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/s10270-013-0323-y","volume":"14","author":"Y Falcone","year":"2015","unstructured":"Falcone, Y., Jaber, M., Nguyen, T.H., Bozga, M., Bensalem, S.: Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Softw. Syst. Model. 14(1), 173\u2013199 (2015)","journal-title":"Softw. Syst. Model."},{"key":"29_CR6","volume-title":"Domain-Specific Languages","author":"M Fowler","year":"2010","unstructured":"Fowler, M.: Domain-Specific Languages. Pearson Education, Essex (2010)"},{"issue":"1","key":"29_CR7","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s10009-011-0186-x","volume":"14","author":"AH Ghamarian","year":"2012","unstructured":"Ghamarian, A.H., de Mol, M., Rensink, A., Zambon, E., Zimakova, M.: Modelling and analysis using GROOVE. Softw. Tools Technol. Transf. (STTT) 14(1), 15\u201340 (2012)","journal-title":"Softw. Tools Technol. Transf. (STTT)"},{"key":"29_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/978-3-642-21210-9_21","volume-title":"Models in Software Engineering","author":"G Lehmann","year":"2011","unstructured":"Lehmann, G., Blumendorf, M., Trollmann, F., Albayrak, S.: Meta-modeling runtime models. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 209\u2013223. Springer, Heidelberg (2011)"},{"key":"29_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/978-3-642-29860-8_4","volume-title":"Runtime Verification","author":"M Leucker","year":"2012","unstructured":"Leucker, M.: Teaching runtime verification. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 34\u201348. Springer, Heidelberg (2012)"},{"issue":"5","key":"29_CR10","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Logic Algebraic Program. 78(5), 293\u2013303 (2009)","journal-title":"J. Logic Algebraic Program."},{"key":"29_CR11","unstructured":"Macias, F., Rutle, A., Stolz, V.: A property specification language for runtime verification of executable models. In: Nordic Workshop on Programming Theory (NWPT). pp. 97\u201399, Technical report. RUTR-SCS16001, School of Computer Science, Reykjavik University (2015)"},{"key":"29_CR12","volume-title":"MDA Distilled: Principles of Model-driven Architecture","author":"SJ Mellor","year":"2004","unstructured":"Mellor, S.J.: MDA Distilled: Principles of Model-driven Architecture. Addison-Wesley Professional, Boston (2004)"},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Mostafa, M., Bonakdarpour, B.: Decentralized runtime verification of LTL specifications in distributed systems. In: Proceedings of Parallel and Distributed Processing Symposium (IPDPS), pp. 494\u2013503. IEEE (2015)","DOI":"10.1109\/IPDPS.2015.95"},{"issue":"3","key":"29_CR14","first-page":"247","volume":"4","author":"J Raskin","year":"1999","unstructured":"Raskin, J., Schobbens, P.: The logic of event clocks - decidability, complexity and expressiveness. J. Autom. Lang. Comb. 4(3), 247\u2013286 (1999)","journal-title":"J. Autom. Lang. Comb."},{"issue":"6","key":"29_CR15","doi-asserted-by":"crossref","first-page":"1115","DOI":"10.1007\/s00165-014-0307-x","volume":"26","author":"A Rossini","year":"2014","unstructured":"Rossini, A., de Lara, J., Guerra, E., Rutle, A., Wolter, U.: A formalisation of deep metamodelling. Formal Aspects Comput. 26(6), 1115\u20131152 (2014)","journal-title":"Formal Aspects Comput."},{"key":"29_CR16","doi-asserted-by":"crossref","unstructured":"Rutle, A., MacCaull, W., Wang, H., Lamo, Y.: A metamodelling approach to behavioural modelling. In: Proceedings of Behaviour Modelling-Foundations and Applications, pp. 5:1\u20135:10. ACM (2012)","DOI":"10.1145\/2325276.2325281"},{"key":"29_CR17","doi-asserted-by":"crossref","unstructured":"Scheffel, T., Schmitz, M.: Three-valued asynchronous distributed runtime verification. In: Proceedings of Formal Methods and Models for Codesign, MEMOCODE, pp. 52\u201361. IEEE (2014)","DOI":"10.1109\/MEMCOD.2014.6961843"},{"key":"29_CR18","doi-asserted-by":"crossref","unstructured":"Sen, K., Vardhan, A., Agha, G., Rosu, G.: Efficient decentralized monitoring of safety in distributed systems. In: Proceedings of Software Engineering (ICSE), pp. 418\u2013427. IEEE (2004)","DOI":"10.1109\/ICSE.2004.1317464"},{"issue":"3","key":"29_CR19","doi-asserted-by":"crossref","first-page":"743","DOI":"10.1093\/logcom\/exn078","volume":"20","author":"V Stolz","year":"2010","unstructured":"Stolz, V.: Temporal assertions with parametrized propositions. J. Log. Comput. 20(3), 743\u2013757 (2010)","journal-title":"J. Log. Comput."},{"key":"29_CR20","doi-asserted-by":"crossref","unstructured":"Wang, H., Rutle, A., MacCaull, W.: A formal diagrammatic approach to timed workflow modelling. In: Proceedings of Theoretical Aspects of Software Engineering (TASE), pp. 167\u2013174. IEEE (2012)","DOI":"10.1109\/TASE.2012.14"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46982-9_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T19:09:30Z","timestamp":1498331370000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46982-9_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319469812","9783319469829"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46982-9_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}