{"id":"https://openalex.org/W3115176663","doi":"https://doi.org/10.3390/s21010107","title":"Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices","display_name":"Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices","publication_year":2020,"publication_date":"2020-12-26","ids":{"openalex":"https://openalex.org/W3115176663","doi":"https://doi.org/10.3390/s21010107","mag":"3115176663","pmid":"https://pubmed.ncbi.nlm.nih.gov/33375337"},"language":"en","primary_location":{"id":"doi:10.3390/s21010107","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s21010107","pdf_url":null,"source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj","pubmed"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.3390/s21010107","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","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, Viale delle Scienze, Ed.6, 90128 Palermo, Italy","Institute for High Performance Computing and Networking (ICAR), National Research Council (CNR), Via Ugo La Malfa, 153, 90146 Palermo, Italy"],"raw_orcid":"https://orcid.org/0000-0002-5480-2100","affiliations":[{"raw_affiliation_string":"Department of Engineering, University of Palermo, Viale delle Scienze, Ed.6, 90128 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, 90146 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, Viale delle Scienze, Ed.6, 90128 Palermo, Italy"],"raw_orcid":"https://orcid.org/0000-0002-8217-2230","affiliations":[{"raw_affiliation_string":"Department of Engineering, University of Palermo, Viale delle Scienze, Ed.6, 90128 Palermo, Italy","institution_ids":["https://openalex.org/I900890020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088085072","display_name":"Gloria Martorella","orcid":"https://orcid.org/0000-0002-1355-2969"},"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":"Gloria Martorella","raw_affiliation_strings":["Department of Engineering, University of Palermo, Viale delle Scienze, Ed.6, 90128 Palermo, Italy"],"raw_orcid":"https://orcid.org/0000-0002-1355-2969","affiliations":[{"raw_affiliation_string":"Department of Engineering, University of Palermo, Viale delle Scienze, Ed.6, 90128 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":true,"raw_author_name":"Daniele Peri","raw_affiliation_strings":["Department of Engineering, University of Palermo, Viale delle Scienze, Ed.6, 90128 Palermo, Italy"],"raw_orcid":"https://orcid.org/0000-0002-8763-7199","affiliations":[{"raw_affiliation_string":"Department of Engineering, University of Palermo, Viale delle Scienze, Ed.6, 90128 Palermo, Italy","institution_ids":["https://openalex.org/I900890020"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5033631606"],"corresponding_institution_ids":["https://openalex.org/I900890020"],"apc_list":{"value":2400,"currency":"CHF","value_usd":2673},"apc_paid":{"value":2400,"currency":"CHF","value_usd":2673},"fwci":0.8209,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.78821363,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"21","issue":"1","first_page":"107","last_page":"107"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8633012771606445},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7095030546188354},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5454767942428589},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5013985633850098},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.4276289641857147},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4040262699127197},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3793337047100067},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.25996965169906616}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8633012771606445},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7095030546188354},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5454767942428589},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5013985633850098},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.4276289641857147},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4040262699127197},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3793337047100067},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.25996965169906616}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.3390/s21010107","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s21010107","pdf_url":null,"source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors","raw_type":"journal-article"},{"id":"pmid:33375337","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/33375337","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors (Basel, Switzerland)","raw_type":null},{"id":"pmh:oai:doaj.org/article:b1e8c2bfd85a44f380d6a1703a304919","is_oa":true,"landing_page_url":"https://doaj.org/article/b1e8c2bfd85a44f380d6a1703a304919","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":"Sensors, Vol 21, Iss 1, p 107 (2020)","raw_type":"article"},{"id":"pmh:oai:europepmc.org:6705214","is_oa":true,"landing_page_url":"http://europepmc.org/pmc/articles/PMC7795688","pdf_url":null,"source":{"id":"https://openalex.org/S4306400806","display_name":"Europe PMC (PubMed Central)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1303153112","host_organization_name":"European Bioinformatics Institute","host_organization_lineage":["https://openalex.org/I1303153112"],"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":"","raw_type":"Text"},{"id":"pmh:oai:iris.unipa.it:10447/462057","is_oa":true,"landing_page_url":"http://hdl.handle.net/10447/462057","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"},{"id":"pmh:oai:pubmedcentral.nih.gov:7795688","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/7795688","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sensors (Basel)","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/s21010107","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s21010107","pdf_url":null,"source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8453244552","display_name":null,"funder_award_id":"08PA000PA90190","funder_id":"https://openalex.org/F4320326083","funder_display_name":"Regione Siciliana"}],"funders":[{"id":"https://openalex.org/F4320326083","display_name":"Regione Siciliana","ror":"https://ror.org/025079t78"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":64,"referenced_works":["https://openalex.org/W103618748","https://openalex.org/W1514648770","https://openalex.org/W1529821418","https://openalex.org/W1567416390","https://openalex.org/W1575809242","https://openalex.org/W1964848837","https://openalex.org/W1965409953","https://openalex.org/W1971309296","https://openalex.org/W1986836170","https://openalex.org/W1988675891","https://openalex.org/W2003519602","https://openalex.org/W2012148692","https://openalex.org/W2017836778","https://openalex.org/W2020760361","https://openalex.org/W2021603238","https://openalex.org/W2022603341","https://openalex.org/W2027515643","https://openalex.org/W2031466154","https://openalex.org/W2032717700","https://openalex.org/W2037847142","https://openalex.org/W2038751850","https://openalex.org/W2059865504","https://openalex.org/W2068162212","https://openalex.org/W2069727087","https://openalex.org/W2077099824","https://openalex.org/W2086239403","https://openalex.org/W2093735488","https://openalex.org/W2097603593","https://openalex.org/W2117435128","https://openalex.org/W2124705135","https://openalex.org/W2135460941","https://openalex.org/W2162247081","https://openalex.org/W2318610487","https://openalex.org/W2337099467","https://openalex.org/W2403583711","https://openalex.org/W2501823694","https://openalex.org/W2525896035","https://openalex.org/W2548557405","https://openalex.org/W2576260943","https://openalex.org/W2587696068","https://openalex.org/W2605214337","https://openalex.org/W2617632007","https://openalex.org/W2726856989","https://openalex.org/W2738766362","https://openalex.org/W2739750598","https://openalex.org/W2741433929","https://openalex.org/W2773793473","https://openalex.org/W2791064931","https://openalex.org/W2804391429","https://openalex.org/W2806254788","https://openalex.org/W2807792305","https://openalex.org/W2937011062","https://openalex.org/W2950923141","https://openalex.org/W3092350724","https://openalex.org/W3195680463","https://openalex.org/W4206398538","https://openalex.org/W4234983448","https://openalex.org/W4241569475","https://openalex.org/W6671991806","https://openalex.org/W6680156588","https://openalex.org/W6699685384","https://openalex.org/W6713625355","https://openalex.org/W6740168036","https://openalex.org/W6800101760"],"related_works":["https://openalex.org/W340065115","https://openalex.org/W2284359849","https://openalex.org/W82161441","https://openalex.org/W4388107720","https://openalex.org/W2357280991","https://openalex.org/W1576042299","https://openalex.org/W2181943964","https://openalex.org/W1528423264","https://openalex.org/W4239107164","https://openalex.org/W2863532322"],"abstract_inverted_index":{"We":[0],"propose":[1],"a":[2,63,94],"methodology":[3,90],"to":[4,37,48,53,58,126,146,166,170],"verify":[5],"applications":[6],"developed":[7],"following":[8],"programming":[9],"patterns":[10,28],"inspired":[11],"by":[12,93,139],"natural":[13],"language":[14,27],"that":[15,97,174],"interact":[16],"with":[17],"physical":[18,39,147,156],"environments":[19],"and":[20,60,114,123,144],"run":[21],"on":[22,80,106,135,154,181],"resource-constrained":[23,81],"interconnected":[24],"devices.":[25,66],"Natural":[26],"allow":[29],"for":[30,73],"the":[31,46,68,84,108,127,130,149,155,182],"reduction":[32],"of":[33,65,77,86,101,129,132,151],"intermediate":[34],"abstraction":[35],"layers":[36],"map":[38],"domain":[40],"concepts":[41],"into":[42],"executable":[43],"code":[44,79,152,169],"avoiding":[45],"recourse":[47],"ontologies,":[49],"which":[50],"would":[51],"need":[52],"be":[54,159],"shared,":[55],"kept":[56],"up":[57],"date,":[59],"synchronized":[61],"across":[62],"set":[64],"Moreover,":[67,118],"computational":[69],"paradigm":[70],"we":[71],"use":[72],"effective":[74],"distributed":[75],"execution":[76,134,153,180],"symbolic":[78],"devices":[82,110],"encourages":[83],"adoption":[85],"such":[87],"patterns.":[88],"The":[89,161],"is":[91,163],"supported":[92],"rule-based":[95],"system":[96,162],"permits":[98],"runtime":[99],"verification":[100,119],"Software":[102],"Under":[103],"Test":[104],"(SUT)":[105],"board":[107],"target":[109,136,183],"through":[111],"automated":[112],"oracle":[113],"test":[115,168],"case":[116],"generation.":[117],"extends":[120],"from":[121],"syntactic":[122],"semantic":[124],"checks":[125],"evaluation":[128],"effects":[131,150],"SUT":[133,179],"hardware.":[137,184],"Additionally,":[138],"exploiting":[140],"rules":[141],"tying":[142],"sensors":[143],"actuators":[145],"quantities,":[148],"environment":[157],"can":[158],"verified.":[160],"also":[164],"able":[165],"build":[167],"highlight":[171],"software":[172],"issues":[173],"may":[175],"arise":[176],"during":[177],"repeated":[178]},"counts_by_year":[{"year":2022,"cited_by_count":2}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}