{"id":"https://openalex.org/W1548399244","doi":"https://doi.org/10.1109/icc.2015.7248880","title":"Formal modeling and analysis of greedy behaviors in IEEE 802.11 protocols","display_name":"Formal modeling and analysis of greedy behaviors in IEEE 802.11 protocols","publication_year":2015,"publication_date":"2015-06-01","ids":{"openalex":"https://openalex.org/W1548399244","doi":"https://doi.org/10.1109/icc.2015.7248880","mag":"1548399244"},"language":"en","primary_location":{"id":"doi:10.1109/icc.2015.7248880","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icc.2015.7248880","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Conference on Communications (ICC)","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/A5061965262","display_name":"Lynda Mokdad","orcid":"https://orcid.org/0000-0002-6182-4869"},"institutions":[{"id":"https://openalex.org/I2800365227","display_name":"Paris-Est Sup","ror":"https://ror.org/0268ecp52","country_code":"FR","type":"education","lineage":["https://openalex.org/I2800365227"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Lynda Mokdad","raw_affiliation_strings":["LACL, University of Paris-Est","LACL, University of Paris-Est, France"],"affiliations":[{"raw_affiliation_string":"LACL, University of Paris-Est","institution_ids":["https://openalex.org/I2800365227"]},{"raw_affiliation_string":"LACL, University of Paris-Est, France","institution_ids":["https://openalex.org/I2800365227"]}]},{"author_position":"middle","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":false,"raw_author_name":"Youcef Hammal","raw_affiliation_strings":["LSI, USTHB, Algiers","LSI, USTHB, Algiers, Algeria"],"affiliations":[{"raw_affiliation_string":"LSI, USTHB, Algiers","institution_ids":["https://openalex.org/I192268740","https://openalex.org/I157169809"]},{"raw_affiliation_string":"LSI, USTHB, Algiers, Algeria","institution_ids":["https://openalex.org/I192268740","https://openalex.org/I157169809"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085749623","display_name":"Jalel Ben\u2010Othman","orcid":"https://orcid.org/0000-0001-6942-5435"},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I4210091279","display_name":"Universit\u00e9 Sorbonne Paris Nord","ror":"https://ror.org/0199hds37","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210091279"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jalel Ben-Othman","raw_affiliation_strings":["Universite Paris 13, Villetaneuse, \u00c3\u017dle-de-France, FR","L2TI University of Paris 13 France"],"affiliations":[{"raw_affiliation_string":"Universite Paris 13, Villetaneuse, \u00c3\u017dle-de-France, FR","institution_ids":["https://openalex.org/I4210091279"]},{"raw_affiliation_string":"L2TI University of Paris 13 France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I4210091279"]}]},{"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","LSI, USTHB, Algiers, Algeria"],"affiliations":[{"raw_affiliation_string":"LSI, USTHB, Algiers","institution_ids":["https://openalex.org/I192268740","https://openalex.org/I157169809"]},{"raw_affiliation_string":"LSI, USTHB, Algiers, Algeria","institution_ids":["https://openalex.org/I192268740","https://openalex.org/I157169809"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5061965262"],"corresponding_institution_ids":["https://openalex.org/I2800365227"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.02738236,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"180","issue":null,"first_page":"3579","last_page":"3584"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.987500011920929,"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/T11158","display_name":"Wireless Networks and Protocols","score":0.9801999926567078,"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/liveness","display_name":"Liveness","score":0.9472919702529907},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8484959602355957},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.5921323299407959},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5857200622558594},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5527377724647522},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.5492071509361267},{"id":"https://openalex.org/keywords/inter-access-point-protocol","display_name":"Inter-Access Point Protocol","score":0.5344613790512085},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4908958077430725},{"id":"https://openalex.org/keywords/wireless-network","display_name":"Wireless network","score":0.4895995259284973},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.43235430121421814},{"id":"https://openalex.org/keywords/channel","display_name":"Channel (broadcasting)","score":0.411324679851532},{"id":"https://openalex.org/keywords/wi-fi","display_name":"Wi-Fi","score":0.3312492370605469},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.20267826318740845},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08188396692276001}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9472919702529907},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8484959602355957},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.5921323299407959},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5857200622558594},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5527377724647522},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.5492071509361267},{"id":"https://openalex.org/C84035377","wikidata":"https://www.wikidata.org/wiki/Q492197","display_name":"Inter-Access Point Protocol","level":5,"score":0.5344613790512085},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4908958077430725},{"id":"https://openalex.org/C108037233","wikidata":"https://www.wikidata.org/wiki/Q11375","display_name":"Wireless network","level":3,"score":0.4895995259284973},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.43235430121421814},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.411324679851532},{"id":"https://openalex.org/C508800617","wikidata":"https://www.wikidata.org/wiki/Q29643","display_name":"Wi-Fi","level":4,"score":0.3312492370605469},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.20267826318740845},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08188396692276001},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icc.2015.7248880","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icc.2015.7248880","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Conference on Communications (ICC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1516849933","https://openalex.org/W1595810432","https://openalex.org/W1962072139","https://openalex.org/W2060789998","https://openalex.org/W2067767842","https://openalex.org/W2101508170","https://openalex.org/W2113716310","https://openalex.org/W2137013587","https://openalex.org/W4298272596","https://openalex.org/W6630676637","https://openalex.org/W6640868803"],"related_works":["https://openalex.org/W2147348835","https://openalex.org/W2082472813","https://openalex.org/W3005566532","https://openalex.org/W2164319435","https://openalex.org/W4300867686","https://openalex.org/W2746280673","https://openalex.org/W1594593035","https://openalex.org/W2152996796","https://openalex.org/W2560415449","https://openalex.org/W1599467981"],"abstract_inverted_index":{"In":[0],"this":[1,110],"paper":[2],"we":[3,118],"present":[4],"a":[5],"formal":[6],"modeling":[7,87],"and":[8,76,104,117],"analysis":[9],"approach":[10],"of":[11,38,54,61,70,89,101,109],"the":[12,49,52,59,66,77,86,90,99],"IEEE":[13],"802.11":[14],"CSMA/CA":[15,39],"protocol":[16,40],"in":[17,41],"wireless":[18,62,78],"local":[19],"area":[20],"networks":[21],"(LANs)":[22],"whose":[23],"some":[24,102,120],"greedy":[25],"stations":[26,31,63,75],"have":[27],"selfish":[28],"behaviors.":[29],"Such":[30],"do":[32],"not":[33],"strictly":[34],"comply":[35],"with":[36,73],"rules":[37],"order":[42],"to":[43,47,98],"increase":[44],"their":[45],"chances":[46],"access":[48],"channel":[50],"at":[51],"expense":[53],"normal":[55],"stations.":[56],"We":[57,94,112],"capture":[58],"behavior":[60],"correctly":[64],"implementing":[65],"DCF":[67],"functioning":[68],"mode":[69],"CSMA,":[71],"along":[72],"compromised":[74],"medium":[79],"using":[80],"communicating":[81],"timed":[82],"automata":[83],"which":[84],"are":[85],"language":[88],"UPPAAL":[91],"model":[92],"checker.":[93],"proceed":[95],"as":[96],"well":[97],"checking":[100],"safety":[103],"liveness":[105],"properties":[106],"by":[107],"means":[108],"tool.":[111],"also":[113],"propose":[114],"stochastic":[115],"models":[116],"give":[119],"numerical":[121],"results.":[122]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}