乐胖代购免代理版

{"id":"https://openalex.org/W3101270510","doi":"https://doi.org/10.1145/3355609","title":"Runtime Verification over Out-of-order Streams","display_name":"Runtime Verification over Out-of-order Streams","publication_year":2019,"publication_date":"2019-10-04","ids":{"openalex":"https://openalex.org/W3101270510","doi":"https://doi.org/10.1145/3355609","mag":"3101270510"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3355609","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"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":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1909.11593","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025344654","display_name":"David Basin","orcid":"https://orcid.org/0000-0003-2952-939X"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"David Basin","raw_affiliation_strings":["ETH Z\u00fcrich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Z\u00fcrich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016636619","display_name":"Felix Klaedtke","orcid":null},"institutions":[],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Felix Klaedtke","raw_affiliation_strings":["NEC Laboratories Europe GmbH, Heidelberg, Germany"],"affiliations":[{"raw_affiliation_string":"NEC Laboratories Europe GmbH, Heidelberg, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083266867","display_name":"Eugen Z\u0103linescu","orcid":"https://orcid.org/0000-0002-2312-5661"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Eugen Z\u0103linescu","raw_affiliation_strings":["Technische Universit\u00e4t M\u00fcnchen, Garching, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t M\u00fcnchen, Garching, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.33,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":9,"citation_normalized_percentile":{"value":0.759615,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":84,"max":85},"biblio":{"volume":"21","issue":"1","first_page":"1","last_page":"43"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9999,"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.9999,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9986,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime Verification","score":0.75169444}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.82171124},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.75169444},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6667388},{"id":"https://openalex.org/C2778738651","wikidata":"https://www.wikidata.org/wiki/Q16546687","display_name":"Novelty","level":2,"score":0.6443803},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.63137746},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.62855214},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45719424},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.42867035},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.42012113},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3872621},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3355609","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"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":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/1909.11593","pdf_url":"https://arxiv.org/pdf/1909.11593","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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://api.datacite.org/dois/10.48550/arxiv.1909.11593","pdf_url":null,"source":{"id":"https://openalex.org/S4393179698","display_name":"DataCite API","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210145204","host_organization_name":"DataCite","host_organization_lineage":["https://openalex.org/I4210145204"],"host_organization_lineage_names":["DataCite"],"type":"metadata"},"license":null,"license_id":null,"version":null}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/1909.11593","pdf_url":"https://arxiv.org/pdf/1909.11593","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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":["https://openalex.org/W3101270510","https://openalex.org/W3125125946"],"referenced_works_count":45,"referenced_works":["https://openalex.org/W1428796072","https://openalex.org/W1483568252","https://openalex.org/W1508046772","https://openalex.org/W1508656826","https://openalex.org/W1518884487","https://openalex.org/W1519460009","https://openalex.org/W1547304883","https://openalex.org/W1580995538","https://openalex.org/W1825341937","https://openalex.org/W1885037678","https://openalex.org/W1965740447","https://openalex.org/W1975880855","https://openalex.org/W1989217955","https://openalex.org/W2003227046","https://openalex.org/W2020063716","https://openalex.org/W2026629052","https://openalex.org/W2027769154","https://openalex.org/W2034102118","https://openalex.org/W2034837094","https://openalex.org/W2035362408","https://openalex.org/W2049452590","https://openalex.org/W2052464302","https://openalex.org/W2078356878","https://openalex.org/W2087492381","https://openalex.org/W2096094142","https://openalex.org/W2102447986","https://openalex.org/W2121167614","https://openalex.org/W2132281483","https://openalex.org/W2133128142","https://openalex.org/W2154420584","https://openalex.org/W2156212081","https://openalex.org/W2168313930","https://openalex.org/W2177814128","https://openalex.org/W2267240189","https://openalex.org/W2293637521","https://openalex.org/W2374477971","https://openalex.org/W2708175186","https://openalex.org/W2735457986","https://openalex.org/W2756533550","https://openalex.org/W2785852717","https://openalex.org/W2786733501","https://openalex.org/W2808195962","https://openalex.org/W3105211240","https://openalex.org/W3137220996","https://openalex.org/W31818994"],"related_works":["https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W2617181502","https://openalex.org/W2556150168","https://openalex.org/W2521108391","https://openalex.org/W2124110813","https://openalex.org/W2031188261","https://openalex.org/W1981384792","https://openalex.org/W1669019556","https://openalex.org/W1532447905"],"abstract_inverted_index":{"We":[0,101],"present":[1,84],"an":[2,35],"approach":[3,10,33],"for":[4,48,66,72],"verifying":[5],"systems":[6,13],"at":[7],"runtime.":[8],"Our":[9],"targets":[11],"distributed":[12],"whose":[14],"components":[15],"communicate":[16],"with":[17,45,118],"monitors":[18],"over":[19],"unreliable":[20],"channels,":[21],"where":[22,94],"messages":[23],"can":[24,96],"be":[25],"delayed,":[26],"reordered,":[27],"or":[28],"even":[29],"lost.":[30],"Furthermore,":[31],"our":[32,104,111],"handles":[34],"expressive":[36],"specification":[37],"language":[38],"that":[39,62,87],"extends":[40],"the":[41,109],"real-time":[42],"logic":[43],"MTL":[44],"freeze":[46],"quantifiers":[47],"reasoning":[49],"about":[50,75,92],"data":[51],"values.":[52],"The":[53],"logic's":[54],"main":[55],"novelty":[56],"is":[57,63],"a":[58,76],"new":[59],"three-valued":[60],"semantics":[61],"well":[64],"suited":[65],"runtime":[67],"verification":[68],"as":[69],"it":[70],"accounts":[71],"partial":[73],"knowledge":[74],"system's":[77],"behavior.":[78],"Based":[79],"on":[80,108],"this":[81],"semantics,":[82],"we":[83],"online":[85],"algorithms":[86,105],"reason":[88],"soundly":[89],"and":[90],"completely":[91],"streams":[93,117],"events":[95,123],"occur":[97],"out":[98],"of":[99,122],"order.":[100],"also":[102],"evaluate":[103],"experimentally.":[106],"Depending":[107],"specification,":[110],"prototype":[112],"implementation":[113],"scales":[114],"to":[115,120],"out-of-order":[116],"hundreds":[119],"thousands":[121],"per":[124],"second.":[125]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3101270510","counts_by_year":[{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2024-12-18T01:04:34.070657","created_date":"2020-11-23"}