{"id":"https://openalex.org/W4295855623","doi":"https://doi.org/10.1109/access.2022.3204043","title":"Modeling and Verification of Symbolic Distributed Applications Through an Intelligent Monitoring Agent","display_name":"Modeling and Verification of Symbolic Distributed Applications Through an Intelligent Monitoring Agent","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4295855623","doi":"https://doi.org/10.1109/access.2022.3204043"},"language":"en","primary_location":{"id":"doi:10.1109/access.2022.3204043","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3204043","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09875290.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09875290.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041540007","display_name":"Andrea Augello","orcid":"https://orcid.org/0000-0001-9085-4218"},"institutions":[{"id":"https://openalex.org/I900890020","display_name":"University of Palermo","ror":"https://ror.org/044k9ta02","country_code":"IT","type":"education","lineage":["https://openalex.org/I900890020"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Augello","raw_affiliation_strings":["Department of Engineering, University of Palermo, Palermo, Italy","Department of Engineering, University of Palermo, Viale delle Scienze, Ed. 6, Palermo, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Engineering, University of Palermo, Palermo, Italy","institution_ids":["https://openalex.org/I900890020"]},{"raw_affiliation_string":"Department of Engineering, University of Palermo, Viale delle Scienze, Ed. 6, Palermo, Italy","institution_ids":["https://openalex.org/I900890020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046377602","display_name":"Salvatore Gaglio","orcid":"https://orcid.org/0000-0002-5480-2100"},"institutions":[{"id":"https://openalex.org/I3005160176","display_name":"Institute for High Performance Computing and Networking","ror":"https://ror.org/04r5fge26","country_code":"IT","type":"facility","lineage":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"nonprofit","lineage":["https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I900890020","display_name":"University of Palermo","ror":"https://ror.org/044k9ta02","country_code":"IT","type":"education","lineage":["https://openalex.org/I900890020"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Salvatore Gaglio","raw_affiliation_strings":["Department of Engineering, University of Palermo, Palermo, Italy","Department of Engineering, University of Palermo, Viale delle Scienze, Ed. 6, Palermo, Italy","Institute for High Performance Computing and Networking (ICAR), National Research Council (CNR), Via Ugo La Malfa, 153, Palermo, Italy"],"raw_orcid":"https://orcid.org/0000-0002-5480-2100","affiliations":[{"raw_affiliation_string":"Department of Engineering, University of Palermo, Palermo, Italy","institution_ids":["https://openalex.org/I900890020"]},{"raw_affiliation_string":"Department of Engineering, University of Palermo, Viale delle Scienze, Ed. 6, Palermo, Italy","institution_ids":["https://openalex.org/I900890020"]},{"raw_affiliation_string":"Institute for High Performance Computing and Networking (ICAR), National Research Council (CNR), Via Ugo La Malfa, 153, Palermo, Italy","institution_ids":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035697089","display_name":"Giuseppe Lo Re","orcid":"https://orcid.org/0000-0002-8217-2230"},"institutions":[{"id":"https://openalex.org/I900890020","display_name":"University of Palermo","ror":"https://ror.org/044k9ta02","country_code":"IT","type":"education","lineage":["https://openalex.org/I900890020"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuseppe Lo Re","raw_affiliation_strings":["Department of Engineering, University of Palermo, Palermo, Italy","Department of Engineering, University of Palermo, Viale delle Scienze, Ed. 6, Palermo, Italy"],"raw_orcid":"https://orcid.org/0000-0002-8217-2230","affiliations":[{"raw_affiliation_string":"Department of Engineering, University of Palermo, Palermo, Italy","institution_ids":["https://openalex.org/I900890020"]},{"raw_affiliation_string":"Department of Engineering, University of Palermo, Viale delle Scienze, Ed. 6, Palermo, Italy","institution_ids":["https://openalex.org/I900890020"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033631606","display_name":"Daniele Peri","orcid":"https://orcid.org/0000-0002-8763-7199"},"institutions":[{"id":"https://openalex.org/I900890020","display_name":"University of Palermo","ror":"https://ror.org/044k9ta02","country_code":"IT","type":"education","lineage":["https://openalex.org/I900890020"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Daniele Peri","raw_affiliation_strings":["Department of Engineering, University of Palermo, Palermo, Italy","Department of Engineering, University of Palermo, Viale delle Scienze, Ed. 6, Palermo, Italy"],"raw_orcid":"https://orcid.org/0000-0002-8763-7199","affiliations":[{"raw_affiliation_string":"Department of Engineering, University of Palermo, Palermo, Italy","institution_ids":["https://openalex.org/I900890020"]},{"raw_affiliation_string":"Department of Engineering, University of Palermo, Viale delle Scienze, Ed. 6, Palermo, Italy","institution_ids":["https://openalex.org/I900890020"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.1134,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.45437274,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"10","issue":null,"first_page":"94443","last_page":"94457"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9973999857902527,"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"}},{"id":"https://openalex.org/T10273","display_name":"IoT and Edge/Fog Computing","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"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.889370322227478},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8276239037513733},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.697620153427124},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.638495922088623},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.6195524334907532},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.6118463277816772},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4946078956127167},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.48743537068367004},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.46128955483436584},{"id":"https://openalex.org/keywords/complement","display_name":"Complement (music)","score":0.4536728858947754},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4214667081832886},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.14343896508216858},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.09104934334754944}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.889370322227478},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8276239037513733},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.697620153427124},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.638495922088623},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.6195524334907532},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.6118463277816772},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4946078956127167},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.48743537068367004},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.46128955483436584},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.4536728858947754},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4214667081832886},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.14343896508216858},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.09104934334754944},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","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/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/access.2022.3204043","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3204043","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09875290.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:9aab24743dc94b4aa04d920ddf89486b","is_oa":true,"landing_page_url":"https://doaj.org/article/9aab24743dc94b4aa04d920ddf89486b","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 10, Pp 94443-94457 (2022)","raw_type":"article"},{"id":"pmh:oai:iris.unipa.it:10447/569265","is_oa":true,"landing_page_url":"http://hdl.handle.net/10447/569265","pdf_url":null,"source":{"id":"https://openalex.org/S4306401065","display_name":"Nova Science Publishers (Nova Science Publishers, Inc.)","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":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1109/access.2022.3204043","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3204043","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09875290.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5199999809265137,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4295855623.pdf","grobid_xml":"https://content.openalex.org/works/W4295855623.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W1984319070","https://openalex.org/W2011484068","https://openalex.org/W2043510950","https://openalex.org/W2057929576","https://openalex.org/W2064970280","https://openalex.org/W2066210260","https://openalex.org/W2067116326","https://openalex.org/W2137137455","https://openalex.org/W2148764493","https://openalex.org/W2150480532","https://openalex.org/W2153644574","https://openalex.org/W2155702117","https://openalex.org/W2168607538","https://openalex.org/W2169854556","https://openalex.org/W2202090419","https://openalex.org/W2250093063","https://openalex.org/W2408283598","https://openalex.org/W2535242844","https://openalex.org/W2541314274","https://openalex.org/W2571303926","https://openalex.org/W2598538362","https://openalex.org/W2598793396","https://openalex.org/W2766562347","https://openalex.org/W2774178708","https://openalex.org/W2781057795","https://openalex.org/W2790167672","https://openalex.org/W2793905273","https://openalex.org/W2804391429","https://openalex.org/W2899549228","https://openalex.org/W2911390651","https://openalex.org/W2937011062","https://openalex.org/W2944155319","https://openalex.org/W2955750362","https://openalex.org/W2991616811","https://openalex.org/W3006191871","https://openalex.org/W3030475315","https://openalex.org/W3092350724","https://openalex.org/W3115176663","https://openalex.org/W3119334110","https://openalex.org/W3123585358","https://openalex.org/W3144763607","https://openalex.org/W3167341124","https://openalex.org/W6682241063","https://openalex.org/W6682503422","https://openalex.org/W6683163402","https://openalex.org/W6691358355","https://openalex.org/W6758378258"],"related_works":["https://openalex.org/W3008339103","https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4247536566","https://openalex.org/W3119814709","https://openalex.org/W2018477250","https://openalex.org/W1508895727","https://openalex.org/W4241418540","https://openalex.org/W2725786787","https://openalex.org/W4283160672"],"abstract_inverted_index":{"Wireless":[0],"Sensor":[1],"Networks":[2],"(WSNs)":[3],"represent":[4],"a":[5,61,64,86],"key":[6],"component":[7],"in":[8,32,91],"emerging":[9],"distributed":[10,71,82,111],"computing":[11],"paradigms":[12],"such":[13],"as":[14],"IoT,":[15],"Ambient":[16],"Intelligence,":[17],"and":[18,29,54,63,68,95,113,130,143],"Smart":[19],"Cities.":[20],"In":[21],"these":[22],"contexts,":[23],"the":[24,81,108,114,117,124,127,147,151],"difficulty":[25],"of":[26,89,110,116,126],"testing,":[27],"verifying,":[28],"monitoring":[30,152],"applications":[31,72,112,142],"their":[33],"intended":[34],"scenarios":[35],"ranges":[36],"from":[37],"challenging":[38],"to":[39,47,66,79,93],"impractical.":[40],"Current":[41],"simulators":[42],"can":[43],"only":[44],"be":[45],"used":[46],"investigate":[48],"correctness":[49,119],"at":[50,85],"source":[51],"code":[52,84],"level":[53,88],"with":[55,139],"limited":[56],"accuracy.":[57],"This":[58,121],"paper":[59,122],"proposes":[60],"system":[62],"methodology":[65],"model":[67],"verify":[69],"symbolic":[70],"running":[73],"on":[74,99],"WSNs.":[75],"The":[76,103],"approach":[77,129],"allows":[78],"complement":[80],"application":[83],"high":[87],"abstraction":[90],"order":[92],"test":[94],"reprogram":[96],"it,":[97],"directly,":[98],"deployed":[100],"network":[101],"devices.":[102],"proposed":[104,128],"intelligent":[105],"architecture":[106],"enables":[107],"execution":[109],"verification":[115],"supplied":[118],"conditions.":[120],"shows":[123],"feasibility":[125],"its":[131],"effectiveness":[132],"even":[133],"when":[134],"networks":[135],"include":[136],"resource-constrained":[137],"nodes":[138],"some":[140],"sample":[141],"quantitative":[144],"experiments":[145],"measuring":[146],"overhead":[148],"introduced":[149],"by":[150],"operations.":[153]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-26T07:53:14.480251","created_date":"2025-10-10T00:00:00"}