{"id":"https://openalex.org/W3162156015","doi":"https://doi.org/10.1109/lics52264.2021.9470547","title":"Quantitative and Approximate Monitoring","display_name":"Quantitative and Approximate Monitoring","publication_year":2021,"publication_date":"2021-06-29","ids":{"openalex":"https://openalex.org/W3162156015","doi":"https://doi.org/10.1109/lics52264.2021.9470547","mag":"3162156015"},"language":"en","primary_location":{"id":"doi:10.1109/lics52264.2021.9470547","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics52264.2021.9470547","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2105.08353","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080555605","display_name":"Thomas A. Henzinger","orcid":"https://orcid.org/0000-0002-2985-7724"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Thomas A. Henzinger","raw_affiliation_strings":["IST, Austria","Institute of Science and Technology Austria"],"affiliations":[{"raw_affiliation_string":"IST, Austria","institution_ids":["https://openalex.org/I157556583"]},{"raw_affiliation_string":"Institute of Science and Technology Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016689777","display_name":"N. Ege Sara\u00e7","orcid":"https://orcid.org/0009-0000-2866-8078"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"N. Ege Sarac","raw_affiliation_strings":["IST, Austria","Institute of Science and Technology Austria"],"affiliations":[{"raw_affiliation_string":"IST, Austria","institution_ids":["https://openalex.org/I157556583"]},{"raw_affiliation_string":"Institute of Science and Technology Austria","institution_ids":["https://openalex.org/I157556583"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5080555605"],"corresponding_institution_ids":["https://openalex.org/I157556583"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09380686,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"14"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T11424","display_name":"Security and Verification in Computing","score":0.9975000023841858,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9969000220298767,"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/trace","display_name":"TRACE (psycholinguistics)","score":0.8977580666542053},{"id":"https://openalex.org/keywords/prefix","display_name":"Prefix","score":0.7345373630523682},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6704184412956238},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6181653738021851},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4475635886192322},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4312707185745239},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.43101930618286133},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.4109351933002472},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.27088654041290283}],"concepts":[{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.8977580666542053},{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.7345373630523682},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6704184412956238},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6181653738021851},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4475635886192322},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4312707185745239},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.43101930618286133},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.4109351933002472},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.27088654041290283},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/lics52264.2021.9470547","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics52264.2021.9470547","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2105.08353","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2105.08353","pdf_url":"https://arxiv.org/pdf/2105.08353","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:3162156015","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2105.08353v2","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2105.08353","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2105.08353","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2105.08353","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2105.08353","pdf_url":"https://arxiv.org/pdf/2105.08353","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"score":0.4099999964237213,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[{"id":"https://openalex.org/G5248949799","display_name":null,"funder_award_id":"Z211-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3162156015.pdf","grobid_xml":"https://content.openalex.org/works/W3162156015.grobid-xml"},"referenced_works_count":52,"referenced_works":["https://openalex.org/W29365316","https://openalex.org/W109080678","https://openalex.org/W979433832","https://openalex.org/W1565007974","https://openalex.org/W1757114815","https://openalex.org/W1786377004","https://openalex.org/W1790612874","https://openalex.org/W1971059059","https://openalex.org/W1974641445","https://openalex.org/W1981329699","https://openalex.org/W2027769154","https://openalex.org/W2028720147","https://openalex.org/W2043907610","https://openalex.org/W2043996829","https://openalex.org/W2112347632","https://openalex.org/W2115965729","https://openalex.org/W2125140474","https://openalex.org/W2132281483","https://openalex.org/W2165414132","https://openalex.org/W2264755653","https://openalex.org/W2277543214","https://openalex.org/W2294334272","https://openalex.org/W2511247244","https://openalex.org/W2731600756","https://openalex.org/W2740714272","https://openalex.org/W2740745789","https://openalex.org/W2753231957","https://openalex.org/W2774049247","https://openalex.org/W2786819761","https://openalex.org/W2787908307","https://openalex.org/W2789930546","https://openalex.org/W2795231670","https://openalex.org/W2798942084","https://openalex.org/W2804015072","https://openalex.org/W2890971156","https://openalex.org/W2899996175","https://openalex.org/W2900329873","https://openalex.org/W2964021571","https://openalex.org/W2972432854","https://openalex.org/W2990158651","https://openalex.org/W3001194106","https://openalex.org/W3090232746","https://openalex.org/W3092183339","https://openalex.org/W3124557892","https://openalex.org/W3127629533","https://openalex.org/W3176562981","https://openalex.org/W4231208998","https://openalex.org/W6632130492","https://openalex.org/W6742238430","https://openalex.org/W6746685162","https://openalex.org/W6790722385","https://openalex.org/W6797419536"],"related_works":["https://openalex.org/W3175229932","https://openalex.org/W2810134265","https://openalex.org/W2141884430","https://openalex.org/W2061291692","https://openalex.org/W2774487991","https://openalex.org/W3107817964","https://openalex.org/W15179086","https://openalex.org/W1479806520","https://openalex.org/W2954390672","https://openalex.org/W1556502211","https://openalex.org/W1604756673","https://openalex.org/W2156120741","https://openalex.org/W2554223979","https://openalex.org/W2411972054","https://openalex.org/W2049451779","https://openalex.org/W2985355345","https://openalex.org/W3133644467","https://openalex.org/W2995667826","https://openalex.org/W2562785202","https://openalex.org/W2157827846"],"abstract_inverted_index":{"In":[0],"runtime":[1,36],"verification,":[2],"a":[3,6,9,28,68,99,131],"monitor":[4,110],"watches":[5],"trace":[7,26,48,58],"of":[8,35,46,51,57,83,104,118],"system":[10],"and,":[11],"if":[12],"possible,":[13],"decides":[14],"after":[15],"observing":[16],"each":[17],"finite":[18,76],"prefix":[19],"whether":[20],"or":[21,63,121],"not":[22],"the":[23,33,84,105,116,144],"unknown":[24,87],"infinite":[25,85],"satisfies":[27],"given":[29],"specification.":[30],"We":[31,129],"generalize":[32],"theory":[34],"verification":[37],"to":[38,42,53,98],"monitors":[39,71,92],"that":[40,161],"attempt":[41],"estimate":[43,82],"numerical":[44],"values":[45,56],"quantitative":[47,91,135,164],"properties":[49,165],"(instead":[50],"attempting":[52],"conclude":[54],"boolean":[55,146],"specifications),":[59],"such":[60,112],"as":[61,113],"maximal":[62],"average":[64],"response":[65],"time":[66],"along":[67],"trace.":[69],"Quantitative":[70],"are":[72,163],"approximate:":[73],"with":[74,96],"every":[75,168],"prefix,":[77],"they":[78],"can":[79,93],"improve":[80],"their":[81],"trace's":[86],"property":[88,106],"value.":[89],"Consequently,":[90],"be":[94],"compared":[95],"regard":[97],"precision-cost":[100,153],"trade-off:":[101],"better":[102,127],"approximations":[103],"value":[107],"require":[108],"more":[109],"resources,":[111],"states":[114],"(in":[115],"case":[117],"finite-state":[119],"monitors)":[120],"registers,":[122],"and":[123,136,150],"additional":[124,169],"resources":[125],"yield":[126],"approximations.":[128],"introduce":[130],"formal":[132],"framework":[133],"for":[134,148,155,166],"approximate":[137],"monitoring,":[138,149],"show":[139],"how":[140],"it":[141],"conservatively":[142],"generalizes":[143],"classical":[145],"setting":[147],"give":[151],"several":[152],"trade-offs":[154],"monitors.":[156],"For":[157],"example,":[158],"we":[159],"prove":[160],"there":[162],"which":[167],"register":[170],"improves":[171],"monitoring":[172],"precision.":[173]},"counts_by_year":[],"updated_date":"2026-03-13T16:22:10.518609","created_date":"2025-10-10T00:00:00"}