{"id":"https://openalex.org/W2003680408","doi":"https://doi.org/10.1145/2509338.2509344","title":"SensorChecker","display_name":"SensorChecker","publication_year":2013,"publication_date":"2013-10-01","ids":{"openalex":"https://openalex.org/W2003680408","doi":"https://doi.org/10.1145/2509338.2509344","mag":"2003680408"},"language":"en","primary_location":{"id":"doi:10.1145/2509338.2509344","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2509338.2509344","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd ACM annual international workshop on Mission-oriented wireless sensor networking","raw_type":"proceedings-article"},"type":"conference-paper","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/A5043893479","display_name":"Ehab Al\u2010Shaer","orcid":"https://orcid.org/0000-0002-7665-8293"},"institutions":[{"id":"https://openalex.org/I102149020","display_name":"University of North Carolina at Charlotte","ror":"https://ror.org/04dawnj30","country_code":"US","type":"education","lineage":["https://openalex.org/I102149020"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ehab Al-Shaer","raw_affiliation_strings":["UNCC, Charlotte, NC, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UNCC, Charlotte, NC, USA","institution_ids":["https://openalex.org/I102149020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101713020","display_name":"Qi Duan","orcid":"https://orcid.org/0000-0002-6168-5192"},"institutions":[{"id":"https://openalex.org/I102149020","display_name":"University of North Carolina at Charlotte","ror":"https://ror.org/04dawnj30","country_code":"US","type":"education","lineage":["https://openalex.org/I102149020"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qi Duan","raw_affiliation_strings":["UNCC, Charlotte, NC, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UNCC, Charlotte, NC, USA","institution_ids":["https://openalex.org/I102149020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070248850","display_name":"Saeed Al-Haj","orcid":null},"institutions":[{"id":"https://openalex.org/I102149020","display_name":"University of North Carolina at Charlotte","ror":"https://ror.org/04dawnj30","country_code":"US","type":"education","lineage":["https://openalex.org/I102149020"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Saeed Al-Haj","raw_affiliation_strings":["UNCC, Charlotte, NC, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UNCC, Charlotte, NC, USA","institution_ids":["https://openalex.org/I102149020"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008352007","display_name":"Moustafa Youssef","orcid":"https://orcid.org/0000-0002-2063-4364"},"institutions":[{"id":"https://openalex.org/I32619867","display_name":"Egypt-Japan University of Science and Technology","ror":"https://ror.org/02x66tk73","country_code":"EG","type":"education","lineage":["https://openalex.org/I32619867"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Moustafa Youssef","raw_affiliation_strings":["Egypt-Japan University of Science and Technology, Alexandria, Egypt"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Egypt-Japan University of Science and Technology, Alexandria, Egypt","institution_ids":["https://openalex.org/I32619867"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"51","last_page":"56"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/reachability","display_name":"Reachability","score":0.880362868309021},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7740832567214966},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.7173333764076233},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5956994891166687},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5769014358520508},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5292379856109619},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.5270602703094482},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.49127382040023804},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.4889777898788452},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36838728189468384},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.17614451050758362},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15503546595573425}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.880362868309021},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7740832567214966},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7173333764076233},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5956994891166687},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5769014358520508},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5292379856109619},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.5270602703094482},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.49127382040023804},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.4889777898788452},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36838728189468384},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.17614451050758362},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15503546595573425},{"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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2509338.2509344","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2509338.2509344","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd ACM annual international workshop on Mission-oriented wireless sensor networking","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.4399999976158142}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1936144616","https://openalex.org/W1984270162","https://openalex.org/W2048972217","https://openalex.org/W2053068495","https://openalex.org/W2124613439","https://openalex.org/W2138556012","https://openalex.org/W2160199654","https://openalex.org/W2913459036"],"related_works":["https://openalex.org/W1511249877","https://openalex.org/W2884574904","https://openalex.org/W2803843036","https://openalex.org/W2542904743","https://openalex.org/W1583869287","https://openalex.org/W2471151559","https://openalex.org/W2611966366","https://openalex.org/W2584649593","https://openalex.org/W1561659860","https://openalex.org/W2079848794"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"novel":[3],"techniques":[4],"to":[5,89],"verify":[6,90],"the":[7,49,81],"global":[8,18],"reachability":[9,19,51,71,92],"in":[10],"mission-oriented":[11],"wireless":[12],"sensor":[13],"networks":[14],"(Mission-Oriented":[15],"WSN).":[16],"The":[17],"verification":[20],"considers":[21],"configurations":[22],"such":[23],"as":[24,30],"forwarding":[25],"information":[26,85],"and":[27,35,63,67,96,99],"awake/dormant":[28],"schedule":[29],"generated":[31],"by":[32],"WSN":[33,53,83],"protocols":[34],"algorithms.":[36],"Our":[37],"contribution":[38],"is":[39],"two-fold.":[40],"First,":[41],"we":[42,79],"create":[43],"a":[44],"scalable":[45],"model":[46],"that":[47],"represents":[48],"end-to-end":[50],"of":[52],"based":[54],"on":[55],"node":[56],"configuration":[57],"using":[58,73,86],"Binary":[59],"Decision":[60],"Diagrams":[61],"(BDDs)":[62],"Symbolic":[64],"Model":[65],"Checking,":[66],"then":[68],"define":[69],"generic":[70],"properties":[72,93],"Computational":[74],"Tree":[75],"Logic":[76],"(CTL).":[77],"Second,":[78],"encode":[80],"Mission-Oriented":[82],"topological":[84],"Boolean":[87],"functions":[88],"constraint-based":[91],"for":[94],"WSN,":[95],"show":[97],"soundness":[98],"completeness.":[100]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2016-06-24T00:00:00"}