{"id":"https://openalex.org/W3047132648","doi":"https://doi.org/10.1109/isads45777.2019.9155627","title":"Semantic Analysis of Concurrent Computing in Decentralized IoT and Robotics Applications","display_name":"Semantic Analysis of Concurrent Computing in Decentralized IoT and Robotics Applications","publication_year":2019,"publication_date":"2019-04-01","ids":{"openalex":"https://openalex.org/W3047132648","doi":"https://doi.org/10.1109/isads45777.2019.9155627","mag":"3047132648"},"language":"en","primary_location":{"id":"doi:10.1109/isads45777.2019.9155627","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isads45777.2019.9155627","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012905271","display_name":"Gennaro De Luca","orcid":"https://orcid.org/0000-0002-0992-4213"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Gennaro De Luca","raw_affiliation_strings":["School of Computing, Informatics and Decision Systems Engineering, Arizona State University, Tempe, AZ 85287-8809, U.S.A"],"affiliations":[{"raw_affiliation_string":"School of Computing, Informatics and Decision Systems Engineering, Arizona State University, Tempe, AZ 85287-8809, U.S.A","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034774132","display_name":"Yinong Chen","orcid":"https://orcid.org/0000-0002-8780-3994"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yinong Chen","raw_affiliation_strings":["School of Computing, Informatics and Decision Systems Engineering, Arizona State University, Tempe, AZ 85287-8809, U.S.A"],"affiliations":[{"raw_affiliation_string":"School of Computing, Informatics and Decision Systems Engineering, Arizona State University, Tempe, AZ 85287-8809, U.S.A","institution_ids":["https://openalex.org/I55732556"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5012905271"],"corresponding_institution_ids":["https://openalex.org/I55732556"],"apc_list":null,"apc_paid":null,"fwci":0.6653,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.72134717,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13382","display_name":"Robotics and Automated Systems","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T13382","display_name":"Robotics and Automated Systems","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9991999864578247,"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/T10772","display_name":"Distributed systems and fault tolerance","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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7959943413734436},{"id":"https://openalex.org/keywords/orchestration","display_name":"Orchestration","score":0.6855287551879883},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6617770791053772},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.6388495564460754},{"id":"https://openalex.org/keywords/robotics","display_name":"Robotics","score":0.6349121332168579},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5956588387489319},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5306262969970703},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.48840683698654175},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.44934403896331787},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.44495901465415955},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4423099756240845},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.43090304732322693},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.4229482114315033},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4066797196865082},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.24782153964042664},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.12186434864997864}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7959943413734436},{"id":"https://openalex.org/C199168358","wikidata":"https://www.wikidata.org/wiki/Q3367000","display_name":"Orchestration","level":3,"score":0.6855287551879883},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6617770791053772},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6388495564460754},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.6349121332168579},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5956588387489319},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5306262969970703},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.48840683698654175},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.44934403896331787},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.44495901465415955},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4423099756240845},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.43090304732322693},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.4229482114315033},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4066797196865082},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.24782153964042664},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.12186434864997864},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isads45777.2019.9155627","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isads45777.2019.9155627","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 14th International Symposium on Autonomous Decentralized System (ISADS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1819989006","https://openalex.org/W1998373357","https://openalex.org/W2018140573","https://openalex.org/W2068346768","https://openalex.org/W2149797324","https://openalex.org/W2488405976","https://openalex.org/W2621843641"],"related_works":["https://openalex.org/W79913212","https://openalex.org/W2094884983","https://openalex.org/W2378898096","https://openalex.org/W560952460","https://openalex.org/W2290927522","https://openalex.org/W4283579741","https://openalex.org/W3066706303","https://openalex.org/W876159576","https://openalex.org/W2943612818","https://openalex.org/W2929519296"],"abstract_inverted_index":{"As":[0],"IoT":[1,35,53,95],"and":[2,10,28,36,39,68,96,117,143,159,182,185,213,225],"robotics":[3,37,97,111],"applications":[4,40,125,164],"continue":[5],"to":[6,46,140,155,209,221],"become":[7],"increasingly":[8],"complex":[9],"decentralized,":[11],"there":[12],"is":[13,138,170,187],"an":[14],"increase":[15],"in":[16,166,179],"the":[17,31,48,60,91,157,176,190,202],"difficulty":[18],"of":[19,25,30,44,50,56,62,93,162,175,195,204],"verifying":[20],"requirements":[21,161],"such":[22,133],"as":[23,134,216,218],"guarantees":[24],"reliability,":[26],"efficiency,":[27],"correctness":[29],"entire":[32],"system.":[33],"Modern":[34],"research":[38],"employ":[41],"a":[42,78,152,173],"variety":[43],"technologies":[45,58],"accommodate":[47],"distribution":[49],"real":[51],"world":[52],"devices.":[54],"Many":[55],"these":[57,63],"support":[59,222],"orchestration":[61,92],"devices":[64,98],"with":[65],"concurrent":[66,100,211],"computation":[67],"workflow-based":[69,80],"processing,":[70],"e.g.,":[71],"Intel":[72],"Service":[73],"Orchestration":[74],"Layer.":[75],"We":[76],"developed":[77,151,171],"new":[79],"programming":[81],"language":[82],"VIPLE":[83,102,196],"(Visual":[84],"IoT/Robotics":[85],"Programming":[86],"Language":[87],"Environment),":[88],"which":[89],"supports":[90],"decentralized":[94,163,214],"through":[99],"computation.":[101],"has":[103],"been":[104],"used":[105],"by":[106,129],"many":[107],"universities":[108],"for":[109],"teaching":[110],"programming,":[112],"event-driven":[113],"computing,":[114,116],"service-oriented":[115],"parallel":[118,142],"computing":[119,212],"concepts.":[120],"Historically,":[121],"simple":[122],"single":[123],"threaded":[124],"could":[126],"be":[127],"verified":[128],"employing":[130],"formal":[131],"systems":[132],"Hoare":[135,180],"logic.":[136],"It":[137],"difficult":[139],"verify":[141,156],"distributed":[144],"computing.":[145],"In":[146],"our":[147],"recent":[148],"research,":[149],"we":[150],"novel":[153],"system":[154,169],"semantics":[158],"other":[160],"written":[165],"VIPLE.":[167],"This":[168,198],"using":[172,189],"combination":[174],"techniques":[177],"offered":[178],"logic":[181],"Rely-Guarantee":[183],"logic,":[184],"it":[186],"applied":[188],"automatically":[191],"generated":[192],"Pi-Calculus":[193],"representation":[194],"applications.":[197],"paper":[199],"focuses":[200],"on":[201],"foundations":[203],"this":[205],"system,":[206],"its":[207,219],"ability":[208,220],"handle":[210],"applications,":[215],"well":[217],"automated":[223],"verification":[224],"semantic":[226],"analysis.":[227]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-02-24T19:35:01.260952","created_date":"2025-10-10T00:00:00"}