{"id":"https://openalex.org/W3213859701","doi":"https://doi.org/10.1109/iscc53001.2021.9631383","title":"A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT","display_name":"A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT","publication_year":2021,"publication_date":"2021-09-05","ids":{"openalex":"https://openalex.org/W3213859701","doi":"https://doi.org/10.1109/iscc53001.2021.9631383","mag":"3213859701"},"language":"en","primary_location":{"id":"doi:10.1109/iscc53001.2021.9631383","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iscc53001.2021.9631383","pdf_url":null,"source":{"id":"https://openalex.org/S4363605778","display_name":"2021 IEEE Symposium on Computers and Communications (ISCC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE Symposium on Computers and Communications (ISCC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://vbn.aau.dk/da/publications/04bd682f-b3a8-4342-ac4f-4124daadf539","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001455999","display_name":"Michele Albano","orcid":"https://orcid.org/0000-0002-3777-9981"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Michele Albano","raw_affiliation_strings":["Aalborg University, Aalborg, Denmark"],"raw_orcid":"https://orcid.org/0000-0002-3777-9981","affiliations":[{"raw_affiliation_string":"Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057916297","display_name":"Stefano Chessa","orcid":"https://orcid.org/0000-0002-1248-9478"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Stefano Chessa","raw_affiliation_strings":["University of Pisa, Pisa, Italy"],"raw_orcid":"https://orcid.org/0000-0002-1248-9478","affiliations":[{"raw_affiliation_string":"University of Pisa, Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069362159","display_name":"Kim G. Larsen","orcid":"https://orcid.org/0000-0002-5953-3384"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Kim Guldstrand Larsen","raw_affiliation_strings":["Aalborg University, Aalborg, Denmark"],"raw_orcid":"https://orcid.org/0000-0002-5953-3384","affiliations":[{"raw_affiliation_string":"Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5001455999"],"corresponding_institution_ids":["https://openalex.org/I891191580"],"apc_list":null,"apc_paid":null,"fwci":0.4334,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.44755499,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"2404","issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11392","display_name":"Energy Harvesting in Wireless Networks","score":1.0,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11392","display_name":"Energy Harvesting in Wireless Networks","score":1.0,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10663","display_name":"Advanced Battery Technologies Research","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11230","display_name":"Innovative Energy Harvesting Technologies","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7609677314758301},{"id":"https://openalex.org/keywords/battery","display_name":"Battery (electricity)","score":0.6542156934738159},{"id":"https://openalex.org/keywords/energy","display_name":"Energy (signal processing)","score":0.6003572344779968},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5885058045387268},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.5838555097579956},{"id":"https://openalex.org/keywords/energy-harvesting","display_name":"Energy harvesting","score":0.5269758701324463},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.46834227442741394},{"id":"https://openalex.org/keywords/state-of-charge","display_name":"State of charge","score":0.4133087992668152},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3564431667327881},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.340440034866333},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.32348132133483887},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1389603614807129},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11051550507545471},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.09798276424407959}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7609677314758301},{"id":"https://openalex.org/C555008776","wikidata":"https://www.wikidata.org/wiki/Q267298","display_name":"Battery (electricity)","level":3,"score":0.6542156934738159},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.6003572344779968},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5885058045387268},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.5838555097579956},{"id":"https://openalex.org/C101518730","wikidata":"https://www.wikidata.org/wiki/Q930236","display_name":"Energy harvesting","level":3,"score":0.5269758701324463},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.46834227442741394},{"id":"https://openalex.org/C2776582896","wikidata":"https://www.wikidata.org/wiki/Q5368536","display_name":"State of charge","level":4,"score":0.4133087992668152},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3564431667327881},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.340440034866333},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32348132133483887},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1389603614807129},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11051550507545471},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.09798276424407959},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/iscc53001.2021.9631383","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iscc53001.2021.9631383","pdf_url":null,"source":{"id":"https://openalex.org/S4363605778","display_name":"2021 IEEE Symposium on Computers and Communications (ISCC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE Symposium on Computers and Communications (ISCC)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:openaire/04bd682f-b3a8-4342-ac4f-4124daadf539","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/04bd682f-b3a8-4342-ac4f-4124daadf539","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Albano, M, Chessa, S & Larsen, K G 2021, A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT. in 26th IEEE Symposium on Computers and Communications., 9631383, IEEE (Institute of Electrical and Electronics Engineers), Athens, Greece, I E E E International Symposium on Computers and Communications, 2021 IEEE Symposium on Computers and Communications (ISCC), Athen, Greece, 05/09/2021. https://doi.org/10.1109/ISCC53001.2021.9631383","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:arpi.unipi.it:11568/1117137","is_oa":false,"landing_page_url":"http://hdl.handle.net/11568/1117137","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:openaire/04bd682f-b3a8-4342-ac4f-4124daadf539","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/04bd682f-b3a8-4342-ac4f-4124daadf539","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Albano, M, Chessa, S & Larsen, K G 2021, A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT. in 26th IEEE Symposium on Computers and Communications., 9631383, IEEE (Institute of Electrical and Electronics Engineers), Athens, Greece, I E E E International Symposium on Computers and Communications, 2021 IEEE Symposium on Computers and Communications (ISCC), Athen, Greece, 05/09/2021. https://doi.org/10.1109/ISCC53001.2021.9631383","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"display_name":"Affordable and clean energy","score":0.8999999761581421,"id":"https://metadata.un.org/sdg/7"}],"awards":[{"id":"https://openalex.org/G2150657365","display_name":null,"funder_award_id":"7076-00123B","funder_id":"https://openalex.org/F4320313796","funder_display_name":"Innovationsfonden"}],"funders":[{"id":"https://openalex.org/F4320310490","display_name":"Villum Fonden","ror":"https://ror.org/007ww2d15"},{"id":"https://openalex.org/F4320313796","display_name":"Innovationsfonden","ror":"https://ror.org/00daj4111"},{"id":"https://openalex.org/F4320324499","display_name":"Universit\u00e0 di Pisa","ror":"https://ror.org/03ad39j10"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W68069235","https://openalex.org/W1489391022","https://openalex.org/W1509494512","https://openalex.org/W1794490453","https://openalex.org/W1968295970","https://openalex.org/W1974674039","https://openalex.org/W1987307249","https://openalex.org/W1991781995","https://openalex.org/W2000947342","https://openalex.org/W2001704853","https://openalex.org/W2050362288","https://openalex.org/W2157855811","https://openalex.org/W2241747940","https://openalex.org/W2396167915","https://openalex.org/W2417460170","https://openalex.org/W2799998547","https://openalex.org/W2801270058","https://openalex.org/W2810491896","https://openalex.org/W2899056152","https://openalex.org/W2912640545","https://openalex.org/W3023751629","https://openalex.org/W3142290224","https://openalex.org/W4302556382","https://openalex.org/W6629085924","https://openalex.org/W6673658301","https://openalex.org/W6690704739","https://openalex.org/W6764277289"],"related_works":["https://openalex.org/W1562159987","https://openalex.org/W2004734718","https://openalex.org/W3190332208","https://openalex.org/W4388623464","https://openalex.org/W3126531014","https://openalex.org/W2098124661","https://openalex.org/W2519883542","https://openalex.org/W3006423619","https://openalex.org/W3195056770","https://openalex.org/W4385625847"],"abstract_inverted_index":{"We":[0],"address":[1],"the":[2,22,25,37,44,54,58,63,66,69,74,76,79,82,88,94,136,139],"problem":[3],"of":[4,14,24,62,68,78,99,109,123,142],"energy":[5,8,89,143],"neutrality":[6,144],"in":[7,28,146],"harvesting":[9],"IoT":[10,30,148],"devices":[11],"by":[12],"means":[13],"a":[15,106,120,128],"model":[16,100],"checking":[17],"approach,":[18],"aiming":[19],"at":[20],"analyzing":[21],"dynamics":[23],"battery":[26,56],"charge":[27],"energy-neutral":[29],"devices.":[31,149],"Our":[32],"approach":[33],"allows":[34],"to":[35,42,119,138],"compute":[36],"best":[38],"task":[39],"schedule":[40],"and":[41,60,81],"study":[43],"maximum":[45],"utility":[46,116],"when":[47],"operating":[48],"on":[49],"other":[50],"parameters":[51],"such":[52],"as":[53],"initial":[55],"charge,":[57],"number":[59,108,122],"structure":[61],"available":[64],"tasks,":[65],"size":[67],"photo-voltaic":[70],"panel":[71],"that":[72,86,105],"recharges":[73],"device,":[75],"day":[77],"year,":[80],"variable":[83],"weather":[84],"conditions":[85],"affect":[87],"production.":[90],"The":[91],"simulations":[92],"confirm":[93],"state":[95],"space":[96],"explosion":[97],"typical":[98],"checking,":[101],"but":[102],"also":[103],"hint":[104],"small":[107],"alternative":[110],"tasks":[111],"can":[112,134],"achieve":[113],"an":[114],"overall":[115],"very":[117],"close":[118],"large":[121],"tasks.":[124],"This":[125],"conjecture":[126],"has":[127],"strong":[129],"practical":[130],"relevance":[131],"since":[132],"it":[133],"pave":[135],"way":[137],"wider":[140],"adoption":[141],"concept":[145],"low-power":[147]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}