{"id":"https://openalex.org/W2137246658","doi":"https://doi.org/10.1145/1278460.1278462","title":"Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking","display_name":"Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking","publication_year":2007,"publication_date":"2007-09-01","ids":{"openalex":"https://openalex.org/W2137246658","doi":"https://doi.org/10.1145/1278460.1278462","mag":"2137246658"},"language":"en","primary_location":{"id":"doi:10.1145/1278460.1278462","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1278460.1278462","pdf_url":null,"source":{"id":"https://openalex.org/S16632050","display_name":"ACM Transactions on Autonomous and Adaptive Systems","issn_l":"1556-4665","issn":["1556-4665","1556-4703"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Autonomous and Adaptive 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/A5032024153","display_name":"Douglas Herbert","orcid":null},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Douglas Herbert","raw_affiliation_strings":["Purdue University, West Lafayette, IN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, IN","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112324364","display_name":"Vinaitheerthan Sundaram","orcid":null},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vinaitheerthan Sundaram","raw_affiliation_strings":["Purdue University, West Lafayette, IN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, IN","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108534924","display_name":"Yung-Hsiang Lu","orcid":null},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yung-Hsiang Lu","raw_affiliation_strings":["Purdue University, West Lafayette, IN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, IN","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047310442","display_name":"Saurabh Bagchi","orcid":"https://orcid.org/0000-0002-4239-5632"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Saurabh Bagchi","raw_affiliation_strings":["Purdue University, West Lafayette, IN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, IN","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100337943","display_name":"Zhiyuan Li","orcid":"https://orcid.org/0000-0002-7280-7634"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhiyuan Li","raw_affiliation_strings":["Purdue University, West Lafayette, IN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, IN","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5032024153"],"corresponding_institution_ids":["https://openalex.org/I219193219"],"apc_list":null,"apc_paid":null,"fwci":4.7134,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.95143454,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"2","issue":"3","first_page":"8","last_page":"8"},"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.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/T10080","display_name":"Energy Efficient Wireless Sensor 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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9973000288009644,"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/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9919999837875366,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.8448048830032349},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.7847251892089844},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7789953947067261},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6425994038581848},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5736704468727112},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.5019736289978027},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.4388962984085083},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3957292437553406},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19937223196029663},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10330626368522644}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8448048830032349},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.7847251892089844},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7789953947067261},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6425994038581848},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5736704468727112},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.5019736289978027},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4388962984085083},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3957292437553406},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19937223196029663},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10330626368522644}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1278460.1278462","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1278460.1278462","pdf_url":null,"source":{"id":"https://openalex.org/S16632050","display_name":"ACM Transactions on Autonomous and Adaptive Systems","issn_l":"1556-4665","issn":["1556-4665","1556-4703"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Autonomous and Adaptive Systems","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.87.5778","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.5778","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://cobweb.ecn.purdue.edu/~dcsl/publications/papers/2007/taas06.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8899999856948853,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":59,"referenced_works":["https://openalex.org/W149453019","https://openalex.org/W1530392688","https://openalex.org/W1539530979","https://openalex.org/W1544567203","https://openalex.org/W1574969297","https://openalex.org/W1601456732","https://openalex.org/W1612922304","https://openalex.org/W1768874879","https://openalex.org/W1968086891","https://openalex.org/W1976936019","https://openalex.org/W1984124832","https://openalex.org/W1986805195","https://openalex.org/W1992554067","https://openalex.org/W1993435091","https://openalex.org/W1993464399","https://openalex.org/W1995757115","https://openalex.org/W2020548779","https://openalex.org/W2021019339","https://openalex.org/W2082651322","https://openalex.org/W2090636507","https://openalex.org/W2097830365","https://openalex.org/W2101267669","https://openalex.org/W2104846640","https://openalex.org/W2105349022","https://openalex.org/W2105543555","https://openalex.org/W2106335692","https://openalex.org/W2108489553","https://openalex.org/W2109036751","https://openalex.org/W2115187901","https://openalex.org/W2115373791","https://openalex.org/W2116409384","https://openalex.org/W2117371733","https://openalex.org/W2121468430","https://openalex.org/W2127605732","https://openalex.org/W2127699957","https://openalex.org/W2131707276","https://openalex.org/W2138723883","https://openalex.org/W2140616837","https://openalex.org/W2143063124","https://openalex.org/W2152651705","https://openalex.org/W2153484975","https://openalex.org/W2161463298","https://openalex.org/W2162126440","https://openalex.org/W2163499196","https://openalex.org/W2166998733","https://openalex.org/W2167003754","https://openalex.org/W2171427043","https://openalex.org/W2171821354","https://openalex.org/W2186805980","https://openalex.org/W2223115626","https://openalex.org/W2611515161","https://openalex.org/W3106729728","https://openalex.org/W3137092842","https://openalex.org/W4230316055","https://openalex.org/W4242444036","https://openalex.org/W4246708559","https://openalex.org/W4246960943","https://openalex.org/W4301352251","https://openalex.org/W6606017865"],"related_works":["https://openalex.org/W3008339103","https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4247536566","https://openalex.org/W3119814709","https://openalex.org/W4321442002","https://openalex.org/W2018477250","https://openalex.org/W1508895727","https://openalex.org/W2015265939","https://openalex.org/W4241418540"],"abstract_inverted_index":{"This":[0],"article":[1],"presents":[2],"a":[3,35,52,82,119,173,227],"hierarchical":[4],"approach":[5],"for":[6,42,114,148],"detecting":[7],"faults":[8,56],"in":[9,57,66,92,157,211,255],"wireless":[10],"sensor":[11,132],"networks":[12],"(WSNs)":[13],"after":[14],"they":[15],"have":[16],"been":[17],"deployed.":[18],"The":[19,163],"developers":[20,184],"of":[21,45,55,81,94,195,218,249],"WSNs":[22],"can":[23,122,166,185,201,245],"specify":[24],"\u201cinvariants\u201d":[25],"that":[26,118,129,151,207,242],"must":[27],"be":[28,167,202,209],"satisfied":[29],"by":[30,69],"the":[31,62,67,79,87,149,177,216,250],"WSNs.":[32,213],"We":[33,127,144,240],"present":[34],"framework,":[36],"Hierarchical":[37],"SEnsor":[38],"Network":[39],"Debugging":[40],"(H-SEND),":[41],"lightweight":[43],"checking":[44],"invariants.":[46,126],"H-SEND":[47,74,99],"is":[48,100,112],"able":[49],"to":[50,78,102,159,172,188,204,237],"detect":[51,160,189,205,246],"large":[53],"class":[54],"data-gathering":[58],"WSNs,":[59],"and":[60,71,90,222,233,258],"leverages":[61],"existing":[63,212],"message":[64],"flow":[65],"network":[68,96],"buffering":[70],"piggybacking":[72],"messages.":[73],"checks":[75],"as":[76,84],"closely":[77],"source":[80],"fault":[83,88,223],"possible,":[85],"pinpointing":[86],"quickly":[89],"efficiently":[91],"terms":[93],"additional":[95],"traffic.":[97],"Therefore,":[98],"suited":[101],"bandwidth":[103],"or":[104,176],"communication":[105],"energy":[106],"constrained":[107],"networks.":[108],"A":[109],"specification":[110],"expression":[111],"provided":[113],"specifying":[115],"invariants":[116,150,187],"so":[117],"protocol":[120],"developer":[121],"write":[123,186],"behavioral":[124],"level":[125],"hypothesize":[128],"data":[130,161,190],"from":[131],"nodes":[133],"does":[134],"not":[135],"change":[136],"dramatically,":[137],"but":[138],"rather":[139],"changes":[140,248],"gradually":[141],"over":[142],"time.":[143],"extend":[145],"our":[146,182,243],"framework":[147],"includes":[152],"values":[153],"determined":[154],"at":[155],"run-time":[156,219],"order":[158],"trends.":[162],"value":[164,199],"range":[165,220],"based":[168],"on":[169],"information":[170],"local":[171],"single":[174],"node":[175],"surrounding":[178],"nodes'":[179],"values.":[180,197],"Using":[181],"system,":[183],"trends":[191],"without":[192],"prior":[193],"knowledge":[194],"correct":[196],"Automatic":[198],"detection":[200,221],"used":[203],"anomalies":[206],"cannot":[208],"detected":[210],"To":[214],"demonstrate":[215],"benefits":[217],"checking,":[224],"we":[225],"construct":[226],"prototype":[228],"WSN":[229],"using":[230],"CO":[231],"2":[232],"temperature":[234],"sensors":[235],"coupled":[236],"Mica2":[238],"motes.":[239],"show":[241],"method":[244],"sudden":[247],"environments":[251],"with":[252],"little":[253],"overhead":[254],"communication,":[256],"computation,":[257],"storage.":[259]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":4}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}