{"id":"https://openalex.org/W2605401561","doi":"https://doi.org/10.1177/1550147717704417","title":"Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks","display_name":"Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks","publication_year":2017,"publication_date":"2017-04-01","ids":{"openalex":"https://openalex.org/W2605401561","doi":"https://doi.org/10.1177/1550147717704417","mag":"2605401561"},"language":"en","primary_location":{"id":"doi:10.1177/1550147717704417","is_oa":true,"landing_page_url":"https://doi.org/10.1177/1550147717704417","pdf_url":"https://journals.sagepub.com/doi/pdf/10.1177/1550147717704417","source":{"id":"https://openalex.org/S64417657","display_name":"International Journal of Distributed Sensor Networks","issn_l":"1550-1329","issn":["1550-1329","1550-1477"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Distributed Sensor Networks","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://journals.sagepub.com/doi/pdf/10.1177/1550147717704417","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037290747","display_name":"Hamra Afzaal","orcid":"https://orcid.org/0000-0003-4896-811X"},"institutions":[{"id":"https://openalex.org/I16076960","display_name":"COMSATS University Islamabad","ror":"https://ror.org/00nqqvk19","country_code":"PK","type":"education","lineage":["https://openalex.org/I16076960"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Hamra Afzaal","raw_affiliation_strings":["Department of Computer Science, COMSATS Institute of Information Technology, Sahiwal, Pakistan"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, COMSATS Institute of Information Technology, Sahiwal, Pakistan","institution_ids":["https://openalex.org/I16076960"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022909686","display_name":"Nazir Ahmad Zafar","orcid":"https://orcid.org/0000-0003-1679-6851"},"institutions":[{"id":"https://openalex.org/I16076960","display_name":"COMSATS University Islamabad","ror":"https://ror.org/00nqqvk19","country_code":"PK","type":"education","lineage":["https://openalex.org/I16076960"]}],"countries":["PK"],"is_corresponding":true,"raw_author_name":"Nazir Ahmad Zafar","raw_affiliation_strings":["Department of Computer Science, COMSATS Institute of Information Technology, Sahiwal, Pakistan"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, COMSATS Institute of Information Technology, Sahiwal, Pakistan","institution_ids":["https://openalex.org/I16076960"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067953308","display_name":"Fahad Alhumaidan","orcid":null},"institutions":[{"id":"https://openalex.org/I4626487","display_name":"King Faisal University","ror":"https://ror.org/00dn43547","country_code":"SA","type":"education","lineage":["https://openalex.org/I4626487"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Fahad Alhumaidan","raw_affiliation_strings":["College of Computer Sciences & Information Technology, King Faisal University, Hofuf, Saudi Arabia"],"affiliations":[{"raw_affiliation_string":"College of Computer Sciences & Information Technology, King Faisal University, Hofuf, Saudi Arabia","institution_ids":["https://openalex.org/I4626487"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5022909686"],"corresponding_institution_ids":["https://openalex.org/I16076960"],"apc_list":{"value":2200,"currency":"USD","value_usd":2200},"apc_paid":{"value":2200,"currency":"USD","value_usd":2200},"fwci":2.2792,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.89586196,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"13","issue":"4","first_page":"155014771770441","last_page":"155014771770441"},"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.9997000098228455,"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.9997000098228455,"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.9973000288009644,"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.9901000261306763,"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.8770890235900879},{"id":"https://openalex.org/keywords/subnet","display_name":"Subnet","score":0.7666248083114624},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7022286653518677},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.6166603565216064},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5952894687652588},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5186240077018738},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.49234163761138916},{"id":"https://openalex.org/keywords/toolbox","display_name":"Toolbox","score":0.4654465615749359},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4636033773422241},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.44962507486343384},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.41054394841194153},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4030337333679199},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.2688581943511963},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1450110375881195}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8770890235900879},{"id":"https://openalex.org/C21099817","wikidata":"https://www.wikidata.org/wiki/Q7631721","display_name":"Subnet","level":2,"score":0.7666248083114624},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7022286653518677},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.6166603565216064},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5952894687652588},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5186240077018738},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.49234163761138916},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.4654465615749359},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4636033773422241},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.44962507486343384},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.41054394841194153},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4030337333679199},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.2688581943511963},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1450110375881195},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1177/1550147717704417","is_oa":true,"landing_page_url":"https://doi.org/10.1177/1550147717704417","pdf_url":"https://journals.sagepub.com/doi/pdf/10.1177/1550147717704417","source":{"id":"https://openalex.org/S64417657","display_name":"International Journal of Distributed Sensor Networks","issn_l":"1550-1329","issn":["1550-1329","1550-1477"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Distributed Sensor Networks","raw_type":"journal-article"},{"id":"pmh:oai:RePEc:sae:intdis:v:13:y:2017:i:4:p:1550147717704417","is_oa":false,"landing_page_url":"https://journals.sagepub.com/doi/10.1177/1550147717704417","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"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":"article"},{"id":"pmh:oai:doaj.org/article:77d6321c7b5e4cabbbe731c700e65298","is_oa":true,"landing_page_url":"https://doaj.org/article/77d6321c7b5e4cabbbe731c700e65298","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Distributed Sensor Networks, Vol 13 (2017)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1177/1550147717704417","is_oa":true,"landing_page_url":"https://doi.org/10.1177/1550147717704417","pdf_url":"https://journals.sagepub.com/doi/pdf/10.1177/1550147717704417","source":{"id":"https://openalex.org/S64417657","display_name":"International Journal of Distributed Sensor Networks","issn_l":"1550-1329","issn":["1550-1329","1550-1477"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Distributed Sensor Networks","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2605401561.pdf","grobid_xml":"https://content.openalex.org/works/W2605401561.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W1502219062","https://openalex.org/W1614816533","https://openalex.org/W1887413770","https://openalex.org/W1977752700","https://openalex.org/W1978578930","https://openalex.org/W2011110827","https://openalex.org/W2022419372","https://openalex.org/W2026761095","https://openalex.org/W2048088804","https://openalex.org/W2051157770","https://openalex.org/W2056246189","https://openalex.org/W2062749453","https://openalex.org/W2082387393","https://openalex.org/W2083224558","https://openalex.org/W2092365295","https://openalex.org/W2104164917","https://openalex.org/W2107951442","https://openalex.org/W2154451182","https://openalex.org/W2155216551","https://openalex.org/W2162650992","https://openalex.org/W2170063752","https://openalex.org/W2228163526","https://openalex.org/W2275931683","https://openalex.org/W2290258953","https://openalex.org/W2316934959","https://openalex.org/W2324814519","https://openalex.org/W2408625866","https://openalex.org/W2428120229","https://openalex.org/W2526023695","https://openalex.org/W2917320371","https://openalex.org/W4400277119"],"related_works":["https://openalex.org/W2288787028","https://openalex.org/W2006962382","https://openalex.org/W2149716943","https://openalex.org/W2037121848","https://openalex.org/W4312733571","https://openalex.org/W4315606162","https://openalex.org/W2340807904","https://openalex.org/W1547517160","https://openalex.org/W1483297389","https://openalex.org/W2060070465"],"abstract_inverted_index":{"An":[0],"unattended":[1],"deployment":[2,65],"of":[3,29,66,140],"wireless":[4],"sensor":[5],"and":[6,12,57,72,85,106,146,167,185],"actor":[7],"networks":[8],"in":[9,151,190],"a":[10,128],"harsh":[11],"inhospitable":[13],"environment":[14],"may":[15],"cause":[16],"its":[17,45,75,163],"failure":[18,55,82,173],"by":[19,161],"partitioning":[20],"it":[21,37],"into":[22,79,127,202],"the":[23,88,112,172,191,196,219],"disjoint":[24],"segments.":[25],"Although":[26],"many":[27],"variants":[28],"this":[30,49],"problem":[31],"are":[32,177,188],"addressed":[33],"using":[34,131,211],"different":[35],"approaches,":[36],"still":[38],"needs":[39],"to":[40,44,96,119,170,182,194,200,217],"be":[41],"investigated":[42],"due":[43],"various":[46],"applications.":[47],"In":[48],"article,":[50],"an":[51,203],"efficient,":[52],"localized,":[53],"hybrid":[54,102],"detection":[56],"recovery":[58,83,108,174],"algorithm":[59,69,100],"is":[60,70,77,91,101,109,117,124,159,209],"proposed":[61],"which":[62,123],"assumes":[63],"planned":[64],"nodes.":[67,114],"The":[68,99,136,156,206],"approximate":[71],"distributed":[73],"as":[74,87,103,148],"topology":[76],"partitioned":[78],"subnets":[80],"localizing":[81],"procedure":[84],"efficient":[86],"time":[89],"complexity":[90],"reduced":[92],"from":[93],"nondeterministic":[94],"polynomial-time\u2013hard":[95],"polynomial":[97],"time.":[98],"pre-failure":[104],"planning":[105],"post-failure":[107],"assumed":[110],"for":[111],"critical":[113],"Graph-based":[115],"model":[116,130,138,158,181,193],"designed":[118],"represent":[120],"static":[121,137,180],"part":[122],"then":[125],"transformed":[126],"formal":[129,207],"Vienna":[132,152,212],"Development":[133,153,213],"Method\u2014specification":[134,154,214],"language.":[135,155],"consists":[139],"subnets,":[141],"circular":[142],"topology,":[143],"sensors,":[144],"actors,":[145],"gateways":[147],"composite":[149],"objects":[150],"dynamic":[157,192],"developed":[160],"defining":[162],"state":[164],"space,":[165],"functions,":[166],"possible":[168],"operations":[169],"describe":[171],"procedure.":[175],"Invariants":[176],"defined":[178],"on":[179],"assure":[183],"correctness,":[184],"pre/post":[186],"conditions":[187],"used":[189],"control":[195],"behavior":[197],"preventing":[198],"system":[199],"enter":[201],"unwanted":[204],"situation.":[205],"specification":[208],"analyzed":[210],"language":[215],"Toolbox":[216],"visualize":[218],"model.":[220]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}