{"id":"https://openalex.org/W2073174754","doi":"https://doi.org/10.1145/1868521.1868572","title":"Formal modelling and verification of the common hopping multi-channel MAC protocols","display_name":"Formal modelling and verification of the common hopping multi-channel MAC protocols","publication_year":2010,"publication_date":"2010-10-17","ids":{"openalex":"https://openalex.org/W2073174754","doi":"https://doi.org/10.1145/1868521.1868572","mag":"2073174754"},"language":"en","primary_location":{"id":"doi:10.1145/1868521.1868572","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1868521.1868572","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems","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/A5064163553","display_name":"Abdelaziz El Fatni","orcid":null},"institutions":[{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 de Toulouse","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Abdelaziz El Fatni","raw_affiliation_strings":["University of Toulouse, Toulouse, France","University of Toulouse, Toulouse, France#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Toulouse, Toulouse, France","institution_ids":["https://openalex.org/I17866349"]},{"raw_affiliation_string":"University of Toulouse, Toulouse, France#TAB#","institution_ids":["https://openalex.org/I17866349"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025738249","display_name":"Guy Juanole","orcid":null},"institutions":[{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 de Toulouse","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Guy Juanole","raw_affiliation_strings":["University of Toulouse, Toulouse, France","University of Toulouse, Toulouse, France#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Toulouse, Toulouse, France","institution_ids":["https://openalex.org/I17866349"]},{"raw_affiliation_string":"University of Toulouse, Toulouse, France#TAB#","institution_ids":["https://openalex.org/I17866349"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065527345","display_name":"Thierry Val","orcid":"https://orcid.org/0000-0002-5749-8570"},"institutions":[{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 de Toulouse","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Thierry Val","raw_affiliation_strings":["University of Toulouse, Toulouse, France","University of Toulouse, Toulouse, France#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Toulouse, Toulouse, France","institution_ids":["https://openalex.org/I17866349"]},{"raw_affiliation_string":"University of Toulouse, Toulouse, France#TAB#","institution_ids":["https://openalex.org/I17866349"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5064163553"],"corresponding_institution_ids":["https://openalex.org/I17866349"],"apc_list":null,"apc_paid":null,"fwci":0.7122,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.73003792,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"311","last_page":"318"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10246","display_name":"Mobile Ad Hoc Networks","score":0.9995999932289124,"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.9995999932289124,"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/T11158","display_name":"Wireless Networks and Protocols","score":0.9987999796867371,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9983999729156494,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8429789543151855},{"id":"https://openalex.org/keywords/channel","display_name":"Channel (broadcasting)","score":0.684262752532959},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.6416732668876648},{"id":"https://openalex.org/keywords/throughput","display_name":"Throughput","score":0.548076868057251},{"id":"https://openalex.org/keywords/rendezvous","display_name":"Rendezvous","score":0.5178828239440918},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4798840582370758},{"id":"https://openalex.org/keywords/communication-source","display_name":"Communication source","score":0.4691060185432434},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4599307179450989},{"id":"https://openalex.org/keywords/transmission","display_name":"Transmission (telecommunications)","score":0.45285892486572266},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.45083677768707275},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.4131675064563751},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.26939916610717773},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1844792366027832},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.08989593386650085}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8429789543151855},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.684262752532959},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.6416732668876648},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.548076868057251},{"id":"https://openalex.org/C2779968344","wikidata":"https://www.wikidata.org/wiki/Q3932925","display_name":"Rendezvous","level":3,"score":0.5178828239440918},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4798840582370758},{"id":"https://openalex.org/C198104137","wikidata":"https://www.wikidata.org/wiki/Q974688","display_name":"Communication source","level":2,"score":0.4691060185432434},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4599307179450989},{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.45285892486572266},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.45083677768707275},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.4131675064563751},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.26939916610717773},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1844792366027832},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.08989593386650085},{"id":"https://openalex.org/C29829512","wikidata":"https://www.wikidata.org/wiki/Q40218","display_name":"Spacecraft","level":2,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","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},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"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.1145/1868521.1868572","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1868521.1868572","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.41999998688697815,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1483569999","https://openalex.org/W1500655351","https://openalex.org/W1565122589","https://openalex.org/W1815449229","https://openalex.org/W1832953524","https://openalex.org/W1935892444","https://openalex.org/W1986755980","https://openalex.org/W2015729019","https://openalex.org/W2089459458","https://openalex.org/W2095698227","https://openalex.org/W2100925062","https://openalex.org/W2115467602","https://openalex.org/W2132488848","https://openalex.org/W2137865376","https://openalex.org/W2147403034","https://openalex.org/W3143455850","https://openalex.org/W6674487977","https://openalex.org/W7054972345"],"related_works":["https://openalex.org/W2057371520","https://openalex.org/W2542862126","https://openalex.org/W2807763113","https://openalex.org/W2030068303","https://openalex.org/W1521763702","https://openalex.org/W2245527669","https://openalex.org/W937816491","https://openalex.org/W2046042302","https://openalex.org/W2906790212","https://openalex.org/W2089952735"],"abstract_inverted_index":{"The":[0,76],"use":[1],"of":[2,73,78,90,111,117,123,137],"multiple":[3],"channels":[4],"in":[5,57],"MAC":[6,31,93],"protocols":[7,94],"offers":[8],"a":[9,27,30,35,85,138],"great":[10],"potentiality":[11],"for":[12,47,71],"improving":[13],"the":[14,20,40,48,58,91,97,109,112,121,124,130,135],"network":[15],"throughput.":[16],"But":[17],"consequently":[18],"to":[19,26,83],"multi-channel":[21,92],"aspect":[22],"and":[23,55,68,88,120,126],"with":[24,65],"respect":[25],"mono-channel":[28],"network,":[29],"protocol":[32],"has":[33],"now":[34],"supplementary":[36],"function":[37],"which":[38,51],"is":[39,81],"channel":[41,49],"assignment.":[42],"There":[43],"are":[44,62],"many":[45],"variations":[46],"assignment":[50],"have":[52],"been":[53],"defined":[54],"studied":[56],"literature.":[59],"However,":[60],"there":[61],"few":[63],"studies":[64],"formal":[66,86],"models":[67],"verification":[69,89],"techniques":[70],"analysis":[72],"these":[74],"protocols.":[75],"goal":[77],"this":[79],"paper":[80],"precisely":[82],"propose":[84],"modelling":[87],"based":[95],"on":[96,129],"common":[98,113,131],"hopping":[99,114,132],"approach":[100],"using":[101],"Stochastic":[102],"Timed":[103],"Petri":[104],"Net":[105],"(STPN).":[106],"We":[107],"verify":[108],"properties":[110],"pattern":[115],"(rendezvous)":[116],"all":[118],"nodes":[119,128],"resynchronization":[122],"sender":[125],"receiver":[127],"sequence":[133],"after":[134],"end":[136],"successful":[139],"transmission.":[140]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}