{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T13:34:58Z","timestamp":1762608898670,"version":"3.37.3"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Department of Engineering, University of Palermo"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/access.2022.3204043","type":"journal-article","created":{"date-parts":[[2022,9,5]],"date-time":"2022-09-05T20:05:37Z","timestamp":1662408337000},"page":"94443-94457","source":"Crossref","is-referenced-by-count":2,"title":["Modeling and Verification of Symbolic Distributed Applications Through an Intelligent Monitoring Agent"],"prefix":"10.1109","volume":"10","author":[{"given":"Andrea","family":"Augello","sequence":"first","affiliation":[{"name":"Department of Engineering, University of Palermo, Palermo, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5480-2100","authenticated-orcid":false,"given":"Salvatore","family":"Gaglio","sequence":"additional","affiliation":[{"name":"Department of Engineering, University of Palermo, Palermo, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8217-2230","authenticated-orcid":false,"given":"Giuseppe Lo","family":"Re","sequence":"additional","affiliation":[{"name":"Department of Engineering, University of Palermo, Palermo, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8763-7199","authenticated-orcid":false,"given":"Daniele","family":"Peri","sequence":"additional","affiliation":[{"name":"Department of Engineering, University of Palermo, Palermo, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2840534"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.3390\/s21010107"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1117\/12.1518463"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1322263.1322282"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2925299"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/DASIP.2011.6136894"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA46521.2020.9212134"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005179"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.4218\/etrij.17.2816.0108"},{"key":"ref34","first-page":"250","article-title":"Stethoscope: A sustainable runtime debugger for wireless sensor networks","author":"he","year":"2015","journal-title":"Proc IEEE 21st Int Conf Parallel Distrib Syst (ICPADS)"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2009.5198657"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2019.2954530"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2021.107855"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/WF-IoT.2015.7389098"},{"key":"ref13","first-page":"175","article-title":"JamLab: Augmenting sensornet testbeds with realistic and controlled interference generation","author":"boano","year":"2011","journal-title":"Proc 10th ACM\/IEEE Int Conf Inf Process Sensor Netw"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SENSORCOMM.2007.4394970"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/AFRCON.2011.6072072"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.bjp.2013.12.020"},{"key":"ref17","first-page":"3","article-title":"Indriya2: A heterogeneous wireless sensor network (WSN) testbed","author":"appavoo","year":"2018","journal-title":"Proc Int Conf Testbeds Res Infrastruct"},{"key":"ref18","first-page":"1","article-title":"TARWIS—A testbed management architecture for wireless sensor network testbeds","author":"hurni","year":"2011","journal-title":"Proc 7th Int Conf Netw Service Manage"},{"key":"ref19","first-page":"1439","article-title":"Comparison of OMNET++ and other simulator for WSN simulation","author":"xian","year":"2008","journal-title":"Proc 3rd IEEE Conf Ind Electron Appl"},{"key":"ref28","first-page":"27:1","article-title":"DC4CD: A platform for distributed computing on constrained devices","volume":"17","author":"gaglio","year":"2017","journal-title":"ACM Trans Embedded Comput Syst"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.23919\/AEIT.2017.8240559"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.3390\/s16111816"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2020.2973314"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2018.2798591"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/EWSN.2005.1462004"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICIOTA.2017.8073629"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3390\/fi11050113"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-021-05896-x"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/3ICT51146.2020.9311966"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s11277-020-07446-4"},{"key":"ref9","first-page":"1","article-title":"Considering the environment’s characteristics in wireless networks simulations and emulations: Case of popular simulators and WSN","author":"el-mouaffak","year":"2020","journal-title":"Proc 3rd Int Conf Netw Inf Syst Secur"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1298197.1298203"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ICCNC.2019.8685589"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICWISE.2016.8188543"},{"key":"ref21","first-page":"1","article-title":"Comparison of routing protocols in WSN using NetSim simulator: LEACH vs LEACH-C","volume":"106","author":"nayak","year":"2014","journal-title":"Int J Comput Appl"},{"key":"ref42","first-page":"547","article-title":"Programming with a differentiable forth interpreter","volume":"70","author":"bo\u0161njak","year":"2017","journal-title":"Proc 34th Int Conf Mach Learn"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2017.2650979"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.aca.2018.10.071"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2017.03.012"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2011.021111.00098"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2737095.2737096"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2812771"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9668973\/09875290.pdf?arnumber=9875290","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,3]],"date-time":"2022-10-03T20:42:05Z","timestamp":1664829725000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9875290\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/access.2022.3204043","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2022]]}}}