{"id":"https://openalex.org/W2295813412","doi":"https://doi.org/10.1007/978-3-319-22572-2_28","title":"Formal Approach for Modeling, Verification and Performance Analysis of Wireless Sensors Network","display_name":"Formal Approach for Modeling, Verification and Performance Analysis of Wireless Sensors Network","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2295813412","doi":"https://doi.org/10.1007/978-3-319-22572-2_28","mag":"2295813412"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-22572-2_28","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-22572-2_28","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-01728799","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102507637","display_name":"Sajeh Za\u00efri","orcid":null},"institutions":[{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]}],"countries":["TN"],"is_corresponding":true,"raw_author_name":"Sajeh Zairi","raw_affiliation_strings":["LIP2 Laboratory, University of Tunis El Manar, 2092, Manar II, Tunis(ia)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIP2 Laboratory, University of Tunis El Manar, 2092, Manar II, Tunis(ia)","institution_ids":["https://openalex.org/I63596082"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059353422","display_name":"Anis Mezni","orcid":null},"institutions":[{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Anis Mezni","raw_affiliation_strings":["LIP2 Laboratory, University of Tunis El Manar, 2092, Manar II, Tunis(ia)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIP2 Laboratory, University of Tunis El Manar, 2092, Manar II, Tunis(ia)","institution_ids":["https://openalex.org/I63596082"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019942759","display_name":"Belhassen Zouari","orcid":"https://orcid.org/0000-0002-9842-0032"},"institutions":[{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Belhassen Zouari","raw_affiliation_strings":["LIP2 Laboratory, University of Tunis El Manar, 2092, Manar II, Tunis(ia)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIP2 Laboratory, University of Tunis El Manar, 2092, Manar II, Tunis(ia)","institution_ids":["https://openalex.org/I63596082"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5102507637"],"corresponding_institution_ids":["https://openalex.org/I63596082"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.7942,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.70482701,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"381","last_page":"395"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.9998000264167786,"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/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.9998000264167786,"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/T12216","display_name":"Network Time Synchronization Technologies","score":0.9950000047683716,"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/T10246","display_name":"Mobile Ad Hoc Networks","score":0.9936000108718872,"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/computer-science","display_name":"Computer science","score":0.8484512567520142},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.7489850521087646},{"id":"https://openalex.org/keywords/energy-consumption","display_name":"Energy consumption","score":0.6626192927360535},{"id":"https://openalex.org/keywords/interfacing","display_name":"Interfacing","score":0.6132010221481323},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6057173013687134},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5561783313751221},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.521143913269043},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.4696452021598816},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.42168810963630676},{"id":"https://openalex.org/keywords/network-simulation","display_name":"Network simulation","score":0.4143708646297455},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.4006460905075073},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.36598318815231323}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8484512567520142},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.7489850521087646},{"id":"https://openalex.org/C2780165032","wikidata":"https://www.wikidata.org/wiki/Q16869822","display_name":"Energy consumption","level":2,"score":0.6626192927360535},{"id":"https://openalex.org/C2776303644","wikidata":"https://www.wikidata.org/wiki/Q1020499","display_name":"Interfacing","level":2,"score":0.6132010221481323},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6057173013687134},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5561783313751221},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.521143913269043},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.4696452021598816},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.42168810963630676},{"id":"https://openalex.org/C139940560","wikidata":"https://www.wikidata.org/wiki/Q290036","display_name":"Network simulation","level":2,"score":0.4143708646297455},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4006460905075073},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.36598318815231323},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-319-22572-2_28","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-22572-2_28","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-01728799v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01728799","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.381-395, ⟨10.1007/978-3-319-22572-2_28⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01728799v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01728799","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.381-395, ⟨10.1007/978-3-319-22572-2_28⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7","score":0.9100000262260437}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W40520819","https://openalex.org/W410940147","https://openalex.org/W1556470599","https://openalex.org/W2019663985","https://openalex.org/W2056630526","https://openalex.org/W2059990337","https://openalex.org/W2076040966","https://openalex.org/W2076269700","https://openalex.org/W2108343033","https://openalex.org/W2109466787","https://openalex.org/W2130403046","https://openalex.org/W2150039965","https://openalex.org/W2153527504","https://openalex.org/W2170636036","https://openalex.org/W2746259799","https://openalex.org/W4249484115"],"related_works":["https://openalex.org/W2136647108","https://openalex.org/W1965180958","https://openalex.org/W2350029007","https://openalex.org/W1973428399","https://openalex.org/W2152662857","https://openalex.org/W2182594080","https://openalex.org/W2484987020","https://openalex.org/W2017757432","https://openalex.org/W2047994557","https://openalex.org/W2111773953"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}