{"id":"https://openalex.org/W2092365295","doi":"https://doi.org/10.1016/j.comcom.2007.10.031","title":"A formal validation methodology for MANET routing protocols based on nodes\u2019 self similarity","display_name":"A formal validation methodology for MANET routing protocols based on nodes\u2019 self similarity","publication_year":2007,"publication_date":"2007-10-24","ids":{"openalex":"https://openalex.org/W2092365295","doi":"https://doi.org/10.1016/j.comcom.2007.10.031","mag":"2092365295"},"language":"en","primary_location":{"id":"doi:10.1016/j.comcom.2007.10.031","doi":"https://doi.org/10.1016/j.comcom.2007.10.031","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.comcom.2007.10.031","pdf_url":null,"source":{"id":"https://openalex.org/S115004586","display_name":"Computer Communications","issn_l":"0140-3664","issn":["0140-3664","1873-703X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","ccf-c","cwts-core","dongbi-c","jufo-1","norway-1","poland-140","russia-white-list-1","vabb-shw"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Communications","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"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/A5003043815","display_name":"St\u00e9phane Maag","orcid":"https://orcid.org/0000-0002-0305-4712","observed_orcids":["https://orcid.org/0000-0002-0305-4712"]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4405261500","display_name":"Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux","ror":"https://ror.org/05d29yv45","country_code":"FR","type":"facility","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4387153010","https://openalex.org/I4405261500"]},{"id":"https://openalex.org/I4405280109","display_name":"Institut national des t\u00e9l\u00e9communications","ror":"https://ror.org/02f2qjr48","country_code":"FR","type":"education","lineage":["https://openalex.org/I4405280109"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Stephane Maag","raw_affiliation_strings":["National Institute of Telecommunications, CNRS SAMOVAR, 9, rue Charles Fourier, 91011 EVRY Cedex, France","Centre National de la Recherche Scientifique","D\u00e9partement Logiciels et R\u00e9seaux","M\u00e9thodes et mod\u00e8les pour les r\u00e9seaux","Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Telecommunications, CNRS SAMOVAR, 9, rue Charles Fourier, 91011 EVRY Cedex, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4405280109"]},{"raw_affiliation_string":"Centre National de la Recherche Scientifique","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"D\u00e9partement Logiciels et R\u00e9seaux","institution_ids":[]},{"raw_affiliation_string":"M\u00e9thodes et mod\u00e8les pour les r\u00e9seaux","institution_ids":[]},{"raw_affiliation_string":"Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux","institution_ids":["https://openalex.org/I4405261500"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040545390","display_name":"Cyril Grepet","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I4210128565","display_name":"CEA Paris-Saclay","ror":"https://ror.org/03n15ch10","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210128565"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Cyril Grepet","raw_affiliation_strings":["CEA/Saclay, SOL, Bat. 451, 91191 Gif-sur-Yvette Cedex, France","Commissariat \u00e0 l'\u00e9nergie atomique et aux \u00e9nergies alternatives"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CEA/Saclay, SOL, Bat. 451, 91191 Gif-sur-Yvette Cedex, France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I4210128565"]},{"raw_affiliation_string":"Commissariat \u00e0 l'\u00e9nergie atomique et aux \u00e9nergies alternatives","institution_ids":["https://openalex.org/I2738703131"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072274443","display_name":"Ana Rosa Cavalli","orcid":"https://orcid.org/0000-0003-2586-9071","observed_orcids":["https://orcid.org/0000-0003-2586-9071"]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4405261500","display_name":"Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux","ror":"https://ror.org/05d29yv45","country_code":"FR","type":"facility","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4387153010","https://openalex.org/I4405261500"]},{"id":"https://openalex.org/I4405280109","display_name":"Institut national des t\u00e9l\u00e9communications","ror":"https://ror.org/02f2qjr48","country_code":"FR","type":"education","lineage":["https://openalex.org/I4405280109"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Ana Cavalli","raw_affiliation_strings":["National Institute of Telecommunications, CNRS SAMOVAR, 9, rue Charles Fourier, 91011 EVRY Cedex, France","Centre National de la Recherche Scientifique","D\u00e9partement Logiciels et R\u00e9seaux","M\u00e9thodes et mod\u00e8les pour les r\u00e9seaux","Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Telecommunications, CNRS SAMOVAR, 9, rue Charles Fourier, 91011 EVRY Cedex, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4405280109"]},{"raw_affiliation_string":"Centre National de la Recherche Scientifique","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"D\u00e9partement Logiciels et R\u00e9seaux","institution_ids":[]},{"raw_affiliation_string":"M\u00e9thodes et mod\u00e8les pour les r\u00e9seaux","institution_ids":[]},{"raw_affiliation_string":"Services r\u00e9partis, Architectures, MOd\u00e9lisation, Validation, Administration des R\u00e9seaux","institution_ids":["https://openalex.org/I4405261500"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5003043815"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4405261500","https://openalex.org/I4405280109"],"apc_list":{"value":2620,"currency":"USD","value_usd":2620},"apc_paid":null,"fwci":1.8495,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.8941262,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":97},"biblio":{"volume":"31","issue":"4","first_page":"827","last_page":"841"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10246","display_name":"Mobile Ad Hoc Networks","score":0.9994999766349792,"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/T10246","display_name":"Mobile Ad Hoc Networks","score":0.9994999766349792,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.0003000000142492354,"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/T14270","display_name":"Simulation and Modeling Applications","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/manet-routing-protocols","display_name":"MANET routing protocols","score":0.9330000281333923},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"conformance testing","score":0.9100000262260437},{"id":"https://openalex.org/keywords/formal-validation","display_name":"formal validation","score":0.5600000023841858},{"id":"https://openalex.org/keywords/dynamic-source-routing","display_name":"dynamic source routing","score":0.8519999980926514},{"id":"https://openalex.org/keywords/self-similarity","display_name":"self-similarity","score":0.7799999713897705},{"id":"https://openalex.org/keywords/test-sequence-generation","display_name":"test sequence generation","score":0.6980000138282776},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.49799999594688416},{"id":"https://openalex.org/keywords/topology-change","display_name":"topology change","score":0.5389999747276306},{"id":"https://openalex.org/keywords/node-mobility","display_name":"node mobility","score":0.6759999990463257}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9027934074401855},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.6759104132652283},{"id":"https://openalex.org/C91280400","wikidata":"https://www.wikidata.org/wiki/Q4085781","display_name":"Mobile ad hoc network","level":3,"score":0.6490400433540344},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.5845794677734375},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.5472464561462402},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5377611517906189},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4855625331401825},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4840089976787567},{"id":"https://openalex.org/C89305328","wikidata":"https://www.wikidata.org/wiki/Q1755411","display_name":"Link-state routing protocol","level":4,"score":0.4680112600326538},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.41731417179107666},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.41635674238204956},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.15142440795898438},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.11539164185523987},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"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/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/j.comcom.2007.10.031","doi":"https://doi.org/10.1016/j.comcom.2007.10.031","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.comcom.2007.10.031","pdf_url":null,"source":{"id":"https://openalex.org/S115004586","display_name":"Computer Communications","issn_l":"0140-3664","issn":["0140-3664","1873-703X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","ccf-c","cwts-core","dongbi-c","jufo-1","norway-1","poland-140","russia-white-list-1","vabb-shw"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Communications","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01354849v1","doi":null,"is_oa":false,"landing_page_url":"https://hal.science/hal-01354849","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Communications, 2008, 31 (4), pp.827 - 841. ⟨10.1016/j.comcom.2007.10.031⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W32398575","https://openalex.org/W55832751","https://openalex.org/W1524439890","https://openalex.org/W1549535141","https://openalex.org/W1566793636","https://openalex.org/W1575611811","https://openalex.org/W1726571582","https://openalex.org/W1986371950","https://openalex.org/W2004929506","https://openalex.org/W2016457827","https://openalex.org/W2042895571","https://openalex.org/W2051625963","https://openalex.org/W2096900538","https://openalex.org/W2113632947","https://openalex.org/W2116678681","https://openalex.org/W2120768450","https://openalex.org/W2141739075","https://openalex.org/W2153369372","https://openalex.org/W2160614176","https://openalex.org/W2165200427","https://openalex.org/W2165351021","https://openalex.org/W6636875632"],"related_works":["https://openalex.org/W80058138","https://openalex.org/W2120768450","https://openalex.org/W2020883779","https://openalex.org/W2044410525","https://openalex.org/W2050750729","https://openalex.org/W7030057192","https://openalex.org/W2118336232","https://openalex.org/W2159041647","https://openalex.org/W2981066862","https://openalex.org/W2113064953"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-10-25T09:29:13.331239","created_date":"2016-06-24T00:00:00"}