{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:28Z","timestamp":1750220788806,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T00:00:00Z","timestamp":1593388800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,29]]},"DOI":"10.1145\/3387939.3388614","type":"proceedings-article","created":{"date-parts":[[2020,9,19]],"date-time":"2020-09-19T02:13:13Z","timestamp":1600481593000},"page":"188-194","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Towards highly scalable runtime models with history"],"prefix":"10.1145","author":[{"given":"Lucas","family":"Sakizloglou","sequence":"first","affiliation":[{"name":"University of Potsdam, Germany"}]},{"given":"Sona","family":"Ghahremani","sequence":"additional","affiliation":[{"name":"University of Potsdam, Germany"}]},{"given":"Thomas","family":"Brand","sequence":"additional","affiliation":[{"name":"University of Potsdam, Germany"}]},{"given":"Matthias","family":"Barkowsky","sequence":"additional","affiliation":[{"name":"University of Potsdam, Germany"}]},{"given":"Holger","family":"Giese","sequence":"additional","affiliation":[{"name":"University of Potsdam, Germany"}]}],"member":"320","published-online":{"date-parts":[[2020,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2775180"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699444"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-00712-x"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2012.34"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.326"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2019.00006"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89363-1_7"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-019-00531-5"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2015.2417684"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110363.2110382"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1814539.1814551"},{"key":"e_1_3_2_1_12_1","first-page":"313","article-title":"The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic","volume":"1","author":"Courcelle Bruno","year":"1997","unstructured":"Bruno Courcelle. 1997. The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic. Handb. Graph Gramm. 1 (1997), 313--400.","journal-title":"Handb. Graph Gramm."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2017.9"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30203-2_13"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-46464-8_21"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.14"},{"key":"e_1_3_2_1_17_1","volume-title":"Garcia-Paucar","author":"Garcia Antonio","year":"2019","unstructured":"Antonio Garcia, Nelly Bencomo, Juan Parra, and Luis H. Garcia-Paucar. 2019. Querying and annotating model histories with time-aware patterns. In IEEE\/ACM 22nd international conference on model driven engineering languages and systems (MODELS), Marouane Kessentini, Tao Yue, Alexander Pretschner, Sebastian Voss, and Loli Burgue no (Eds.). https:\/\/research.aston.ac.uk\/en\/publications\/querying-and-annotating-model-histories-with-time-aware-patterns"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-89828-5_2"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2017.35"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3380965"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.14279\/tuj.eceasst.18.268"},{"volume-title":"Fundamental Approaches to Software Engineering (Lecture Notes in Computer Science), Reiner H\u00e4hnle and Wil van der Aalst (Eds.)","author":"Giese Holger","key":"e_1_3_2_1_22_1","unstructured":"Holger Giese, Maria Maximova, Lucas Sakizloglou, and Sven Schneider. 2019. Metric Temporal Graph Logic over Typed Attributed Graphs. In Fundamental Approaches to Software Engineering (Lecture Notes in Computer Science), Reiner H\u00e4hnle and Wil van der Aalst (Eds.). Springer International Publishing, 282--298."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129508007202"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-73117-9_11"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11653-2_16"},{"key":"e_1_3_2_1_26_1","volume-title":"Runtime Verification: From Propositional to First-Order Temporal Logic. In Runtime Verification (Lecture Notes in Computer Science)","author":"Havelund Klaus","year":"2018","unstructured":"Klaus Havelund and Doron Peled. 2018. Runtime Verification: From Propositional to First-Order Temporal Logic. In Runtime Verification (Lecture Notes in Computer Science), Christian Colombo and Martin Leucker (Eds.). Springer International Publishing, 90--112."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2017.8102249"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2013.41"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TOOLS.2000.10010"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239104"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2017.10.045"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/5254.769885"},{"key":"e_1_3_2_1_36_1","volume-title":"Towards a Comprehensive Data Analytics Framework for Smart Healthcare Services. [Big Data Research 4","author":"Sakr Sherif","year":"2016","unstructured":"Sherif Sakr and Amal Elgammal. 2016. Towards a Comprehensive Data Analytics Framework for Smart Healthcare Services. [Big Data Research 4 (2016), 44 -- 58. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S221457961530023X"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1808984.1808989"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555228.1555249"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12261-3_13"},{"key":"e_1_3_2_1_40_1","first-page":"1736","article-title":"Prevention ofInfective Endocarditis","volume":"116","author":"Wilson Walter","year":"2007","unstructured":"Walter Wilson, Kathryn A. Taubert, Michael Gewitz, Peter B. Lockhart, Larry M. Baddour, Matthew Levison, Ann Bolger, Christopher H. Cabell, Masato Takahashi, Robert S. Baltimore, and others. 2007. Prevention ofInfective Endocarditis: A Guideline From the American Heart Association. Circulation 116, 15 (2007), 1736--1754. http:\/\/circ.ahajournals.org\/content\/116\/15\/1736.short","journal-title":"A Guideline From the American Heart Association. Circulation"}],"event":{"name":"SEAMS '20: IEEE\/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Seoul Republic of Korea","acronym":"SEAMS '20"},"container-title":["Proceedings of the IEEE\/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387939.3388614","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387939.3388614","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:42Z","timestamp":1750200102000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387939.3388614"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,29]]},"references-count":39,"alternative-id":["10.1145\/3387939.3388614","10.1145\/3387939"],"URL":"https:\/\/doi.org\/10.1145\/3387939.3388614","relation":{},"subject":[],"published":{"date-parts":[[2020,6,29]]},"assertion":[{"value":"2020-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}