{"id":"https://openalex.org/W4384471419","doi":"https://doi.org/10.1007/978-3-031-37706-8_2","title":"Automated Analyses of\u00a0IOT Event Monitoring Systems","display_name":"Automated Analyses of\u00a0IOT Event Monitoring Systems","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4384471419","doi":"https://doi.org/10.1007/978-3-031-37706-8_2"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-37706-8_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-37706-8_2","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-37706-8_2.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-37706-8_2.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092480322","display_name":"Andrew Apicelli","orcid":null},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Apicelli","raw_affiliation_strings":["Amazon Web Services, Inc., Seattle, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Amazon Web Services, Inc., Seattle, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003373393","display_name":"Sam Bayless","orcid":"https://orcid.org/0000-0002-0909-8986"},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sam Bayless","raw_affiliation_strings":["Amazon Web Services, Inc., Seattle, USA"],"raw_orcid":"https://orcid.org/0000-0002-0909-8986","affiliations":[{"raw_affiliation_string":"Amazon Web Services, Inc., Seattle, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030491260","display_name":"Ankush Das","orcid":"https://orcid.org/0000-0003-2459-1258"},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ankush Das","raw_affiliation_strings":["Amazon Web Services, Inc., Seattle, USA"],"raw_orcid":"https://orcid.org/0000-0003-2459-1258","affiliations":[{"raw_affiliation_string":"Amazon Web Services, Inc., Seattle, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084336108","display_name":"Andrew Gacek","orcid":"https://orcid.org/0000-0003-0321-8155"},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Gacek","raw_affiliation_strings":["Amazon Web Services, Inc., Seattle, USA"],"raw_orcid":"https://orcid.org/0000-0003-0321-8155","affiliations":[{"raw_affiliation_string":"Amazon Web Services, Inc., Seattle, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Dhiva Jaganathan","orcid":null},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dhiva Jaganathan","raw_affiliation_strings":["Amazon Web Services, Inc., Seattle, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Amazon Web Services, Inc., Seattle, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091401512","display_name":"Saswat Padhi","orcid":"https://orcid.org/0000-0001-6865-4359"},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Saswat Padhi","raw_affiliation_strings":["Google LLC, Mountain View, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Google LLC, Mountain View, USA","institution_ids":["https://openalex.org/I1291425158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031166499","display_name":"Vaibhav Sharma","orcid":"https://orcid.org/0000-0001-9877-8926"},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Vaibhav Sharma","raw_affiliation_strings":["Amazon.com Services LLC, Seattle, USA"],"raw_orcid":"https://orcid.org/0000-0001-9877-8926","affiliations":[{"raw_affiliation_string":"Amazon.com Services LLC, Seattle, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014360702","display_name":"Michael W. Whalen","orcid":"https://orcid.org/0000-0003-3824-1435"},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael W. Whalen","raw_affiliation_strings":["Amazon Web Services, Inc., Seattle, USA"],"raw_orcid":"https://orcid.org/0000-0003-3824-1435","affiliations":[{"raw_affiliation_string":"Amazon Web Services, Inc., Seattle, USA","institution_ids":["https://openalex.org/I1311688040"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100573458","display_name":"Raveesh Yadav","orcid":null},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Raveesh Yadav","raw_affiliation_strings":["Amazon Web Services, Inc., Seattle, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Amazon Web Services, Inc., Seattle, USA","institution_ids":["https://openalex.org/I1311688040"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5031166499"],"corresponding_institution_ids":["https://openalex.org/I1311688040"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.20160785,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"27","last_page":"39"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9993000030517578,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9993000030517578,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.995199978351593,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.82619309425354},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7983204126358032},{"id":"https://openalex.org/keywords/sync","display_name":"sync","score":0.7310499548912048},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6741254925727844},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.6016705632209778},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5385118722915649},{"id":"https://openalex.org/keywords/detector","display_name":"Detector","score":0.5358418822288513},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.5187675952911377},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.4952217638492584},{"id":"https://openalex.org/keywords/production","display_name":"Production (economics)","score":0.4774256646633148},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.38098496198654175},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.1641971468925476},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.06291773915290833}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.82619309425354},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7983204126358032},{"id":"https://openalex.org/C3913047","wikidata":"https://www.wikidata.org/wiki/Q1956265","display_name":"sync","level":3,"score":0.7310499548912048},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6741254925727844},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.6016705632209778},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5385118722915649},{"id":"https://openalex.org/C94915269","wikidata":"https://www.wikidata.org/wiki/Q1834857","display_name":"Detector","level":2,"score":0.5358418822288513},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.5187675952911377},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.4952217638492584},{"id":"https://openalex.org/C2778348673","wikidata":"https://www.wikidata.org/wiki/Q739302","display_name":"Production (economics)","level":2,"score":0.4774256646633148},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.38098496198654175},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.1641971468925476},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.06291773915290833},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C139719470","wikidata":"https://www.wikidata.org/wiki/Q39680","display_name":"Macroeconomics","level":1,"score":0.0},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","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/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-37706-8_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-37706-8_2","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-37706-8_2.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-37706-8_2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-37706-8_2","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-37706-8_2.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4384471419.pdf"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W1552280794","https://openalex.org/W2038013294","https://openalex.org/W2043475427","https://openalex.org/W2083222184","https://openalex.org/W2086239403","https://openalex.org/W2091879780","https://openalex.org/W2101508170","https://openalex.org/W2114457640","https://openalex.org/W2125415493","https://openalex.org/W2163976959","https://openalex.org/W2166822586","https://openalex.org/W2758909434","https://openalex.org/W2761713364","https://openalex.org/W2803481836","https://openalex.org/W2964276056","https://openalex.org/W4234459169","https://openalex.org/W4249075482"],"related_works":["https://openalex.org/W3008339103","https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W2524993630","https://openalex.org/W2063547430","https://openalex.org/W4247536566","https://openalex.org/W3119814709","https://openalex.org/W2018477250","https://openalex.org/W2607244263","https://openalex.org/W1508895727"],"abstract_inverted_index":{"Abstract":[0],"AWS":[1,6,24,115,140],"IoT":[2,17,25,116,141],"Events":[3,26,117,142],"is":[4],"an":[5],"service":[7,119,132],"that":[8,95],"makes":[9],"it":[10],"easy":[11],"to":[12,14,29,67,70,72,98,149],"respond":[13,71],"events":[15,47,73],"from":[16,79,104],"sensors":[18],"and":[19,42],"applications.":[20],"Detector":[21],"models":[22,51,101,166],"in":[23,40,113,129,133,161,167],"enable":[27],"customers":[28,66,97,138],"monitor":[30],"their":[31,100],"equipment":[32,64],"or":[33,38],"device":[34],"fleets":[35],"for":[36],"failures":[37],"changes":[39],"operation":[41],"trigger":[43],"actions":[44],"when":[45,83],"such":[46],"occur.":[48],"If":[49],"these":[50],"are":[52,102],"incorrect,":[53],"they":[54],"may":[55],"become":[56],"out-of-sync":[57],"with":[58],"the":[59,63,114,130,168],"actual":[60],"state":[61],"of":[62,92,137,139,153,163],"causing":[65],"be":[68],"unable":[69],"occurring":[74],"on":[75],"it.":[76],"Working":[77],"backwards":[78],"common":[80,106],"mistakes":[81],"made":[82],"creating":[84],"detector":[85,165],"models,":[86],"we":[87],"have":[88,110,143,150,157],"created":[89],"a":[90],"set":[91],"automated":[93],"analyzers":[94,109,124,146,156],"allow":[96],"prove":[99],"free":[103],"six":[105,126],"mistakes.":[107],"Our":[108,123,155],"been":[111],"running":[112],"production":[118,131,169],"since":[120],"December":[121],"2021.":[122],"check":[125],"correctness":[127],"properties":[128],"real":[134],"time.":[135],"93%":[136],"run":[144],"our":[145],"without":[147],"needing":[148],"any":[151],"knowledge":[152],"them.":[154],"reported":[158],"property":[159],"violations":[160],"22%":[162],"submitted":[164],"service.":[170]},"counts_by_year":[],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2025-10-10T00:00:00"}