{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T20:50:32Z","timestamp":1770497432617,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T00:00:00Z","timestamp":1653091200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"US National Science Foundation","award":["CNS 1931962"],"award-info":[{"award-number":["CNS 1931962"]}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P 30525-N31"],"award-info":[{"award-number":["P 30525-N31"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Linz Institute of Technology","award":["LIT-2019-7-INC-316"],"award-info":[{"award-number":["LIT-2019-7-INC-316"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,21]]},"DOI":"10.1145\/3510454.3528647","type":"proceedings-article","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T16:16:28Z","timestamp":1666196188000},"page":"350-351","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Flexible model-driven runtime monitoring support for cyber-physical systems"],"prefix":"10.1145","author":[{"given":"Marco","family":"Stadler","sequence":"first","affiliation":[{"name":"Johannes Kepler University Linz, Linz, Austria"}]},{"given":"Michael","family":"Vierhauser","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Linz, Austria"}]},{"given":"Antonio","family":"Garmendia","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Linz, Austria"}]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Linz, Austria"}]},{"given":"Jane","family":"Cleland-Huang","sequence":"additional","affiliation":[{"name":"University of Notre Dame"}]}],"member":"320","published-online":{"date-parts":[[2022,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.02.022"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.9745\/GHSP-D-19-00119"},{"key":"e_1_3_2_1_3_1","volume-title":"Guglielmo De Angelis","author":"Hamida Amira Ben","year":"2012","unstructured":"Amira Ben Hamida , Antonia Bertolino , Antonello Calabr\u00f2 , Guglielmo De Angelis , Nelson Lago , and Julien Lesbegueries. 2012 . Monitoring service choreographies from multiple sources. In Proc. of the 4th Int'l WS on Software Engineering for Resilient Systems. Springer, 134--149. Amira Ben Hamida, Antonia Bertolino, Antonello Calabr\u00f2, Guglielmo De Angelis, Nelson Lago, and Julien Lesbegueries. 2012. Monitoring service choreographies from multiple sources. In Proc. of the 4th Int'l WS on Software Engineering for Resilient Systems. Springer, 134--149."},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. of the 7th Int'l Symp. on Service Oriented System Engineering. IEEE, 92--102","author":"Li Bixin","year":"2013","unstructured":"Bixin Li , Shunhui Ji , Li Liao , Dong Qiu , and Mingjie Sun . 2013 . Monitoring Web Services for Conformance . In Proc. of the 7th Int'l Symp. on Service Oriented System Engineering. IEEE, 92--102 . Bixin Li, Shunhui Ji, Li Liao, Dong Qiu, and Mingjie Sun. 2013. Monitoring Web Services for Conformance. In Proc. of the 7th Int'l Symp. on Service Oriented System Engineering. IEEE, 92--102."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/65.244791"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/RoSE52553.2021.00008"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2019.03.013"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3419804.3420262"},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. of the Work in Progress Session of SEAA","author":"Ruz Cristian","year":"2010","unstructured":"Cristian Ruz , Fran\u00e7oise Baude , and Bastien Sauvan . 2010 . Enabling SLA Monitoring for Component-Based SOA Applications-A Component-Based Approach . Proc. of the Work in Progress Session of SEAA (2010), 41--42. Cristian Ruz, Fran\u00e7oise Baude, and Bastien Sauvan. 2010. Enabling SLA Monitoring for Component-Based SOA Applications-A Component-Based Approach. Proc. of the Work in Progress Session of SEAA (2010), 41--42."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/RoSE52553.2021.00014"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER52604.2021.00028"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468534"}],"event":{"name":"ICSE '22: 44th International Conference on Software Engineering","location":"Pittsburgh Pennsylvania","acronym":"ICSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 44th International Conference on Software Engineering: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510454.3528647","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510454.3528647","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:42Z","timestamp":1750188642000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510454.3528647"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,21]]},"references-count":12,"alternative-id":["10.1145\/3510454.3528647","10.1145\/3510454"],"URL":"https:\/\/doi.org\/10.1145\/3510454.3528647","relation":{},"subject":[],"published":{"date-parts":[[2022,5,21]]},"assertion":[{"value":"2022-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}