{"id":"https://openalex.org/W2152646950","doi":"https://doi.org/10.1109/cec.2007.4424470","title":"A comprehensive formal framework for analyzing the behavior of nature-inspired routing protocols","display_name":"A comprehensive formal framework for analyzing the behavior of nature-inspired routing protocols","publication_year":2007,"publication_date":"2007-09-01","ids":{"openalex":"https://openalex.org/W2152646950","doi":"https://doi.org/10.1109/cec.2007.4424470","mag":"2152646950"},"language":"en","primary_location":{"id":"doi:10.1109/cec.2007.4424470","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cec.2007.4424470","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 IEEE Congress on Evolutionary Computation","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/A5018642413","display_name":"Saira Zahid","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Saira Zahid","raw_affiliation_strings":["Department of Electrical Engineering, College of Electrical and Mechanical Engineering, National University of Science and Technology, Pakistan"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, College of Electrical and Mechanical Engineering, National University of Science and Technology, Pakistan","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049422969","display_name":"Muhammad Shahzad","orcid":"https://orcid.org/0000-0003-4342-7875"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Muhammad Shahzad","raw_affiliation_strings":["Department of Electrical Engineering, College of Electrical and Mechanical Engineering, National University of Science and Technology, Pakistan"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, College of Electrical and Mechanical Engineering, National University of Science and Technology, Pakistan","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115592517","display_name":"Syed Usman Ali","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Syed Usman Ali","raw_affiliation_strings":["Department of Electrical Engineering, College of Electrical and Mechanical Engineering, National University of Science and Technology, Pakistan"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, College of Electrical and Mechanical Engineering, National University of Science and Technology, Pakistan","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103408949","display_name":"Muddassar Farooq","orcid":"https://orcid.org/0009-0009-1882-7819"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Muddassar Farooq","raw_affiliation_strings":["Department of Computer Engineering College of Electrical and Mechanical Engineering, National University of Science and Technology, Pakistan"],"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering College of Electrical and Mechanical Engineering, National University of Science and Technology, Pakistan","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5018642413"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5883,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.84776376,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"3449","issue":null,"first_page":"180","last_page":"187"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12326","display_name":"Network Packet Processing and Optimization","score":0.9851999878883362,"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"}},"topics":[{"id":"https://openalex.org/T12326","display_name":"Network Packet Processing and Optimization","score":0.9851999878883362,"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"}},{"id":"https://openalex.org/T11478","display_name":"Caching and Content Delivery","score":0.9840999841690063,"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/T10138","display_name":"Network Traffic and Congestion Control","score":0.9818999767303467,"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/correctness","display_name":"Correctness","score":0.7293304204940796},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7237186431884766},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.6572030782699585},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.5605549812316895},{"id":"https://openalex.org/keywords/routing-protocol","display_name":"Routing protocol","score":0.5376407504081726},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4112697243690491},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3468398451805115},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.30927568674087524},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19083917140960693},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.16648736596107483}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7293304204940796},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7237186431884766},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.6572030782699585},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.5605549812316895},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.5376407504081726},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4112697243690491},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3468398451805115},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30927568674087524},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19083917140960693},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.16648736596107483},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/cec.2007.4424470","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cec.2007.4424470","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2007 IEEE Congress on Evolutionary Computation","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.662.5659","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.662.5659","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://nexginrc.org/Publications/pub_files/cec07-saira.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W5124408","https://openalex.org/W1493725229","https://openalex.org/W1533429117","https://openalex.org/W1534039199","https://openalex.org/W1664011265","https://openalex.org/W1985698654","https://openalex.org/W1992580876","https://openalex.org/W2045129218","https://openalex.org/W2070602556","https://openalex.org/W2094680418","https://openalex.org/W2096615736","https://openalex.org/W2795829883","https://openalex.org/W2799087070","https://openalex.org/W3154486830","https://openalex.org/W4206915417","https://openalex.org/W6600207750","https://openalex.org/W6629560251","https://openalex.org/W6632012497"],"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/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W2111870610"],"abstract_inverted_index":{"Nature-inspired":[0],"routing":[1,85,108],"protocols":[2,30,86],"are":[3,31],"becoming":[4],"an":[5,67],"active":[6],"area":[7],"of":[8,36,51,75,80,83,119,138],"research.":[9],"Researchers":[10],"in":[11,44,60,90,104],"the":[12,29,34,49,71,91,117,128,139,143],"community":[13],"follow":[14],"a":[15,27,45,62,99,106,151],"well":[16],"known":[17],"engineering":[18],"philosophy:":[19],"inspire,":[20],"abstract,":[21],"design,":[22],"develop":[23],"and":[24,38,73,145],"validate.":[25],"As":[26],"consequence,":[28],"designed":[32],"on":[33],"basis":[35],"heuristics":[37],"then":[39],"their":[40],"performance":[41,74],"is":[42,87,141],"evaluated":[43],"network":[46,133],"simulator.":[47],"To":[48],"best":[50],"our":[52,120],"knowledge,":[53],"virtually":[54],"no":[55],"attention":[56],"has":[57],"been":[58],"paid":[59],"developing":[61],"formal":[63,81,100],"framework":[64,101],"that":[65,102,142,156],"provides":[66],"analytical":[68],"insight":[69],"into":[70],"behavior":[72],"such":[76],"algorithms.":[77],"The":[78],"lack":[79],"treatment":[82],"nature-inspired":[84,107],"often":[88],"criticized":[89],"networking":[92],"community.":[93],"In":[94],"this":[95,157],"paper":[96],"we":[97],"propose":[98],"helps":[103],"analyzing":[105],"protocol,":[109],"<i":[110,164,167],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[111,165,168],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">BeeHive</i>":[112],".":[113],"We":[114,154],"have":[115],"verified":[116],"correctness":[118],"model":[121],"by":[122,150],"comparing":[123],"its":[124],"estimated":[125,144],"values":[126,147],"with":[127],"results":[129],"obtained":[130],"from":[131],"extensive":[132],"simulations.":[134],"An":[135],"important":[136],"outcome":[137],"work":[140,158],"measured":[146],"only":[148],"differ":[149],"small":[152],"deviation.":[153],"believe":[155],"will":[159],"be":[160],"instrumental":[161],"for":[162],"n":[163],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">ature-inspired</i>":[166],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Telecommunications.</i>":[169]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}