{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:06:54Z","timestamp":1762459614108,"version":"3.37.3"},"publisher-location":"Cham","reference-count":49,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319893624"},{"type":"electronic","value":"9783319893631"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89363-1_7","type":"book-chapter","created":{"date-parts":[[2018,4,3]],"date-time":"2018-04-03T09:04:43Z","timestamp":1522746283000},"page":"111-128","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2702-6174","authenticated-orcid":false,"given":"M\u00e1rton","family":"B\u00far","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00e1bor","family":"Szil\u00e1gyi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7617-3563","authenticated-orcid":false,"given":"Andr\u00e1s","family":"V\u00f6r\u00f6s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8790-252X","authenticated-orcid":false,"given":"D\u00e1niel\u00a0","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,4]]},"reference":[{"issue":"5","key":"7_CR1","doi-asserted-by":"crossref","first-page":"774","DOI":"10.1016\/j.tre.2007.04.001","volume":"44","author":"M Abril","year":"2008","unstructured":"Abril, M., et al.: An assessment of railway capacity. Transp. Res. Part E Logist. Transp. Rev. 44(5), 774\u2013806 (2008)","journal-title":"Transp. Res. Part E Logist. Transp. Rev."},{"issue":"1","key":"7_CR2","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/TETCI.2016.2641452","volume":"1","author":"C Alippi","year":"2017","unstructured":"Alippi, C., et al.: Model-free fault detection and isolation in large-scale cyber-physical systems. IEEE Trans. Emerg. Top. Comput. Intell. 1(1), 61\u201371 (2017)","journal-title":"IEEE Trans. Emerg. Top. Comput. Intell."},{"key":"7_CR3","unstructured":"AUTOSAR Tool Platform: Artop. https:\/\/www.artop.org\/"},{"key":"7_CR4","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. 7436, pp. 68\u201384. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32759-9_9"},{"issue":"1\u20132","key":"7_CR5","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/s10703-016-0253-8","volume":"48","author":"A Bauer","year":"2016","unstructured":"Bauer, A., Falcone, Y.: Decentralised LTL monitoring. Formal Methods Syst. Des. 48(1\u20132), 46\u201393 (2016)","journal-title":"Formal Methods Syst. Des."},{"issue":"4","key":"7_CR6","doi-asserted-by":"crossref","first-page":"14","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 (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-21732-6_12","volume-title":"Theory and Practice of Model Transformations","author":"G Bergmann","year":"2011","unstructured":"Bergmann, G., Ujhelyi, Z., R\u00e1th, I., Varr\u00f3, D.: A graph query language for EMF models. In: Cabot, J., Visser, E. (eds.) ICMT 2011. LNCS, vol. 6707, pp. 167\u2013182. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21732-6_12"},{"issue":"10","key":"7_CR8","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/MC.2009.326","volume":"42","author":"GS Blair","year":"2009","unstructured":"Blair, G.S., et al.: Models@run.time. IEEE Comput. 42(10), 22\u201327 (2009)","journal-title":"IEEE Comput."},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-319-21145-9_18","volume-title":"Graph Transformation","author":"M B\u00far","year":"2015","unstructured":"B\u00far, M., Ujhelyi, Z., Horv\u00e1th, \u00c1., Varr\u00f3, D.: Local search-based pattern matching features in EMF-IncQuery. In: Parisi-Presicce, F., Westfechtel, B. (eds.) ICGT 2015. LNCS, vol. 9151, pp. 275\u2013282. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21145-9_18"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-319-08915-7_4","volume-title":"Models@run.time","author":"BHC Cheng","year":"2014","unstructured":"Cheng, B.H.C., et al.: Using models at runtime to address assurance for self-adaptive systems. In: Bencomo, N., France, R., Cheng, B.H.C., A\u00dfmann, U. (eds.) Models@run.time. LNCS, vol. 8378, pp. 101\u2013136. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08915-7_4"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10270-016-0533-1","volume":"17","author":"I D\u00e1vid","year":"2016","unstructured":"D\u00e1vid, I., R\u00e1th, I., Varr\u00f3, D.: Foundations for streaming model transformations by complex event processing. Softw. Syst. Model. 17, 1\u201328 (2016). https:\/\/doi.org\/10.1007\/s10270-016-0533-1","journal-title":"Softw. Syst. Model."},{"issue":"2","key":"7_CR12","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/s10009-015-0380-3","volume":"18","author":"N Decker","year":"2015","unstructured":"Decker, N., Leucker, M., Thoma, D.: Monitoring modulo theories. Int. J. Softw. Tools Technol. Transf. 18(2), 205\u2013225 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/978-3-319-21668-3_25","volume-title":"Computer Aided Verification","author":"A Desai","year":"2015","unstructured":"Desai, A., Seshia, S.A., Qadeer, S., Broman, D., Eidson, J.C.: Approximate synchrony: an abstraction for distributed almost-synchronous systems. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9207, pp. 429\u2013448. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21668-3_25"},{"key":"7_CR14","unstructured":"Emery, D.: Headways on high speed lines. In: 9th World Congress on Railway Research, pp. 22\u201326 (2011)"},{"key":"7_CR15","unstructured":"G\u00f6nczy, L., et al.: MDD-based design, configuration, and monitoring of resilient cyber-physical systems. Trustworthy Cyber-Physical Systems Engineering (2016)"},{"key":"7_CR16","unstructured":"Google: Protocol buffers. https:\/\/github.com\/google\/protobuf"},{"issue":"2","key":"7_CR17","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s10009-014-0309-2","volume":"17","author":"K Havelund","year":"2015","unstructured":"Havelund, K.: Rule-based runtime verification revisited. Int. J. Softw. Tools Technol. Transf. 17(2), 143\u2013170 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"7_CR18","unstructured":"Hewitt, C., et al.: A universal modular ACTOR formalism for artificial intelligence. In: International Joint Conference on Artificial Intelligence, pp. 235\u2013245 (1973)"},{"key":"7_CR19","unstructured":"Hor\u00e1nyi, G., Micskei, Z., Majzik, I.: Scenario-based automated evaluation of test traces of autonomous systems. In: DECS workshop at SAFECOMP (2013)"},{"issue":"4","key":"7_CR20","doi-asserted-by":"crossref","first-page":"1367","DOI":"10.1007\/s10270-014-0405-5","volume":"14","author":"MZ Iqbal","year":"2015","unstructured":"Iqbal, M.Z., et al.: Applying UML\/MARTE on industrial projects: challenges, experiences, and guidelines. Softw. Syst. Model. 14(4), 1367\u20131385 (2015)","journal-title":"Softw. Syst. Model."},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Joshi, Y., et al.: Runtime verification of LTL on lossy traces. In: Proceedings of the Symposium on Applied Computing - SAC 2017, pp. 1379\u20131386. ACM Press (2017)","DOI":"10.1145\/3019612.3019827"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-642-54804-8_23","volume-title":"Fundamental Approaches to Software Engineering","author":"C Krause","year":"2014","unstructured":"Krause, C., Tichy, M., Giese, H.: Implementing graph transformations in the bulk synchronous parallel model. In: Gnesi, S., Rensink, A. (eds.) FASE 2014. LNCS, vol. 8411, pp. 325\u2013339. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54804-8_23"},{"key":"7_CR23","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1016\/j.pmcj.2014.09.009","volume":"17","author":"C Krupitzer","year":"2015","unstructured":"Krupitzer, C., et al.: A survey on engineering approaches for self-adaptive systems. Perv. Mob. Comput. 17, 184\u2013206 (2015)","journal-title":"Perv. Mob. Comput."},{"issue":"5","key":"7_CR24","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. Log. Algebr. Program. 78(5), 293\u2013303 (2009)","journal-title":"J. Log. Algebr. Program."},{"issue":"3","key":"7_CR25","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/s10009-011-0198-6","volume":"14","author":"PO Meredith","year":"2012","unstructured":"Meredith, P.O., et al.: An overview of the MOP runtime verification framework. Int. J. Softw. Tools Technol. Transf. 14(3), 249\u2013289 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-319-11164-3_17","volume-title":"Runtime Verification","author":"S Mitsch","year":"2014","unstructured":"Mitsch, S., Platzer, A.: ModelPlex: verified runtime validation of verified cyber-physical system models. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 199\u2013214. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11164-3_17"},{"issue":"10","key":"7_CR27","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1145\/2714064.2660242","volume":"49","author":"R Mitschke","year":"2014","unstructured":"Mitschke, R., Erdweg, S., K\u00f6hler, M., Mezini, M., Salvaneschi, G.: i3QL: Language-integrated live data views. ACM SIGPLAN Not. 49(10), 417\u2013432 (2014)","journal-title":"ACM SIGPLAN Not."},{"key":"7_CR28","unstructured":"Morin, B., et al.: Kevoree Modeling Framework (KMF): efficient modeling techniques for runtime use. University of Luxembourg, Technical report (2014)"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Mostafa, M., Bonakdarpour, B.: Decentralized runtime verification of LTL specifications in distributed systems. In: 2015 IEEE International Parallel and Distributed Processing Symposium, pp. 494\u2013503, May 2015","DOI":"10.1109\/IPDPS.2015.95"},{"issue":"2","key":"7_CR30","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/2794381","volume":"48","author":"CB Nielsen","year":"2015","unstructured":"Nielsen, C.B., et al.: Systems of systems engineering: Basic concepts, model-based techniques, and research directions. ACM Comput. Surv. 48(2), 18 (2015)","journal-title":"ACM Comput. Surv."},{"key":"7_CR31","unstructured":"No Magic: MagicDraw. https:\/\/www.nomagic.com\/products\/magicdraw"},{"key":"7_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-319-07443-6_19","volume-title":"The Semantic Web: Trends and Challenges","author":"M Peters","year":"2014","unstructured":"Peters, M., Brink, C., Sachweh, S., Z\u00fcndorf, A.: Scaling parallel rule-based reasoning. In: Presutti, V., d\u2019Amato, C., Gandon, F., d\u2019Aquin, M., Staab, S., Tordai, A. (eds.) ESWC 2014. LNCS, vol. 8465, pp. 270\u2013285. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07443-6_19"},{"key":"7_CR33","unstructured":"Soboci\u0144ski, B.: Axiomatization of a Partial System of Three-Value Calculus of Propositions. Institute of Applied Logic (1952)"},{"key":"7_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1007\/978-3-319-11653-2_40","volume-title":"Model-Driven Engineering Languages and Systems","author":"G Sz\u00e1rnyas","year":"2014","unstructured":"Sz\u00e1rnyas, G., Izs\u00f3, B., R\u00e1th, I., Harmath, D., Bergmann, G., Varr\u00f3, D.: IncQuery-D: a distributed incremental model query framework in the cloud. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 653\u2013669. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11653-2_40"},{"key":"7_CR35","doi-asserted-by":"publisher","unstructured":"Sz\u00e1rnyas, G., et al.: The Train Benchmark: cross-technology performance evaluation of continuous model queries. Softw. Syst. Model., 1\u201329 (2017). https:\/\/doi.org\/10.1007\/s10270-016-0571-8","DOI":"10.1007\/s10270-016-0571-8"},{"issue":"1","key":"7_CR36","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/JPROC.2011.2161529","volume":"100","author":"J Sztipanovits","year":"2012","unstructured":"Sztipanovits, J., et al.: Toward a science of cyber-physical system integration. Proc. IEEE 100(1), 29\u201344 (2012)","journal-title":"Proc. IEEE"},{"key":"7_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-54848-2_16","volume-title":"From Programs to Systems. The Systems perspective in Computing","author":"J Sztipanovits","year":"2014","unstructured":"Sztipanovits, J., Bapty, T., Neema, S., Howard, L., Jackson, E.: OpenMETA: a model- and component-based design tool chain for cyber-physical systems. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds.) ETAPS 2014. LNCS, vol. 8415, pp. 235\u2013248. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54848-2_16"},{"issue":"1","key":"7_CR38","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s10270-013-0394-9","volume":"15","author":"M Szvetits","year":"2013","unstructured":"Szvetits, M., Zdun, U.: Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime. Softw. Syst. Model. 15(1), 31\u201369 (2013)","journal-title":"Softw. Syst. Model."},{"key":"7_CR39","unstructured":"The Eclipse Project: Eclipse Modeling Framework. http:\/\/www.eclipse.org\/emf"},{"key":"7_CR40","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1016\/j.scico.2014.01.004","volume":"98","author":"Z Ujhelyi","year":"2015","unstructured":"Ujhelyi, Z., et al.: EMF-IncQuery: an integrated development environment for live model queries. Sci. Comput. Program. 98, 80\u201399 (2015)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"7_CR41","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1007\/s10270-016-0530-4","volume":"15","author":"D Varr\u00f3","year":"2016","unstructured":"Varr\u00f3, D., et al.: Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. Softw. Syst. Model 15(3), 609\u2013629 (2016)","journal-title":"Softw. Syst. Model"},{"key":"7_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-319-75396-6_16","volume-title":"Graph Transformation, Specifications, and Nets","author":"D Varr\u00f3","year":"2018","unstructured":"Varr\u00f3, D., Semer\u00e1th, O., Sz\u00e1rnyas, G., Horv\u00e1th, \u00c1.: Towards the automated generation of consistent, diverse, scalable and realistic graph models. In: Heckel, R., Taentzer, G. (eds.) Graph Transformation, Specifications, and Nets. LNCS, vol. 10800, pp. 285\u2013312. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75396-6_16"},{"issue":"2","key":"7_CR43","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1007\/s10270-013-0372-2","volume":"14","author":"G Varr\u00f3","year":"2015","unstructured":"Varr\u00f3, G., et al.: An algorithm for generating model-sensitive search plans for pattern matching on EMF models. Softw. Syst. Model 14(2), 597\u2013621 (2015)","journal-title":"Softw. Syst. Model"},{"issue":"4","key":"7_CR44","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/2555612","volume":"8","author":"T Vogel","year":"2014","unstructured":"Vogel, T., Giese, H.: Model-driven engineering of self-adaptive software with EUREMA. ACM Trans. Auton. Adapt. Syst. 8(4), 18 (2014)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"7_CR45","doi-asserted-by":"crossref","unstructured":"V\u00f6r\u00f6s, A., et al.: MoDeS3: model-based demonstrator for smart and safe cyber-physical systems. In: NASA Formal Methods Symposium (2018, accepted)","DOI":"10.1007\/978-3-319-77935-5_31"},{"issue":"3","key":"7_CR46","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/131295.131299","volume":"35","author":"DS Warren","year":"1992","unstructured":"Warren, D.S.: Memoing for logic programs. Commun. ACM 35(3), 93\u2013111 (1992)","journal-title":"Commun. ACM"},{"key":"7_CR47","unstructured":"Yakindu Statechart Tools: Yakindu. http:\/\/statecharts.org\/"},{"key":"7_CR48","unstructured":"Zhang, B., et al.: The cloud is not enough: saving IoT from the cloud. In: 7th USENIX Workshop on Hot Topics in Cloud Computing (2015)"},{"key":"7_CR49","first-page":"1","volume":"PP","author":"X Zheng","year":"2016","unstructured":"Zheng, X., et al.: Efficient and scalable runtime monitoring for cyber-physical system. IEEE Syst. J. PP, 1\u201312 (2016)","journal-title":"IEEE Syst. J."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-89363-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,13]],"date-time":"2019-10-13T20:16:45Z","timestamp":1570997805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89363-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319893624","9783319893631"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89363-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}