{"id":"https://openalex.org/W4393453164","doi":"https://doi.org/10.5281/zenodo.7340850","title":"Monitoring the Internet Computer (Artifact)","display_name":"Monitoring the Internet Computer (Artifact)","publication_year":2022,"publication_date":"2022-11-21","ids":{"openalex":"https://openalex.org/W4393453164","doi":"https://doi.org/10.5281/zenodo.7340850"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:7340850","is_oa":true,"landing_page_url":"https://zenodo.org/record/7340850","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"type":"dataset","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/7340850","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":"Basin, David","raw_affiliation_strings":["ETH Z\u00fcrich"],"raw_orcid":"https://orcid.org/0000-0003-2952-939X","affiliations":[{"raw_affiliation_string":"ETH Z\u00fcrich","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008479526","display_name":"Daniel Stefan Dietiker","orcid":"https://orcid.org/0000-0003-2125-2146"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dietiker, Daniel Stefan","raw_affiliation_strings":["DFINITY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DFINITY","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028440299","display_name":"Sr\u0111an Krsti\u0107","orcid":"https://orcid.org/0000-0001-8314-2589"},"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":"Krsti\u0107, Sr\u0111an","raw_affiliation_strings":["ETH Z\u00fcrich"],"raw_orcid":"https://orcid.org/0000-0001-8314-2589","affiliations":[{"raw_affiliation_string":"ETH Z\u00fcrich","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061384202","display_name":"Yvonne-Anne Pignolet","orcid":"https://orcid.org/0000-0003-0837-7948"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pignolet, Yvonne-Anne","raw_affiliation_strings":["DFINITY"],"raw_orcid":"https://orcid.org/0000-0003-0837-7948","affiliations":[{"raw_affiliation_string":"DFINITY","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020812040","display_name":"Martin Raszyk","orcid":"https://orcid.org/0000-0003-3018-2557"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Raszyk, Martin","raw_affiliation_strings":["DFINITY"],"raw_orcid":"https://orcid.org/0000-0003-3018-2557","affiliations":[{"raw_affiliation_string":"DFINITY","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068917792","display_name":"Joshua Schneider","orcid":"https://orcid.org/0000-0001-8253-4513"},"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":"Schneider, Joshua","raw_affiliation_strings":["ETH Z\u00fcrich"],"raw_orcid":"https://orcid.org/0000-0001-8253-4513","affiliations":[{"raw_affiliation_string":"ETH Z\u00fcrich","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063188839","display_name":"Arshavir Ter-Gabrielyan","orcid":"https://orcid.org/0000-0003-0292-7750"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ter-Gabrielyan, Arshavir","raw_affiliation_strings":["DFINITY"],"raw_orcid":"https://orcid.org/0000-0003-0292-7750","affiliations":[{"raw_affiliation_string":"DFINITY","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.4058000147342682,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.4058000147342682,"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/T13983","display_name":"Cybersecurity and Information Systems","score":0.3650999963283539,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.9301413297653198},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5973604321479797},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.5921560525894165},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.35359102487564087},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.34390851855278015},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3239523470401764}],"concepts":[{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.9301413297653198},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5973604321479797},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.5921560525894165},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.35359102487564087},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.34390851855278015},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3239523470401764}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:7340850","is_oa":true,"landing_page_url":"https://zenodo.org/record/7340850","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"doi:10.5281/zenodo.7340850","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.7340850","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"dataset"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:7340850","is_oa":true,"landing_page_url":"https://zenodo.org/record/7340850","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W52840052","https://openalex.org/W3162837891","https://openalex.org/W1687852313","https://openalex.org/W3029243869","https://openalex.org/W2502336004","https://openalex.org/W1741504538","https://openalex.org/W4308623176","https://openalex.org/W2019696434","https://openalex.org/W2358078963"],"abstract_inverted_index":{"This":[0],"artifact":[1,91],"accompanies":[2],"the":[3,6,14,25,33,35,43,51,64,83,85,107,118,121,135,141,152,157,161,164],"paper":[4],"<em>Monitoring":[5],"Internet":[7],"Computer</em>,":[8],"which":[9],"will":[10],"be":[11,128],"presented":[12],"at":[13,134],"25th":[15],"International":[16],"Symposium":[17],"on":[18],"Formal":[19],"Methods":[20],"(FM":[21],"2023).":[22],"It":[23,109],"provides":[24],"policy":[26,87],"formulas":[27],"described":[28],"in":[29,42,57,63,79,89,102,151],"Section":[30],"3.2":[31],"of":[32,82,106,120,137,140],"paper,":[34,84],"raw":[36],"log":[37,122],"files":[38],"that":[39],"were":[40],"used":[41],"evaluation,":[44],"and":[45,60,71,163],"all":[46],"tools":[47],"necessary":[48],"to":[49],"reproduce":[50],"experimental":[52],"results,":[53],"specifically":[54],"those":[55],"reported":[56],"Table":[58,80],"2":[59],"Figure":[61],"5":[62],"paper.":[65],"See":[66],"README.md":[67],"for":[68],"additional":[69],"information":[70],"instructions.":[72],"<strong>Erratum</strong>":[73],"(August":[74],"14,":[75],"2023):":[76],"Unlike":[77],"stated":[78],"1":[81],"block-validation-latency":[86],"included":[88,162],"this":[90],"does":[92],"not":[93,115,146],"contain":[94],"a":[95,148],"future":[96,125],"operator.":[97],"The":[98,124],"operator":[99,126],"was":[100,110,114],"present":[101],"an":[103],"earlier":[104],"version":[105],"policy.":[108,166],"removed":[111],"because":[112],"it":[113],"required":[116],"given":[117],"structure":[119],"data.":[123],"can":[127],"added":[129],"by":[130],"inserting":[131],"<pre>EVENTUALLY":[132],"[0,0]</pre>":[133],"end":[136],"line":[138],"50":[139],"file":[142],"policy-monitoring/mfotl-policies/block_validation_latency/formula.mfotl.":[143],"We":[144],"did":[145],"observe":[147],"meaningful":[149],"change":[150],"results":[153],"when":[154],"we":[155],"repeated":[156],"experiments":[158],"using":[159],"both":[160],"modified":[165]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}