{"id":"https://openalex.org/W4242512574","doi":"https://doi.org/10.1504/ijccbs.2018.096438","title":"Formal probabilistic performance verification of randomly-scheduled wireless sensor networks","display_name":"Formal probabilistic performance verification of randomly-scheduled wireless sensor networks","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W4242512574","doi":"https://doi.org/10.1504/ijccbs.2018.096438"},"language":"en","primary_location":{"id":"doi:10.1504/ijccbs.2018.096438","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijccbs.2018.096438","pdf_url":null,"source":{"id":"https://openalex.org/S133520368","display_name":"International Journal of Critical Computer-Based Systems","issn_l":"1757-8779","issn":["1757-8779","1757-8787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Critical Computer-Based Systems","raw_type":"journal-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/A5113876376","display_name":"M. Elleuch","orcid":null},"institutions":[{"id":"https://openalex.org/I142899784","display_name":"University of Sfax","ror":"https://ror.org/04d4sd432","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784"]},{"id":"https://openalex.org/I4210119561","display_name":"Digital Research Centre of Sfax","ror":"https://ror.org/02s48dm85","country_code":"TN","type":"facility","lineage":["https://openalex.org/I4210119561"]}],"countries":["TN"],"is_corresponding":true,"raw_author_name":"Maissa Elleuch","raw_affiliation_strings":["CES Laboratory, National School of Engineers of Sfax, Sfax University, Soukra Street, 3052 Sfax, Tunisia; Digital Research Center of Sfax, Technopark of Sfax, Sfax, Tunisia","CES Laboratory, National School of Engineers of Sfax, Sfax University, Soukra Street, 3052 Sfax, Tunisia","Digital Research Center of Sfax, Technopark of Sfax, Sfax, Tunisia"],"affiliations":[{"raw_affiliation_string":"CES Laboratory, National School of Engineers of Sfax, Sfax University, Soukra Street, 3052 Sfax, Tunisia; Digital Research Center of Sfax, Technopark of Sfax, Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784","https://openalex.org/I4210119561"]},{"raw_affiliation_string":"CES Laboratory, National School of Engineers of Sfax, Sfax University, Soukra Street, 3052 Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784"]},{"raw_affiliation_string":"Digital Research Center of Sfax, Technopark of Sfax, Sfax, Tunisia","institution_ids":["https://openalex.org/I4210119561"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066768973","display_name":"Osman Hasan","orcid":"https://orcid.org/0000-0003-2562-2669"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Osman Hasan","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montreal, Quebec, H3G 1M8, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montreal, Quebec, H3G 1M8, Canada","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086794548","display_name":"Sofi\u00e8ne Tahar","orcid":null},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Sofi\u00e8ne Tahar","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montreal, Quebec, H3G 1M8, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Concordia University, 1455 de Maisonneuve W., Montreal, Quebec, H3G 1M8, Canada","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008332940","display_name":"Mohamed Salah Abid","orcid":"https://orcid.org/0000-0001-9995-6229"},"institutions":[{"id":"https://openalex.org/I142899784","display_name":"University of Sfax","ror":"https://ror.org/04d4sd432","country_code":"TN","type":"education","lineage":["https://openalex.org/I142899784"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Mohamed Abid","raw_affiliation_strings":["CES Laboratory, National School of Engineers of Sfax, Sfax University, Soukra Street, 3052 Sfax, Tunisia"],"affiliations":[{"raw_affiliation_string":"CES Laboratory, National School of Engineers of Sfax, Sfax University, Soukra Street, 3052 Sfax, Tunisia","institution_ids":["https://openalex.org/I142899784"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5113876376"],"corresponding_institution_ids":["https://openalex.org/I142899784","https://openalex.org/I4210119561"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.3861767,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"8","issue":"3/4","first_page":"311","last_page":"311"},"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.98580002784729,"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.98580002784729,"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/T11392","display_name":"Energy Harvesting in Wireless Networks","score":0.9713000059127808,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.930899977684021,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.8150522708892822},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7983508110046387},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.714480996131897},{"id":"https://openalex.org/keywords/quality-of-service","display_name":"Quality of service","score":0.6772701740264893},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.6381691694259644},{"id":"https://openalex.org/keywords/intrusion-detection-system","display_name":"Intrusion detection system","score":0.5064326524734497},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.468336820602417},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.4637520909309387},{"id":"https://openalex.org/keywords/wireless-network","display_name":"Wireless network","score":0.46151113510131836},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.43548649549484253},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.42559194564819336},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.16607728600502014},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12605875730514526},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.0940452516078949},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.09400135278701782}],"concepts":[{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.8150522708892822},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7983508110046387},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.714480996131897},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.6772701740264893},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6381691694259644},{"id":"https://openalex.org/C35525427","wikidata":"https://www.wikidata.org/wiki/Q745881","display_name":"Intrusion detection system","level":2,"score":0.5064326524734497},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.468336820602417},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4637520909309387},{"id":"https://openalex.org/C108037233","wikidata":"https://www.wikidata.org/wiki/Q11375","display_name":"Wireless network","level":3,"score":0.46151113510131836},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.43548649549484253},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.42559194564819336},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.16607728600502014},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12605875730514526},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.0940452516078949},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.09400135278701782},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1504/ijccbs.2018.096438","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijccbs.2018.096438","pdf_url":null,"source":{"id":"https://openalex.org/S133520368","display_name":"International Journal of Critical Computer-Based Systems","issn_l":"1757-8779","issn":["1757-8779","1757-8787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Critical Computer-Based Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Affordable and clean energy","score":0.9100000262260437,"id":"https://metadata.un.org/sdg/7"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2357468538","https://openalex.org/W1577110157","https://openalex.org/W2355007334","https://openalex.org/W2390009783","https://openalex.org/W4254602698","https://openalex.org/W2394461323","https://openalex.org/W2349441905","https://openalex.org/W2494523064","https://openalex.org/W2361044160","https://openalex.org/W1483130311"],"abstract_inverted_index":{"Energy":[0],"efficiency":[1],"in":[2,33,117,166],"wireless":[3,135],"sensor":[4,136],"networks":[5],"(WSN)":[6],"is":[7,27,37],"one":[8],"of":[9,15,48,58,79,105,124,145,154],"the":[10,16,44,49,75,80,88,97,102,106,110,125,142,146,155,163],"most":[11,83],"critical":[12],"issue":[13],"regardless":[14],"target":[17],"application.":[18,51],"While":[19],"scheduling":[20],"sensors":[21],"by":[22],"partitions":[23],"to":[24,40,66],"preserve":[25],"energy":[26],"a":[28,151,167],"simple":[29],"and":[30,92],"intuitive":[31],"approach":[32],"this":[34,118],"context,":[35],"it":[36],"also":[38],"important":[39],"not":[41,94],"compromise":[42],"on":[43,62,87,109],"main":[45],"performance":[46,64,77,90],"requirements":[47,61],"considered":[50],"For":[52],"mission-critical":[53],"WSN":[54],"applications,":[55],"different":[56],"quality":[57],"service":[59],"(QoS)":[60],"network":[63,126],"have":[65],"be":[67],"met.":[68],"Besides,":[69],"various":[70],"assumptions,":[71],"may":[72],"effectively":[73],"impact":[74],"sensing":[76],"capabilities":[78],"network.":[81],"Nevertheless,":[82],"analysis":[84,123],"techniques":[85],"focus":[86],"average":[89],"values,":[91],"do":[93],"consider":[95],"neither":[96],"targeted":[98],"QoS":[99,131],"requirements,":[100],"nor":[101],"probabilistic":[103],"feature":[104],"algorithm.":[107],"Based":[108],"theorem":[111],"proving":[112],"approach,":[113],"we":[114,140],"first":[115],"provide,":[116],"paper,":[119],"an":[120],"accurate":[121],"formal":[122],"lifetime":[127],"maximisation":[128],"problem,":[129],"under":[130],"constraints,":[132],"for":[133,150,162],"randomly-scheduled":[134],"networks.":[137],"After":[138],"that,":[139],"tackle":[141],"higher-order-logic":[143],"formalisation":[144],"intrusion":[147,164],"coverage":[148],"intensity,":[149],"modified":[152],"version":[153],"randomised":[156],"scheduling,":[157],"with":[158],"more":[159],"realistic":[160],"assumptions":[161],"object,":[165],"two":[168],"or":[169],"three":[170],"dimensional":[171],"plane.":[172]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}