{"id":"https://openalex.org/W2476974361","doi":"https://doi.org/10.1016/j.procs.2016.05.461","title":"Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks","display_name":"Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2476974361","doi":"https://doi.org/10.1016/j.procs.2016.05.461","mag":"2476974361"},"language":"en","primary_location":{"id":"doi:10.1016/j.procs.2016.05.461","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.procs.2016.05.461","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1877050916309450/pdf","source":{"id":"https://openalex.org/S120348307","display_name":"Procedia Computer Science","issn_l":"1877-0509","issn":["1877-0509"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Procedia Computer Science","raw_type":"journal-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.sciencedirect.com/science/article/pii/S1877050916309450/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067657692","display_name":"M. Carmen Ruiz","orcid":"https://orcid.org/0000-0002-2392-9272"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"M.C. Ruiz","raw_affiliation_strings":["Escuela Superior de Ingenier\u00eda Inform\u00e1tica, Universidad de Castilla-La Mancha, Albacete, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Escuela Superior de Ingenier\u00eda Inform\u00e1tica, Universidad de Castilla-La Mancha, Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015169894","display_name":"Hermenegilda Maci\u00e0","orcid":"https://orcid.org/0000-0003-1462-5274"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"H. Maci\u00e0","raw_affiliation_strings":["Escuela Superior de Ingenier\u00eda Inform\u00e1tica, Universidad de Castilla-La Mancha, Albacete, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Escuela Superior de Ingenier\u00eda Inform\u00e1tica, Universidad de Castilla-La Mancha, Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036182493","display_name":"Jos\u00e9 Antonio Mateo","orcid":"https://orcid.org/0000-0002-2074-3392"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"J.A. Mateo","raw_affiliation_strings":["Instituto de Investigaci\u00f3n en Inform\u00e1tica, Universidad de Castilla-La Mancha, Albacete, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto de Investigaci\u00f3n en Inform\u00e1tica, Universidad de Castilla-La Mancha, Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037927976","display_name":"Jos\u00e9 Lu\u00eds Calleja","orcid":"https://orcid.org/0000-0002-2265-6591"},"institutions":[{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"J. Calleja","raw_affiliation_strings":["Instituto de Investigaci\u00f3n en Inform\u00e1tica, Universidad de Castilla-La Mancha, Albacete, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto de Investigaci\u00f3n en Inform\u00e1tica, Universidad de Castilla-La Mancha, Albacete, Spain","institution_ids":["https://openalex.org/I79189158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5067657692"],"corresponding_institution_ids":["https://openalex.org/I79189158"],"apc_list":null,"apc_paid":null,"fwci":0.62,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.5748638,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"80","issue":null,"first_page":"1191","last_page":"1201"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.9988999962806702,"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.9962999820709229,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9193877577781677},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8036118745803833},{"id":"https://openalex.org/keywords/collision","display_name":"Collision","score":0.7022296190261841},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.6514055728912354},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.594031810760498},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5530522465705872},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5526509881019592},{"id":"https://openalex.org/keywords/energy","display_name":"Energy (signal processing)","score":0.5064936876296997},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.49177148938179016},{"id":"https://openalex.org/keywords/resolution","display_name":"Resolution (logic)","score":0.43740785121917725},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.42095500230789185},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.39621737599372864},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33095037937164307},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3232497274875641},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3024449944496155},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.09537923336029053},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08375972509384155},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.082863450050354},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.06780847907066345}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9193877577781677},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8036118745803833},{"id":"https://openalex.org/C121704057","wikidata":"https://www.wikidata.org/wiki/Q352070","display_name":"Collision","level":2,"score":0.7022296190261841},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.6514055728912354},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.594031810760498},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5530522465705872},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5526509881019592},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.5064936876296997},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.49177148938179016},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.43740785121917725},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.42095500230789185},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39621737599372864},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33095037937164307},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3232497274875641},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3024449944496155},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.09537923336029053},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08375972509384155},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.082863450050354},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.06780847907066345},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"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},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/j.procs.2016.05.461","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.procs.2016.05.461","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1877050916309450/pdf","source":{"id":"https://openalex.org/S120348307","display_name":"Procedia Computer Science","issn_l":"1877-0509","issn":["1877-0509"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Procedia Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/j.procs.2016.05.461","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.procs.2016.05.461","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1877050916309450/pdf","source":{"id":"https://openalex.org/S120348307","display_name":"Procedia Computer Science","issn_l":"1877-0509","issn":["1877-0509"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Procedia Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Affordable and clean energy","score":0.8999999761581421,"id":"https://metadata.un.org/sdg/7"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2476974361.pdf","grobid_xml":"https://content.openalex.org/works/W2476974361.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W1516849933","https://openalex.org/W1862398452","https://openalex.org/W1875580681","https://openalex.org/W1936144616","https://openalex.org/W1966311688","https://openalex.org/W1988873236","https://openalex.org/W1999939853","https://openalex.org/W2000947342","https://openalex.org/W2005998857","https://openalex.org/W2055206433","https://openalex.org/W2115068414","https://openalex.org/W2125930621","https://openalex.org/W2135053460","https://openalex.org/W2143708143","https://openalex.org/W2150723603","https://openalex.org/W2169051361","https://openalex.org/W6638944184","https://openalex.org/W6678859160","https://openalex.org/W6681729955"],"related_works":["https://openalex.org/W3008339103","https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4390481443","https://openalex.org/W3097218026","https://openalex.org/W4391528888"],"abstract_inverted_index":{"This":[0,33],"paper":[1,104],"provides":[2],"a":[3,9,106],"comprehensive":[4],"and":[5,56,81,89],"rigorous":[6],"study":[7,108],"of":[8,30,40,60,97,109],"novel":[10],"collision":[11],"resolution":[12],"algorithm":[13,34,62],"for":[14,86],"wireless":[15],"sensor":[16],"networks:":[17],"2CS-WSN.":[18],"It":[19],"is":[20,100],"specifically":[21],"designed":[22],"to":[23,75,82],"be":[24],"used":[25,72],"during":[26],"the":[27,48,61,94,101],"contention":[28],"phase":[29],"IEEE":[31],"802.15.4.":[32],"has":[35],"been":[36,64,71],"modelled":[37],"in":[38,73,112],"terms":[39],"discrete":[41],"time":[42],"Markov":[43],"chains":[44],"(DTMCs)":[45],"and,":[46],"using":[47],"probabilistic":[49],"symbolic":[50],"model":[51,68],"checker":[52],"PRISM,":[53],"correctness":[54],"properties":[55,85],"different":[57,67],"operation":[58],"modes":[59],"have":[63,70],"studied.":[65],"Moreover,":[66],"abstractions":[69],"order":[74],"identify":[76],"any":[77],"inconsistencies":[78],"or":[79],"ambiguities,":[80],"prove":[83],"interesting":[84],"non-trivial,":[87],"practical":[88],"relevant":[90],"scenarios.":[91],"Finally,":[92],"since":[93],"biggest":[95],"source":[96],"energy":[98,110],"waste":[99],"collision,":[102],"this":[103,113],"conducts":[105],"wide":[107],"saving":[111],"algorithm.":[114]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-08-03T07:22:36.454288","created_date":"2025-10-10T00:00:00"}