{"id":"https://openalex.org/W3174850342","doi":"https://doi.org/10.13016/p9ot-1rcq","title":"Learning Temporal Properties from Data Streams","display_name":"Learning Temporal Properties from Data Streams","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3174850342","doi":"https://doi.org/10.13016/p9ot-1rcq","mag":"3174850342"},"language":"en","primary_location":{"id":"mag:3174850342","is_oa":false,"landing_page_url":"https://drum.lib.umd.edu/handle/1903/27191","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.13016/p9ot-1rcq","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068493831","display_name":"Samuel H. Huang","orcid":"https://orcid.org/0000-0002-7209-550X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Huang, Samuel","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5068493831"],"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":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12761","display_name":"Data Stream Mining Techniques","score":0.9980000257492065,"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"}},"topics":[{"id":"https://openalex.org/T12761","display_name":"Data Stream Mining Techniques","score":0.9980000257492065,"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"}},{"id":"https://openalex.org/T12205","display_name":"Time Series Analysis and Forecasting","score":0.9894999861717224,"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/T10538","display_name":"Data Mining Algorithms and Applications","score":0.9641000032424927,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/streams","display_name":"STREAMS","score":0.6957302093505859},{"id":"https://openalex.org/keywords/data-stream-mining","display_name":"Data stream mining","score":0.4992971420288086},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4945938289165497},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.4492829144001007},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.36990880966186523}],"concepts":[{"id":"https://openalex.org/C42090638","wikidata":"https://www.wikidata.org/wiki/Q4048907","display_name":"STREAMS","level":2,"score":0.6957302093505859},{"id":"https://openalex.org/C89198739","wikidata":"https://www.wikidata.org/wiki/Q3079880","display_name":"Data stream mining","level":2,"score":0.4992971420288086},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4945938289165497},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.4492829144001007},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.36990880966186523},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"mag:3174850342","is_oa":false,"landing_page_url":"https://drum.lib.umd.edu/handle/1903/27191","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null},{"id":"doi:10.13016/p9ot-1rcq","is_oa":true,"landing_page_url":"https://doi.org/10.13016/p9ot-1rcq","pdf_url":null,"source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"thesis"}],"best_oa_location":{"id":"doi:10.13016/p9ot-1rcq","is_oa":true,"landing_page_url":"https://doi.org/10.13016/p9ot-1rcq","pdf_url":null,"source":{"id":"https://openalex.org/S4306402644","display_name":"Digital Repository at the University of Maryland (University of Maryland College Park)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66946132","host_organization_name":"University of Maryland, College Park","host_organization_lineage":["https://openalex.org/I66946132"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"thesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3029864732","https://openalex.org/W2910531637","https://openalex.org/W2400987543","https://openalex.org/W2806386686","https://openalex.org/W2921067420","https://openalex.org/W3140063493","https://openalex.org/W183688296","https://openalex.org/W2803411456","https://openalex.org/W2182373398","https://openalex.org/W1970959758","https://openalex.org/W2285293834","https://openalex.org/W2963214893","https://openalex.org/W156372001","https://openalex.org/W33228954","https://openalex.org/W3087428869","https://openalex.org/W2530386080","https://openalex.org/W872495244","https://openalex.org/W1568950231","https://openalex.org/W296668205","https://openalex.org/W3139152607"],"abstract_inverted_index":{"Verifying":[0],"that":[1,32,180,342],"systems":[2,243],"behave":[3],"as":[4,56,70,143,373],"expected":[5],"is":[6,28,98,257,281,414],"a":[7,39,82,144,181,190,255,264,272,303,320,355,388,407],"cornerstone":[8],"of":[9,48,60,74,84,90,101,103,129,146,156,162,178,197,242,254,290,306,347,397,417,424,430,437],"computing.":[10],"In":[11,38,77,116,247,259,275,298],"formal":[12,40,79,91,124,329],"verification":[13,26,80],"approaches,":[14],"engineers":[15],"capture":[16],"their":[17,245],"intentions,":[18],"or":[19,64,336,358],"specifications,":[20,125],"mathematically,":[21],"often":[22],"using":[23,311],"logic.":[24],"The":[25,219],"task":[27],"then":[29,173],"to":[30,170,202,228,237,268,314,334,382],"confirm":[31],"the":[33,46,58,72,88,94,99,127,163,175,207,291,295,348,395,431,438],"system":[34,105,135,182,191,256,292,296,356,359,370,378],"satisfies":[35],"its":[36],"specifications.":[37],"setting":[41],"this":[42,117,260,299],"endeavor":[43],"typically":[44],"involves":[45,87],"construction":[47,89],"mathematical":[49],"proofs,":[50],"which":[51,111,400,413],"are":[52,141,331,343],"either":[53],"constructed":[54],"automatically,":[55],"in":[57,71,93,126,188,194,206,366],"case":[59,73],"so-called":[61],"model-checking":[62],"techniques,":[63],"by":[65,225,405],"humans":[66],"with":[67],"machine":[68],"assistance,":[69],"theorem-proving-based":[75],"methodologies.":[76],"practice,":[78],"faces":[81],"number":[83],"obstacles.":[85],"One":[86],"specifications":[92],"first":[95,151],"place.":[96],"Another":[97],"lack":[100],"availability":[102],"analyzable":[104],"artifacts":[106],"(source":[107],"code,":[108],"executables)":[109],"about":[110],"proofs":[112],"can":[113,167,350],"be":[114,168,351],"constructed.":[115],"dissertation":[118],"we":[119,234,262,285,301,324,401],"propose":[120],"techniques":[121,236],"for":[122,435],"inferring":[123],"form":[128],"Linear":[130,307,410],"Temporal":[131,308,411],"Logic":[132,309],"formulas,":[133],"from":[134,240,369],"executions,":[136],"and":[137,172,284,376,427],"models":[138,241],"when":[139],"these":[140,148],"available,":[142],"means":[145],"addressing":[147],"concerns.":[149],"We":[150,393,420],"illustrate":[152],"how":[153],"guided":[154,160],"generation":[155],"test":[157],"cases":[158,249,277],"(i.e.":[159],"exploration":[161],"system's":[164],"input/output":[165],"space)":[166],"leveraged":[169],"develop":[171,235],"refine":[174],"hypothesis":[176],"set":[177],"invariants":[179],"satisfies.":[183],"This":[184],"approach":[185,220,267],"was":[186,213],"successful":[187],"revealing":[189],"property":[192],"required":[193],"code":[195],"specification":[196,212],"an":[198,415],"automotive":[199,231],"application":[200],"provided":[201],"us":[203],"but":[204],"missing":[205,374],"implementation.":[208],"An":[209],"unexpected":[210],"(undocumented)":[211],"also":[214],"discovered":[215],"through":[216],"our":[217],"analysis.":[218],"has":[221],"since":[222],"been":[223],"applied":[224],"other":[226,230,276],"researchers":[227],"several":[229,422],"applications.":[232],"Second,":[233],"mine":[238,269,316],"properties":[239,270,317,330,341,384,399],"and/or":[244],"executions.":[246],"some":[248,436],"compact,":[250],"finite":[251],"state":[252],"representations":[253,423],"available.":[258],"scenario":[261,300],"employ":[263],"novel":[265,304],"automaton-based":[266],"matching":[271],"user-specified":[273],"template.":[274,322],"such":[278,372,425],"white-box":[279],"knowledge":[280],"not":[282,344],"available":[283],"must":[286],"work":[287],"over":[288],"executions":[289,371],"rather":[293],"than":[294],"itself.":[297],"apply":[302],"variant":[305],"(LTL)":[310],"finite-sequence":[312],"semantics":[313],"again":[315],"based":[318],"on":[319],"specified":[321],"Lastly,":[323],"consider":[325,421],"situations":[326],"where":[327],"standard":[328,418],"insufficient":[332],"due":[333],"uncertainty":[335],"being":[337,385],"overly":[338],"simplified.":[339],"Oftentimes":[340],"satisfied":[345],"100\\%":[346],"time":[349],"very":[352],"interesting":[353],"during":[354],"inspection":[357],"redesign.":[360],"For":[361],"example,":[362],"natural":[363],"noise":[364,426],"manifesting":[365],"data":[367],"streams":[368],"evidence":[375],"changing":[377],"behavior":[379],"could":[380],"lead":[381],"significant":[383],"overlooked":[386],"if":[387],"strict":[389],"``exactitude''":[390],"were":[391],"enforced.":[392],"explore":[394],"notion":[396],"``incomplete''":[398],"term":[402],"\\emph{partial":[403],"invariants}":[404],"formulating":[406],"new":[408],"``Noisy":[409],"Logic''":[412],"extension":[416],"LTL.":[419],"show":[428],"decidability":[429],"language":[432],"emptiness":[433],"problem":[434],"variants.":[439]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}