{"id":"https://openalex.org/W1177141398","doi":"https://doi.org/10.1016/s2405-9595(15)30014-x","title":"Formal Modeling of Greedy Nodes in 802.15.4 WSN","display_name":"Formal Modeling of Greedy Nodes in 802.15.4 WSN","publication_year":2015,"publication_date":"2015-06-01","ids":{"openalex":"https://openalex.org/W1177141398","doi":"https://doi.org/10.1016/s2405-9595(15)30014-x","mag":"1177141398"},"language":"en","primary_location":{"id":"doi:10.1016/s2405-9595(15)30014-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s2405-9595(15)30014-x","pdf_url":null,"source":{"id":"https://openalex.org/S2898368220","display_name":"ICT Express","issn_l":"2405-9595","issn":["2405-9595"],"is_oa":true,"is_in_doaj":true,"is_core":true,"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":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ICT Express","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1016/s2405-9595(15)30014-x","any_repository_has_fulltext":true},"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/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"]},{"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"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Youcef Hammal","raw_affiliation_strings":["LSI, Dept of Computer Science, USTHB University, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LSI, Dept of Computer Science, USTHB University, Algeria","institution_ids":["https://openalex.org/I157169809","https://openalex.org/I192268740"]}]},{"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/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":true,"raw_author_name":"Jalel Ben-Othman","raw_affiliation_strings":["L2TI, Galilee Institute, University of Paris 13, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"L2TI, Galilee Institute, University of Paris 13, France","institution_ids":["https://openalex.org/I4210091279"]}]},{"author_position":"middle","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":false,"raw_author_name":"Lynda Mokdad","raw_affiliation_strings":["LACL, University of Paris-Est, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LACL, University of Paris-Est, France","institution_ids":["https://openalex.org/I2800365227"]}]},{"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/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"]},{"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"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Abdelkrim Abdelli","raw_affiliation_strings":["LSI, Dept of Computer Science, USTHB University, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LSI, Dept of Computer Science, USTHB University, Algeria","institution_ids":["https://openalex.org/I157169809","https://openalex.org/I192268740"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5085749623"],"corresponding_institution_ids":["https://openalex.org/I4210091279"],"apc_list":{"value":1500,"currency":"USD","value_usd":1500},"apc_paid":{"value":1500,"currency":"USD","value_usd":1500},"fwci":0.6691,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.71488381,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"1","issue":"1","first_page":"10","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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.9940000176429749,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9663000106811523,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7674596309661865},{"id":"https://openalex.org/keywords/greedy-algorithm","display_name":"Greedy algorithm","score":0.7429469227790833},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7111477255821228},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.67965167760849},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.5934705138206482},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5597885847091675},{"id":"https://openalex.org/keywords/transmission","display_name":"Transmission (telecommunications)","score":0.535342276096344},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.47481095790863037},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.24274975061416626},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.14461135864257812},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.07281103730201721}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7674596309661865},{"id":"https://openalex.org/C51823790","wikidata":"https://www.wikidata.org/wiki/Q504353","display_name":"Greedy algorithm","level":2,"score":0.7429469227790833},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7111477255821228},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.67965167760849},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.5934705138206482},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5597885847091675},{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.535342276096344},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.47481095790863037},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.24274975061416626},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.14461135864257812},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.07281103730201721},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1016/s2405-9595(15)30014-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s2405-9595(15)30014-x","pdf_url":null,"source":{"id":"https://openalex.org/S2898368220","display_name":"ICT Express","issn_l":"2405-9595","issn":["2405-9595"],"is_oa":true,"is_in_doaj":true,"is_core":true,"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":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ICT Express","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-04030540v1","is_oa":false,"landing_page_url":"https://hal.u-pec.fr/hal-04030540","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 2405-9595","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:HAL:hal-04041263v1","is_oa":false,"landing_page_url":"https://hal.u-pec.fr/hal-04041263","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ICT Express, 2015, 1 (1), pp.10-13. ⟨10.1016/S2405-9595(15)30014-X⟩","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:HAL:hal-04074405v1","is_oa":false,"landing_page_url":"https://hal.u-pec.fr/hal-04074405","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 2405-9595","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:0cc12361d86a41b7880faeb8b370e778","is_oa":true,"landing_page_url":"https://doaj.org/article/0cc12361d86a41b7880faeb8b370e778","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ICT Express, Vol 1, Iss 1, Pp 10-13 (2015)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1016/s2405-9595(15)30014-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s2405-9595(15)30014-x","pdf_url":null,"source":{"id":"https://openalex.org/S2898368220","display_name":"ICT Express","issn_l":"2405-9595","issn":["2405-9595"],"is_oa":true,"is_in_doaj":true,"is_core":true,"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":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ICT Express","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W2060789998","https://openalex.org/W2101508170","https://openalex.org/W6605254786"],"related_works":["https://openalex.org/W4387497383","https://openalex.org/W3183948672","https://openalex.org/W3173606202","https://openalex.org/W3110381201","https://openalex.org/W2948807893","https://openalex.org/W2935909890","https://openalex.org/W2778153218","https://openalex.org/W2758277628","https://openalex.org/W1531601525","https://openalex.org/W1975451135"],"abstract_inverted_index":{"This":[0,22,81],"paper":[1],"deals":[2],"with":[3],"formal":[4],"specification":[5],"of":[6,63,72,85],"the":[7,64,69,83],"non-slotted":[8],"CSMA/CA":[9],"protocol":[10,23],"in":[11,57,79],"wireless":[12],"sensor":[13,25],"networks(WSN)":[14],"whose":[15],"some":[16,29],"nodes":[17,26,37,78],"own":[18],"a":[19,33],"greedy":[20,36,77],"behavior.":[21],"requires":[24],"to":[27,40,67,88],"wait":[28],"time":[30],"before":[31],"initiating":[32],"transmission,":[34],"whereas":[35],"may":[38,46],"try":[39],"reduce":[41],"their":[42,52],"waiting":[43],"duration,":[44],"which":[45],"penalize":[47],"other":[48],"nodes.":[49],"To":[50],"analyze":[51],"impact":[53],"on":[54],"WSN":[55],"mode":[56],"operation,":[58],"we":[59],"use":[60,84],"timed":[61],"automata":[62],"model-checker":[65],"UPPAAL":[66],"capture":[68],"abstract":[70],"behavior":[71],"communication":[73],"medium,":[74],"sane,":[75],"and":[76],"WSN.":[80],"enables":[82],"analysis":[86],"tools":[87],"check":[89],"whether":[90],"these":[91],"models":[92],"satisfy":[93],"intended":[94],"properties.":[95]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}