{"id":"https://openalex.org/W1515828222","doi":"https://doi.org/10.1155/2015/716561","title":"Model-Checking Driven Design of QoS-Based Routing Protocol for Wireless Sensor Networks","display_name":"Model-Checking Driven Design of QoS-Based Routing Protocol for Wireless Sensor Networks","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W1515828222","doi":"https://doi.org/10.1155/2015/716561","mag":"1515828222"},"language":"en","primary_location":{"id":"doi:10.1155/2015/716561","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2015/716561","pdf_url":"https://downloads.hindawi.com/journals/js/2015/716561.pdf","source":{"id":"https://openalex.org/S96783963","display_name":"Journal of Sensors","issn_l":"1687-725X","issn":["1687-725X","1687-7268"],"is_oa":false,"is_in_doaj":false,"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":"Journal of Sensors","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://downloads.hindawi.com/journals/js/2015/716561.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100708691","display_name":"Zhi Chen","orcid":"https://orcid.org/0000-0002-5159-1280"},"institutions":[{"id":"https://openalex.org/I41198531","display_name":"Nanjing University of Posts and Telecommunications","ror":"https://ror.org/043bpky34","country_code":"CN","type":"education","lineage":["https://openalex.org/I41198531"]},{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhi Chen","raw_affiliation_strings":["College of Computer, Nanjing University of Posts and Telecommunications, Nanjing 210023, China","Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210023, China","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210023, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer, Nanjing University of Posts and Telecommunications, Nanjing 210023, China","institution_ids":["https://openalex.org/I41198531"]},{"raw_affiliation_string":"Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210023, China","institution_ids":["https://openalex.org/I41198531"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210023, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073942252","display_name":"Ya Peng","orcid":null},"institutions":[{"id":"https://openalex.org/I41198531","display_name":"Nanjing University of Posts and Telecommunications","ror":"https://ror.org/043bpky34","country_code":"CN","type":"education","lineage":["https://openalex.org/I41198531"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ya Peng","raw_affiliation_strings":["College of Computer, Nanjing University of Posts and Telecommunications, Nanjing 210023, China","Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210023, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer, Nanjing University of Posts and Telecommunications, Nanjing 210023, China","institution_ids":["https://openalex.org/I41198531"]},{"raw_affiliation_string":"Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210023, China","institution_ids":["https://openalex.org/I41198531"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066705277","display_name":"Wenjing Yue","orcid":"https://orcid.org/0000-0003-4551-3611"},"institutions":[{"id":"https://openalex.org/I41198531","display_name":"Nanjing University of Posts and Telecommunications","ror":"https://ror.org/043bpky34","country_code":"CN","type":"education","lineage":["https://openalex.org/I41198531"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Wenjing Yue","raw_affiliation_strings":["College of Telecommunications and Information Engineering, Nanjing University of Posts and Telecommunications, Nanjing 210003, China","Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210023, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Telecommunications and Information Engineering, Nanjing University of Posts and Telecommunications, Nanjing 210003, China","institution_ids":["https://openalex.org/I41198531"]},{"raw_affiliation_string":"Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210023, China","institution_ids":["https://openalex.org/I41198531"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5066705277"],"corresponding_institution_ids":["https://openalex.org/I41198531"],"apc_list":{"value":2100,"currency":"USD","value_usd":2100},"apc_paid":{"value":2100,"currency":"USD","value_usd":2100},"fwci":0.5556,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.70200617,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"2015","issue":null,"first_page":"1","last_page":"7"},"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.9988999962806702,"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.9988999962806702,"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/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9950000047683716,"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.767184317111969},{"id":"https://openalex.org/keywords/routing-protocol","display_name":"Routing protocol","score":0.6494008302688599},{"id":"https://openalex.org/keywords/quality-of-service","display_name":"Quality of service","score":0.6443072557449341},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.5656258463859558},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5647732615470886},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5137630701065063},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.5028755068778992},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4478882849216461},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.4377925395965576},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.42547839879989624},{"id":"https://openalex.org/keywords/wireless-routing-protocol","display_name":"Wireless Routing Protocol","score":0.4177590012550354},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.09551352262496948}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.767184317111969},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.6494008302688599},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.6443072557449341},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.5656258463859558},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5647732615470886},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5137630701065063},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.5028755068778992},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4478882849216461},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.4377925395965576},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.42547839879989624},{"id":"https://openalex.org/C47318570","wikidata":"https://www.wikidata.org/wiki/Q8026863","display_name":"Wireless Routing Protocol","level":4,"score":0.4177590012550354},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.09551352262496948},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1155/2015/716561","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2015/716561","pdf_url":"https://downloads.hindawi.com/journals/js/2015/716561.pdf","source":{"id":"https://openalex.org/S96783963","display_name":"Journal of Sensors","issn_l":"1687-725X","issn":["1687-725X","1687-7268"],"is_oa":false,"is_in_doaj":false,"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":"Journal of Sensors","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:130d520cadfc4831bcc760c108a7af9d","is_oa":true,"landing_page_url":"https://doaj.org/article/130d520cadfc4831bcc760c108a7af9d","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":"Journal of Sensors, Vol 2015 (2015)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1155/2015/716561","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2015/716561","pdf_url":"https://downloads.hindawi.com/journals/js/2015/716561.pdf","source":{"id":"https://openalex.org/S96783963","display_name":"Journal of Sensors","issn_l":"1687-725X","issn":["1687-725X","1687-7268"],"is_oa":false,"is_in_doaj":false,"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":"Journal of Sensors","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1054320439","display_name":null,"funder_award_id":"BK20131382","funder_id":"https://openalex.org/F4320321543","funder_display_name":"China Postdoctoral Science Foundation"},{"id":"https://openalex.org/G1357786505","display_name":null,"funder_award_id":"1102102C","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G187868467","display_name":null,"funder_award_id":"2013M531393","funder_id":"https://openalex.org/F4320334982","funder_display_name":"Basic Research Program of Jiangsu Province"},{"id":"https://openalex.org/G2078364517","display_name":null,"funder_award_id":"XXRJ-009","funder_id":"https://openalex.org/F4320335471","funder_display_name":"Jiangsu Planned Projects for Postdoctoral Research Funds"},{"id":"https://openalex.org/G2517159609","display_name":null,"funder_award_id":"XXRJ-009","funder_id":"https://openalex.org/F4320322769","funder_display_name":"Natural Science Foundation of Jiangsu Province"},{"id":"https://openalex.org/G2575091345","display_name":null,"funder_award_id":"2013M531393","funder_id":"https://openalex.org/F4320322769","funder_display_name":"Natural Science Foundation of Jiangsu Province"},{"id":"https://openalex.org/G2660465811","display_name":null,"funder_award_id":"60905040","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3029509254","display_name":null,"funder_award_id":"1102102C","funder_id":"https://openalex.org/F4320321543","funder_display_name":"China Postdoctoral Science Foundation"},{"id":"https://openalex.org/G3137227384","display_name":null,"funder_award_id":"2013M531393","funder_id":"https://openalex.org/F4320321543","funder_display_name":"China Postdoctoral Science Foundation"},{"id":"https://openalex.org/G3296092566","display_name":null,"funder_award_id":"BK20131382","funder_id":"https://openalex.org/F4320322769","funder_display_name":"Natural Science Foundation of Jiangsu Province"},{"id":"https://openalex.org/G4507370996","display_name":null,"funder_award_id":"1102102C","funder_id":"https://openalex.org/F4320334982","funder_display_name":"Basic Research Program of Jiangsu Province"},{"id":"https://openalex.org/G4781726068","display_name":null,"funder_award_id":"XXRJ-009","funder_id":"https://openalex.org/F4320321543","funder_display_name":"China Postdoctoral Science Foundation"},{"id":"https://openalex.org/G4825636045","display_name":null,"funder_award_id":"60905040","funder_id":"https://openalex.org/F4320322769","funder_display_name":"Natural Science Foundation of Jiangsu Province"},{"id":"https://openalex.org/G5150799116","display_name":null,"funder_award_id":"1102102C","funder_id":"https://openalex.org/F4320335471","funder_display_name":"Jiangsu Planned Projects for Postdoctoral Research Funds"},{"id":"https://openalex.org/G5485282858","display_name":null,"funder_award_id":"BK20131382","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5717001327","display_name":null,"funder_award_id":"1102102C","funder_id":"https://openalex.org/F4320322769","funder_display_name":"Natural Science Foundation of Jiangsu Province"},{"id":"https://openalex.org/G5794985509","display_name":null,"funder_award_id":"60905040","funder_id":"https://openalex.org/F4320335471","funder_display_name":"Jiangsu Planned Projects for Postdoctoral Research Funds"},{"id":"https://openalex.org/G6073335641","display_name":null,"funder_award_id":"60905040","funder_id":"https://openalex.org/F4320321543","funder_display_name":"China Postdoctoral Science Foundation"},{"id":"https://openalex.org/G679990074","display_name":null,"funder_award_id":"BK20131382","funder_id":"https://openalex.org/F4320335471","funder_display_name":"Jiangsu Planned Projects for Postdoctoral Research Funds"},{"id":"https://openalex.org/G7704276310","display_name":null,"funder_award_id":"60905040","funder_id":"https://openalex.org/F4320334982","funder_display_name":"Basic Research Program of Jiangsu Province"},{"id":"https://openalex.org/G7708891847","display_name":null,"funder_award_id":"2013M531393","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G865177880","display_name":null,"funder_award_id":"BK20131382","funder_id":"https://openalex.org/F4320334982","funder_display_name":"Basic Research Program of Jiangsu Province"},{"id":"https://openalex.org/G8901822622","display_name":null,"funder_award_id":"XXRJ-009","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G987452371","display_name":null,"funder_award_id":"2013M531393","funder_id":"https://openalex.org/F4320335471","funder_display_name":"Jiangsu Planned Projects for Postdoctoral Research Funds"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321543","display_name":"China Postdoctoral Science Foundation","ror":"https://ror.org/0426zh255"},{"id":"https://openalex.org/F4320321605","display_name":"Government of Jiangsu Province","ror":"https://ror.org/004svx814"},{"id":"https://openalex.org/F4320322769","display_name":"Natural Science Foundation of Jiangsu Province","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320334982","display_name":"Basic Research Program of Jiangsu Province","ror":null},{"id":"https://openalex.org/F4320335471","display_name":"Jiangsu Planned Projects for Postdoctoral Research Funds","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1515828222.pdf","grobid_xml":"https://content.openalex.org/works/W1515828222.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W96055412","https://openalex.org/W1506324337","https://openalex.org/W1962072139","https://openalex.org/W1967946563","https://openalex.org/W1972382727","https://openalex.org/W1982424587","https://openalex.org/W1992892290","https://openalex.org/W2010928165","https://openalex.org/W2014131243","https://openalex.org/W2033262684","https://openalex.org/W2044376828","https://openalex.org/W2046274922","https://openalex.org/W2069062347","https://openalex.org/W2070539234","https://openalex.org/W2082758699","https://openalex.org/W2091409608","https://openalex.org/W2120926795","https://openalex.org/W2122117190","https://openalex.org/W2125489993","https://openalex.org/W2150189917","https://openalex.org/W2150220388","https://openalex.org/W2152256714","https://openalex.org/W2287495257","https://openalex.org/W2913523018"],"related_works":["https://openalex.org/W2011277702","https://openalex.org/W2546592407","https://openalex.org/W4233083428","https://openalex.org/W1593279778","https://openalex.org/W1888834805","https://openalex.org/W2172109346","https://openalex.org/W2544170366","https://openalex.org/W1680412704","https://openalex.org/W2035482066","https://openalex.org/W3093717461"],"abstract_inverted_index":{"Accurate":[0],"and":[1,44,74,102],"reliable":[2],"routing":[3,30,86,110],"protocols":[4,31],"with":[5],"Quality":[6],"of":[7,32,53,67,77,107],"Service":[8],"(QoS)":[9],"support":[10],"determine":[11],"the":[12,28,36,40,45,58,64,68,72,78,93,104,108],"mission-critical":[13],"application":[14],"efficiency":[15],"in":[16,57,81],"WSNs.":[17,114],"This":[18],"paper":[19],"proposes":[20],"a":[21,83],"model-checking":[22,94],"design":[23,38,60,95,100,112],"driven":[24],"framework":[25,80,96],"for":[26,113],"designing":[27,82],"QoS-based":[29,85,109],"WSNs,":[33],"which":[34],"involves":[35],"light-weight":[37],"process,":[39],"timed":[41],"automata":[42],"model,":[43],"alternative":[46],"QoS":[47,105],"verification":[48],"properties.":[49],"The":[50,88],"accurate":[51],"feedback":[52],"continually":[54],"model":[55],"checking":[56],"iterative":[59],"process":[61],"effectively":[62],"stimulates":[63],"parameter":[65],"tuning":[66],"protocols.":[69],"We":[70],"demonstrate":[71],"straightforward":[73],"modular":[75],"characteristics":[76],"proposed":[79],"prototype":[84,89],"protocol.":[87],"study":[90],"shows":[91],"that":[92],"may":[97],"complement":[98],"other":[99],"methods":[101],"ensure":[103],"implementation":[106],"protocol":[111]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}