{"id":"https://openalex.org/W3091427640","doi":"https://doi.org/10.1109/tcad.2020.3012643","title":"Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors","display_name":"Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors","publication_year":2020,"publication_date":"2020-10-02","ids":{"openalex":"https://openalex.org/W3091427640","doi":"https://doi.org/10.1109/tcad.2020.3012643","mag":"3091427640"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2020.3012643","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2020.3012643","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://repository.upenn.edu/bitstreams/c1b8eb4f-15fe-471a-b86f-d984d592729a/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021509994","display_name":"Ivan Ruchkin","orcid":"https://orcid.org/0000-0003-3546-414X"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ivan Ruchkin","raw_affiliation_strings":["Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":"https://orcid.org/0000-0003-3546-414X","affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082105260","display_name":"Oleg Sokolsky","orcid":"https://orcid.org/0000-0001-5282-0658"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Oleg Sokolsky","raw_affiliation_strings":["Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054356243","display_name":"James Weimer","orcid":"https://orcid.org/0000-0001-8167-9163"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James Weimer","raw_affiliation_strings":["Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070293874","display_name":"Tushar Hedaoo","orcid":null},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tushar Hedaoo","raw_affiliation_strings":["Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030456600","display_name":"Insup Lee","orcid":"https://orcid.org/0000-0003-2672-1132"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Insup Lee","raw_affiliation_strings":["Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I79576946"],"apc_list":null,"apc_paid":null,"fwci":0.8746,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.7400607,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"39","issue":"11","first_page":"3288","last_page":"3299"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9955000281333923,"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/T10142","display_name":"Formal Methods in Verification","score":0.9939000010490417,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7213958501815796},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6106727123260498},{"id":"https://openalex.org/keywords/detector","display_name":"Detector","score":0.6095808744430542},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.5213229060173035},{"id":"https://openalex.org/keywords/independence","display_name":"Independence (probability theory)","score":0.5074827075004578},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.44367220997810364},{"id":"https://openalex.org/keywords/quality-assurance","display_name":"Quality assurance","score":0.42874088883399963},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.41012606024742126},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3819196820259094},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.334553986787796},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2502775192260742},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23912546038627625},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13613346219062805},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.09707513451576233}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7213958501815796},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6106727123260498},{"id":"https://openalex.org/C94915269","wikidata":"https://www.wikidata.org/wiki/Q1834857","display_name":"Detector","level":2,"score":0.6095808744430542},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.5213229060173035},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.5074827075004578},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.44367220997810364},{"id":"https://openalex.org/C106436119","wikidata":"https://www.wikidata.org/wiki/Q836575","display_name":"Quality assurance","level":3,"score":0.42874088883399963},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.41012606024742126},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3819196820259094},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.334553986787796},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2502775192260742},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23912546038627625},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13613346219062805},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.09707513451576233},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C2778618615","wikidata":"https://www.wikidata.org/wiki/Q4008393","display_name":"External quality assessment","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tcad.2020.3012643","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2020.3012643","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},{"id":"pmh:oai:repository.upenn.edu:cis_papers-1912","is_oa":true,"landing_page_url":"https://repository.upenn.edu/cis_papers/863","pdf_url":"https://repository.upenn.edu/bitstreams/c1b8eb4f-15fe-471a-b86f-d984d592729a/download","source":{"id":"https://openalex.org/S4306402083","display_name":"ScholarlyCommons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Departmental Papers (CIS)","raw_type":"text"},{"id":"pmh:oai:repository.upenn.edu:20.500.14332/6945","is_oa":false,"landing_page_url":"https://repository.upenn.edu/handle/20.500.14332/6945","pdf_url":null,"source":{"id":"https://openalex.org/S4306402083","display_name":"ScholarlyCommons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"39","raw_type":"Article"}],"best_oa_location":{"id":"pmh:oai:repository.upenn.edu:cis_papers-1912","is_oa":true,"landing_page_url":"https://repository.upenn.edu/cis_papers/863","pdf_url":"https://repository.upenn.edu/bitstreams/c1b8eb4f-15fe-471a-b86f-d984d592729a/download","source":{"id":"https://openalex.org/S4306402083","display_name":"ScholarlyCommons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Departmental Papers (CIS)","raw_type":"text"},"sustainable_development_goals":[{"score":0.8299999833106995,"id":"https://metadata.un.org/sdg/14","display_name":"Life below water"}],"awards":[{"id":"https://openalex.org/G3345105982","display_name":null,"funder_award_id":"FA8750-18-C-0090","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G8214502422","display_name":null,"funder_award_id":"N68335-19-C-0200","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3091427640.pdf","grobid_xml":"https://content.openalex.org/works/W3091427640.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W828139470","https://openalex.org/W1483568252","https://openalex.org/W1487349793","https://openalex.org/W1511986666","https://openalex.org/W1535889317","https://openalex.org/W1673923490","https://openalex.org/W2005998857","https://openalex.org/W2008639780","https://openalex.org/W2013057115","https://openalex.org/W2023808162","https://openalex.org/W2065042697","https://openalex.org/W2067292614","https://openalex.org/W2109755093","https://openalex.org/W2140971281","https://openalex.org/W2150290224","https://openalex.org/W2319170717","https://openalex.org/W2338990760","https://openalex.org/W2617250276","https://openalex.org/W2738184854","https://openalex.org/W2785700716","https://openalex.org/W2789758093","https://openalex.org/W2924373019","https://openalex.org/W2963603050","https://openalex.org/W2964153729","https://openalex.org/W4245050711","https://openalex.org/W4255783720","https://openalex.org/W6637162671","https://openalex.org/W6903829077"],"related_works":["https://openalex.org/W3125750421","https://openalex.org/W4389096689","https://openalex.org/W11269544","https://openalex.org/W2371550624","https://openalex.org/W1481851336","https://openalex.org/W4299414935","https://openalex.org/W2364677363","https://openalex.org/W2058432184","https://openalex.org/W2012474749","https://openalex.org/W2138707849"],"abstract_inverted_index":{"Runtime":[0],"monitoring":[1,14,61],"is":[2,16],"a":[3,52,81],"vital":[4],"part":[5],"of":[6,13,59,88,124,159],"safety-critical":[7],"systems.":[8,62],"However,":[9],"early":[10,163],"stage":[11],"assurance":[12],"quality":[15],"currently":[17],"limited:":[18],"it":[19,77],"relies":[20],"either":[21],"on":[22,33,112],"complex":[23],"models":[24],"that":[25,35,118],"might":[26],"be":[27,38],"inaccurate":[28],"in":[29,162],"unknown":[30],"ways":[31],"or":[32],"data":[34,138],"would":[36],"only":[37,129],"available":[39],"once":[40],"the":[41],"system":[42],"has":[43],"been":[44],"built.":[45],"To":[46],"address":[47],"this":[48,154],"issue,":[49],"we":[50],"propose":[51],"compositional":[53],"framework":[54,120],"for":[55],"modeling":[56],"and":[57,76,104],"analysis":[58,95],"noisy":[60],"Our":[63,110],"novel":[64],"3-value":[65],"detector":[66,130],"model":[67],"uses":[68],"probability":[69,100],"spaces":[70],"to":[71],"represent":[72],"atomic":[73],"(noncomposite)":[74],"detectors,":[75],"composes":[78],"them":[79],"into":[80],"temporal":[82],"logic-based":[83],"monitor.":[84],"The":[85],"error":[86,125],"rates":[87,126],"these":[89],"monitors":[90,161],"are":[91,139],"estimated":[92],"by":[93],"our":[94,119,141],"engine,":[96],"which":[97],"combines":[98],"symbolic":[99],"algebra,":[101],"independence":[102],"inference,":[103],"estimation":[105],"from":[106,150],"labeled":[107],"detection":[108],"data.":[109],"evaluation":[111,158],"an":[113],"autonomous":[114],"underwater":[115],"vehicle":[116],"found":[117],"produces":[121],"accurate":[122,157],"estimates":[123,149],"while":[127],"using":[128],"traces,":[131],"without":[132],"any":[133],"monitor":[134,151],"traces.":[135,152],"Furthermore,":[136],"when":[137],"scarce,":[140],"approach":[142],"shows":[143],"higher":[144],"accuracy":[145],"than":[146],"noncompositional":[147],"data-driven":[148],"Thus,":[153],"article":[155],"enables":[156],"logical":[160],"design":[164],"stages":[165],"before":[166],"deploying":[167],"them.":[168]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}