{"id":"https://openalex.org/W2612235103","doi":"https://doi.org/10.1109/wcnc.2017.7925622","title":"Formal Specification and Analysis of a Cross-Layer Overlay P2P Construction Protocol over MANETs","display_name":"Formal Specification and Analysis of a Cross-Layer Overlay P2P Construction Protocol over MANETs","publication_year":2017,"publication_date":"2017-03-01","ids":{"openalex":"https://openalex.org/W2612235103","doi":"https://doi.org/10.1109/wcnc.2017.7925622","mag":"2612235103"},"language":"en","primary_location":{"id":"doi:10.1109/wcnc.2017.7925622","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wcnc.2017.7925622","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE Wireless Communications and Networking Conference (WCNC)","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/A5072672040","display_name":"Youcef Hammal","orcid":"https://orcid.org/0000-0001-6059-3504"},"institutions":[{"id":"https://openalex.org/I192268740","display_name":"University of Algiers Benyoucef Benkhedda","ror":"https://ror.org/011r6gp69","country_code":"DZ","type":"education","lineage":["https://openalex.org/I192268740"]},{"id":"https://openalex.org/I157169809","display_name":"University of Sciences and Technology Houari Boumediene","ror":"https://ror.org/02kb89c09","country_code":"DZ","type":"education","lineage":["https://openalex.org/I157169809"]}],"countries":["DZ"],"is_corresponding":true,"raw_author_name":"Youcef Hammal","raw_affiliation_strings":["LSI, USTHB, Algiers"],"affiliations":[{"raw_affiliation_string":"LSI, USTHB, Algiers","institution_ids":["https://openalex.org/I192268740","https://openalex.org/I157169809"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089918330","display_name":"Manel Seddiki","orcid":null},"institutions":[{"id":"https://openalex.org/I192268740","display_name":"University of Algiers Benyoucef Benkhedda","ror":"https://ror.org/011r6gp69","country_code":"DZ","type":"education","lineage":["https://openalex.org/I192268740"]},{"id":"https://openalex.org/I157169809","display_name":"University of Sciences and Technology Houari Boumediene","ror":"https://ror.org/02kb89c09","country_code":"DZ","type":"education","lineage":["https://openalex.org/I157169809"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Manel Seddiki","raw_affiliation_strings":["LSI, USTHB, Algiers"],"affiliations":[{"raw_affiliation_string":"LSI, USTHB, Algiers","institution_ids":["https://openalex.org/I192268740","https://openalex.org/I157169809"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042938971","display_name":"Mahfoud Bencha\u00efba","orcid":null},"institutions":[{"id":"https://openalex.org/I192268740","display_name":"University of Algiers Benyoucef Benkhedda","ror":"https://ror.org/011r6gp69","country_code":"DZ","type":"education","lineage":["https://openalex.org/I192268740"]},{"id":"https://openalex.org/I157169809","display_name":"University of Sciences and Technology Houari Boumediene","ror":"https://ror.org/02kb89c09","country_code":"DZ","type":"education","lineage":["https://openalex.org/I157169809"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Mahfoud Benchaiba","raw_affiliation_strings":["LSI, USTHB, Algiers"],"affiliations":[{"raw_affiliation_string":"LSI, USTHB, Algiers","institution_ids":["https://openalex.org/I192268740","https://openalex.org/I157169809"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074641711","display_name":"Abdelkrim Abdelli","orcid":"https://orcid.org/0000-0002-9700-2293"},"institutions":[{"id":"https://openalex.org/I192268740","display_name":"University of Algiers Benyoucef Benkhedda","ror":"https://ror.org/011r6gp69","country_code":"DZ","type":"education","lineage":["https://openalex.org/I192268740"]},{"id":"https://openalex.org/I157169809","display_name":"University of Sciences and Technology Houari Boumediene","ror":"https://ror.org/02kb89c09","country_code":"DZ","type":"education","lineage":["https://openalex.org/I157169809"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Abdelkrim Abdelli","raw_affiliation_strings":["LSI, USTHB, Algiers"],"affiliations":[{"raw_affiliation_string":"LSI, USTHB, Algiers","institution_ids":["https://openalex.org/I192268740","https://openalex.org/I157169809"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5072672040"],"corresponding_institution_ids":["https://openalex.org/I157169809","https://openalex.org/I192268740"],"apc_list":null,"apc_paid":null,"fwci":0.4144,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.64258276,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10742","display_name":"Peer-to-Peer Network Technologies","score":0.9998000264167786,"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/T10742","display_name":"Peer-to-Peer Network Technologies","score":0.9998000264167786,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9987000226974487,"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/T10927","display_name":"Access Control and Trust","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8751072883605957},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.7446246147155762},{"id":"https://openalex.org/keywords/overlay-network","display_name":"Overlay network","score":0.7083000540733337},{"id":"https://openalex.org/keywords/mobile-ad-hoc-network","display_name":"Mobile ad hoc network","score":0.7023285031318665},{"id":"https://openalex.org/keywords/overlay","display_name":"Overlay","score":0.6685914397239685},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5891287326812744},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.48041796684265137},{"id":"https://openalex.org/keywords/underlay","display_name":"Underlay","score":0.44379013776779175},{"id":"https://openalex.org/keywords/wireless-ad-hoc-network","display_name":"Wireless ad hoc network","score":0.4237942695617676},{"id":"https://openalex.org/keywords/wireless-network","display_name":"Wireless network","score":0.41741666197776794},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.4124464988708496},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.31607377529144287},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.30858221650123596},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.2943401336669922},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.0770498514175415}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8751072883605957},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.7446246147155762},{"id":"https://openalex.org/C169851745","wikidata":"https://www.wikidata.org/wiki/Q1331985","display_name":"Overlay network","level":3,"score":0.7083000540733337},{"id":"https://openalex.org/C91280400","wikidata":"https://www.wikidata.org/wiki/Q4085781","display_name":"Mobile ad hoc network","level":3,"score":0.7023285031318665},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.6685914397239685},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5891287326812744},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.48041796684265137},{"id":"https://openalex.org/C2777679929","wikidata":"https://www.wikidata.org/wiki/Q7883709","display_name":"Underlay","level":3,"score":0.44379013776779175},{"id":"https://openalex.org/C94523657","wikidata":"https://www.wikidata.org/wiki/Q4085781","display_name":"Wireless ad hoc network","level":3,"score":0.4237942695617676},{"id":"https://openalex.org/C108037233","wikidata":"https://www.wikidata.org/wiki/Q11375","display_name":"Wireless network","level":3,"score":0.41741666197776794},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.4124464988708496},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.31607377529144287},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.30858221650123596},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.2943401336669922},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0770498514175415},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C13944312","wikidata":"https://www.wikidata.org/wiki/Q7512748","display_name":"Signal-to-noise ratio (imaging)","level":2,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"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":1,"locations":[{"id":"doi:10.1109/wcnc.2017.7925622","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wcnc.2017.7925622","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE Wireless Communications and Networking Conference (WCNC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.699999988079071,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1595810432","https://openalex.org/W1836578358","https://openalex.org/W1962072139","https://openalex.org/W2055986973","https://openalex.org/W2081840025","https://openalex.org/W2101508170","https://openalex.org/W2150529466","https://openalex.org/W2158049821","https://openalex.org/W2167898414","https://openalex.org/W2262468925","https://openalex.org/W6635624051","https://openalex.org/W6640868803","https://openalex.org/W6692721123"],"related_works":["https://openalex.org/W2470213802","https://openalex.org/W2921979903","https://openalex.org/W89955905","https://openalex.org/W1599626576","https://openalex.org/W2021541000","https://openalex.org/W1691715735","https://openalex.org/W1637847238","https://openalex.org/W2042060105","https://openalex.org/W2126533264","https://openalex.org/W1597460884"],"abstract_inverted_index":{"This":[0],"paper":[1],"aims":[2],"at":[3],"presenting":[4],"a":[5,12,33,164],"formal":[6,140],"modeling":[7,141],"and":[8,81,104,108,134,150,179],"verification":[9],"method":[10],"of":[11,38,86,99,114,136,147,157,166,176,184],"cross-layer":[13],"technique":[14],"to":[15,31,60,96,102,128],"building":[16,120],"an":[17,39],"efficient":[18,129],"P2P":[19,47,67,110,132],"unstructured":[20],"overlay":[21,48,119],"over":[22,54,70],"MANET":[23,71,100,124],"underlays.":[24],"Peer-to-Peer":[25],"(P2P)":[26],"overlays":[27],"are":[28,84],"formed":[29],"dynamically":[30],"create":[32],"virtual":[34],"network":[35,42,137,165],"on":[36],"top":[37],"underlying":[40],"physical":[41],"such":[43,187],"as":[44,188],"the":[45,87,123,145,151,154,158,174],"Internet.":[46],"networks":[49],"can":[50],"also":[51],"be":[52],"deployed":[53],"Mobile":[55],"Ad":[56],"hoc":[57],"Networks":[58],"(MANET)":[59],"address":[61],"content":[62],"discovery":[63],"issues.":[64],"However,":[65],"deploying":[66],"systems":[68],"straight":[69],"do":[72],"not":[73],"exhibit":[74],"satisfactory":[75],"performance.":[76],"Bandwidth":[77],"limitation,":[78],"limited":[79],"resources":[80],"node":[82],"mobility":[83],"some":[85,177],"key":[88],"constraints.":[89],"The":[90,112,139],"rational":[91],"behind":[92],"our":[93,118],"proposal":[94],"is":[95,163],"take":[97],"advantage":[98],"underlay":[101],"select":[103],"maintain":[105],"physically":[106],"nearest":[107],"fresh":[109],"neighbors.":[111],"combination":[113],"elementary":[115],"strategies":[116],"makes":[117],"likely-":[121],"matches":[122],"underlay,":[125],"thereby,":[126],"leading":[127],"paths":[130],"between":[131],"neighbors":[133],"reduction":[135],"overhead.":[138],"consists":[142],"in":[143],"capturing":[144],"behavior":[146],"wireless":[148],"nodes":[149],"medium":[152],"using":[153],"input":[155],"language":[156],"UPPAAL":[159],"model":[160],"checker,":[161],"that":[162],"communicating":[167],"timed":[168],"automata.":[169],"Last,":[170],"we":[171],"proceed":[172],"with":[173],"checking":[175],"safety":[178],"liveness":[180],"properties":[181],"by":[182],"means":[183],"this":[185],"tool,":[186],"deadlock-freedom.":[189]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-01-13T01:12:25.745995","created_date":"2025-10-10T00:00:00"}