{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T22:43:44Z","timestamp":1780613024476,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,22]],"date-time":"2024-04-22T00:00:00Z","timestamp":1713744000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"HORIZON EUROPE Framework Programme","doi-asserted-by":"publisher","award":["101070537 (CROSSCON)"],"award-info":[{"award-number":["101070537 (CROSSCON)"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,22]]},"DOI":"10.1145\/3627703.3650070","type":"proceedings-article","created":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T06:28:28Z","timestamp":1713421708000},"page":"1175-1191","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Adaptable Runtime Monitoring for Intermittent Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4631-7834","authenticated-orcid":false,"given":"Eren","family":"Yildiz","sequence":"first","affiliation":[{"name":"Ege University, Izmir, Turkiye"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9585-6722","authenticated-orcid":false,"given":"Khakim","family":"Akhunov","sequence":"additional","affiliation":[{"name":"University of Trento, Trento, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-0164-5767","authenticated-orcid":false,"given":"Lorenzo Antonio","family":"Riva","sequence":"additional","affiliation":[{"name":"University of Trento, Trento, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2170-2066","authenticated-orcid":false,"given":"Arda","family":"Goknil","sequence":"additional","affiliation":[{"name":"SINTEF Digital, Oslo, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-3783-405X","authenticated-orcid":false,"given":"Ivan","family":"Kurtev","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands and CapGemini Engineering The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9528-6923","authenticated-orcid":false,"given":"Kasim Sinan","family":"Yildirim","sequence":"additional","affiliation":[{"name":"University of Trento, Trento, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"June","year":"2023","unstructured":"Efr32bg22 thunderboard kit. https:\/\/www.silabs.com\/development-tools\/thunderboard\/thunderboard-bg22-kit?tab=overview, June 2023. Last accessed: June. 29, 2023."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPSN.2018.00047"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3384419.3430722"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316482.3326357"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3550304"},{"key":"e_1_3_2_1_6_1","volume-title":"https:\/\/","author":"Anonymous","year":"2023","unstructured":"Anonymous. ARTEMIS Repository. https:\/\/, 2023."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3560905.3568561"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3478077"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2547919"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055031.3055082"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3356250.3360033"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3202861"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS54340.2022.00012"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2983995"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178372.3179525"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3173210"},{"key":"e_1_3_2_1_18_1","volume-title":"An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools","volume":"3","author":"Colombo Christian","year":"2017","unstructured":"Christian Colombo and Gordon J. Pace. Runtime verification using LARVA. In Giles Reger and Klaus Havelund, editors, RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, volume 3 of Kalpa Publications in Computing, pages 55--63. EasyChair, 2017."},{"key":"e_1_3_2_1_19_1","unstructured":"Powercast Corp. Powercast hardware. http:\/\/www.powercastco.com 2014. Last accessed: Dec. 10 2020."},{"key":"e_1_3_2_1_20_1","volume-title":"Powercast hardware. https:\/\/www.powercastco.com\/wp-content\/uploads\/2016\/11\/p2110-evb1.pdf","author":"Powercast Corp.","year":"2015","unstructured":"Powercast Corp. Powercast hardware. https:\/\/www.powercastco.com\/wp-content\/uploads\/2016\/11\/p2110-evb1.pdf, 2015. Last accessed: Dec. 10, 2020."},{"key":"e_1_3_2_1_21_1","first-page":"1","volume-title":"Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture","volume":"45","author":"Czarnecki Krzysztof","year":"2003","unstructured":"Krzysztof Czarnecki and Simon Helsen. Classification of model transformation approaches. In Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture, volume 45, pages 1--17. USA, 2003."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378464"},{"key":"e_1_3_2_1_23_1","volume-title":"Tartan artibeus: A batteryless, computational satellite research platform","author":"Denby Brad","year":"2022","unstructured":"Brad Denby, Emily Ruppel, Vaibhav Singh, Shize Che, Chad Taylor, Fayyaz Zaidi, Swarun Kumar, Zac Manchester, and Brandon Lucia. Tartan artibeus: A batteryless, computational satellite research platform. 2022."},{"key":"e_1_3_2_1_24_1","volume-title":"Camaroptera: A long-range image sensor with local inference for remote sensing applications. ACM Transactions on Embedded Computing Systems (TECS), 21(3):1--25","author":"Desai Harsh","year":"2022","unstructured":"Harsh Desai, Matteo Nardello, Davide Brunelli, and Brandon Lucia. Camaroptera: A long-range image sensor with local inference for remote sensing applications. ACM Transactions on Embedded Computing Systems (TECS), 21(3):1--25, 2022."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.04.008"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563216"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869542.1869625"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-021-00609-z"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2022.3184519"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/227726.227770"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3131672.3131673"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3380995"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523454"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378476"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Ivan Kurtev Jozef Hooman and Mathijs Schuts. Runtime monitoring based on interface specifications. In Joost-Pieter Katoen Rom Langerak and Arend Rensink editors ModelEd TestEd TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday volume 10500 of Lecture Notes in Computer Science pages 335--356. Springer 2017.","DOI":"10.1007\/978-3-319-68270-9_17"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737978"},{"key":"e_1_3_2_1_38_1","volume-title":"Alpaca: Intermittent execution without checkpoints. arXiv preprint arXiv:1909.06951","author":"Maeng Kiwan","year":"2019","unstructured":"Kiwan Maeng, Alexei Colin, and Brandon Lucia. Alpaca: Intermittent execution without checkpoints. arXiv preprint arXiv:1909.06951, 2019."},{"key":"e_1_3_2_1_39_1","first-page":"129","volume-title":"13th { USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 18)","author":"Maeng Kiwan","year":"2018","unstructured":"Kiwan Maeng and Brandon Lucia. Adaptive dynamic checkpointing for safe efficient intermittent computing. In 13th { USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 18), pages 129--144, 2018."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385998"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Amjad Yousef Majid Carlo Delle Donne Kiwan Maeng Alexei Colin Kasim Sinan Yildirim Brandon Lucia and Przemys\u0142aw Pawe\u0142czak. Dynamic task-based intermittent execution for energy-harvesting devices. ACM Transactions on Sensor Networks (TOSN) 16(1):1--24 2020.","DOI":"10.1145\/3360285"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/11581741_18"},{"key":"e_1_3_2_1_43_1","volume-title":"Proc. ASPLOS","author":"Ransford Benjamin","year":"2011","unstructured":"Benjamin Ransford, Jacob Sorber, and Kevin Fu. Mementos: System support for long-running computation on RFID-scale devices. In Proc. ASPLOS, Newport Beach, CA, USA, 2011. ACM."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314583"},{"key":"e_1_3_2_1_45_1","volume-title":"Pearson Education","author":"Steinberg Dave","year":"2008","unstructured":"Dave Steinberg, Frank Budinsky, Ed Merks, and Marcelo Paternostro. EMF: Eclipse Modeling Framework. Pearson Education, 2008."},{"key":"e_1_3_2_1_46_1","unstructured":"Texas Instruments. Msp430fr58xx msp430fr59xx msp430fr68xx and msp430fr69xx family user's guide. http:\/\/www.ti.com\/lit\/ug\/slau367o\/slau367o.pdf 2019. Last accessed: September 2019."},{"key":"e_1_3_2_1_47_1","first-page":"17","volume-title":"12th { USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 16)","author":"Der Woude Joel Van","year":"2016","unstructured":"Joel Van Der Woude and Matthew Hicks. Intermittent computation without hardware support or programmer intervention. In 12th { USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 16), pages 17--32, 2016."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274783.3274837"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3552326.3587435"},{"key":"e_1_3_2_1_50_1","first-page":"339","volume-title":"16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)","author":"Yildiz Eren","year":"2022","unstructured":"Eren Yildiz, Lijun Chen, and Kasim Sinan Yildirim. Immortal threads: Multithreaded event-driven intermittent computing on {Ultra-Low-Power} microcontrollers. In 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22), pages 339--355, 2022."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485730.3493361"}],"event":{"name":"EuroSys '24: Nineteenth European Conference on Computer Systems","location":"Athens Greece","acronym":"EuroSys '24","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Nineteenth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3627703.3650070","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3627703.3650070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T01:12:08Z","timestamp":1755825128000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3627703.3650070"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,22]]},"references-count":51,"alternative-id":["10.1145\/3627703.3650070","10.1145\/3627703"],"URL":"https:\/\/doi.org\/10.1145\/3627703.3650070","relation":{},"subject":[],"published":{"date-parts":[[2024,4,22]]},"assertion":[{"value":"2024-04-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}