{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:13:52Z","timestamp":1740100432409,"version":"3.37.3"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,9,5]],"date-time":"2021-09-05T00:00:00Z","timestamp":1630800000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,9,5]],"date-time":"2021-09-05T00:00:00Z","timestamp":1630800000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,5]],"date-time":"2021-09-05T00:00:00Z","timestamp":1630800000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100012774","name":"Innovation Fund Denmark","doi-asserted-by":"publisher","award":["7076-00123B"],"award-info":[{"award-number":["7076-00123B"]}],"id":[{"id":"10.13039\/100012774","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100008398","name":"Villum Investigator","doi-asserted-by":"publisher","award":["S4OS"],"award-info":[{"award-number":["S4OS"]}],"id":[{"id":"10.13039\/100008398","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007514","name":"Univ. of Pisa","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100007514","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,9,5]]},"DOI":"10.1109\/iscc53001.2021.9631383","type":"proceedings-article","created":{"date-parts":[[2021,12,15]],"date-time":"2021-12-15T20:46:50Z","timestamp":1639601210000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT"],"prefix":"10.1109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3777-9981","authenticated-orcid":false,"given":"Michele","family":"Albano","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1248-9478","authenticated-orcid":false,"given":"Stefano","family":"Chessa","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5953-3384","authenticated-orcid":false,"given":"Kim Guldstrand","family":"Larsen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"},{"journal-title":"The SPIN MODEL CHECKER - Primer and Reference Manual","year":"2004","author":"holzmann","key":"ref11"},{"key":"ref12","first-page":"359","article-title":"Nusmv 2: An open source tool for symbolic model checking","volume":"2404","author":"cimatti","year":"2002","journal-title":"14th Int Conf on Comp Aided Verij CAV 2002 July 27&#x2013;31 ser Springer LNCS"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0244-z"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0377-y"},{"key":"ref15","first-page":"25","article-title":"Modelling and analysing software in mcr12","author":"groote","year":"2019","journal-title":"16th Int Conf on Formal Aspects of Component Software FACS 2019"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04761-9_7"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"ref18","first-page":"414","article-title":"Model-checking for realtime systems","author":"alur","year":"1990","journal-title":"5th Symp on Logic in Computer Science"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03427-6_18"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSP.2012.2199984"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2010.5419916"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SECON.2010.5508260"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2018.2828943"},{"key":"ref8","first-page":"47","article-title":"Demonstration of energy-neutral operation on a wsn testbed using vibration energy harvesting","author":"baghaee","year":"2014","journal-title":"2014 20th European Wireless Conference"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2069063.2069072"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s00779-013-0663-1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3183338"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1274858.1274870"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-018-0458-2"},{"journal-title":"The KL-SUN3W solar module","year":"0","key":"ref22"},{"key":"ref21","first-page":"203","article-title":"Optimal and robust controller synthesis - using energy timed automata with uncertainty","author":"bacci","year":"2018","journal-title":"22nd Int Symp on Formal Methods FM"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/PVSC.2009.5411362"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2016.2578950"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1175\/1520-0450(1991)030<0447:SSIUCA>2.0.CO;2"}],"event":{"name":"2021 IEEE Symposium on Computers and Communications (ISCC)","start":{"date-parts":[[2021,9,5]]},"location":"Athens, Greece","end":{"date-parts":[[2021,9,8]]}},"container-title":["2021 IEEE Symposium on Computers and Communications (ISCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9631377\/9631248\/09631383.pdf?arnumber=9631383","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:54:24Z","timestamp":1652201664000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9631383\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,5]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/iscc53001.2021.9631383","relation":{},"subject":[],"published":{"date-parts":[[2021,9,5]]}}}