{"id":"https://openalex.org/W1903979221","doi":"https://doi.org/10.1145/2716281.2836117","title":"Monocle","display_name":"Monocle","publication_year":2015,"publication_date":"2015-12-01","ids":{"openalex":"https://openalex.org/W1903979221","doi":"https://doi.org/10.1145/2716281.2836117","mag":"1903979221"},"language":"en","primary_location":{"id":"doi:10.1145/2716281.2836117","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2716281.2836117","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th ACM Conference on Emerging Networking Experiments and Technologies","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://infoscience.epfl.ch/record/212896","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058568053","display_name":"Peter Pere\u0161\u00edni","orcid":"https://orcid.org/0000-0001-5933-3342"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Peter Pere\u0161\u00edni","raw_affiliation_strings":["EPFL","KTH Royal Institute of Technology"],"affiliations":[{"raw_affiliation_string":"EPFL","institution_ids":[]},{"raw_affiliation_string":"KTH Royal Institute of Technology","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026571840","display_name":"Maciej Ku\u017aniar","orcid":"https://orcid.org/0000-0002-1630-9542"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Maciej Ku\u017aniar","raw_affiliation_strings":["EPFL","KTH Royal Institute of Technology"],"affiliations":[{"raw_affiliation_string":"EPFL","institution_ids":[]},{"raw_affiliation_string":"KTH Royal Institute of Technology","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048036382","display_name":"Dejan Kosti\u0107","orcid":"https://orcid.org/0000-0002-1256-1070"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Dejan Kosti\u0107","raw_affiliation_strings":["KTH Royal Institute of Technology"],"affiliations":[{"raw_affiliation_string":"KTH Royal Institute of Technology","institution_ids":["https://openalex.org/I86987016"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5058568053"],"corresponding_institution_ids":["https://openalex.org/I86987016"],"apc_list":null,"apc_paid":null,"fwci":8.3205,"has_fulltext":false,"cited_by_count":53,"citation_normalized_percentile":{"value":0.97773522,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":93,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":1.0,"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/T10714","display_name":"Software-Defined Networks and 5G","score":1.0,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9969000220298767,"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/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":0.9927999973297119,"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/forwarding-plane","display_name":"Forwarding plane","score":0.8740674257278442},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7794625759124756},{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.6746500730514526},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.6518430709838867},{"id":"https://openalex.org/keywords/routing-control-plane","display_name":"Routing control plane","score":0.5872648358345032},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5295002460479736},{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"Software-defined networking","score":0.5253443121910095},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5210753679275513},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.48327118158340454},{"id":"https://openalex.org/keywords/network-switch","display_name":"Network switch","score":0.44730326533317566},{"id":"https://openalex.org/keywords/transient","display_name":"Transient (computer programming)","score":0.4335678219795227},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.4187983572483063},{"id":"https://openalex.org/keywords/plane","display_name":"Plane (geometry)","score":0.41491901874542236},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.40896815061569214},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.34350669384002686},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2896023988723755},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.21792078018188477},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10696738958358765}],"concepts":[{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.8740674257278442},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7794625759124756},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.6746500730514526},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.6518430709838867},{"id":"https://openalex.org/C145595949","wikidata":"https://www.wikidata.org/wiki/Q7371619","display_name":"Routing control plane","level":2,"score":0.5872648358345032},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5295002460479736},{"id":"https://openalex.org/C77270119","wikidata":"https://www.wikidata.org/wiki/Q1655198","display_name":"Software-defined networking","level":2,"score":0.5253443121910095},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5210753679275513},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.48327118158340454},{"id":"https://openalex.org/C119404949","wikidata":"https://www.wikidata.org/wiki/Q4503","display_name":"Network switch","level":2,"score":0.44730326533317566},{"id":"https://openalex.org/C2780799671","wikidata":"https://www.wikidata.org/wiki/Q17087362","display_name":"Transient (computer programming)","level":2,"score":0.4335678219795227},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.4187983572483063},{"id":"https://openalex.org/C17825722","wikidata":"https://www.wikidata.org/wiki/Q17285","display_name":"Plane (geometry)","level":2,"score":0.41491901874542236},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40896815061569214},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.34350669384002686},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2896023988723755},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.21792078018188477},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10696738958358765},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2716281.2836117","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2716281.2836117","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th ACM Conference on Emerging Networking Experiments and Technologies","raw_type":"proceedings-article"},{"id":"pmh:oai:infoscience.tind.io:212896","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/212896","pdf_url":"http://infoscience.epfl.ch/record/212896","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://infoscience.epfl.ch/record/212896","raw_type":"Text"},{"id":"pmh:oai:DiVA.org:kth-176478","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-176478","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Conference paper"}],"best_oa_location":{"id":"pmh:oai:infoscience.tind.io:212896","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/212896","pdf_url":"http://infoscience.epfl.ch/record/212896","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://infoscience.epfl.ch/record/212896","raw_type":"Text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G54670660","display_name":null,"funder_award_id":"259110","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"}],"funders":[{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W1903979221.pdf"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W158224344","https://openalex.org/W1637524539","https://openalex.org/W1675033504","https://openalex.org/W1882012874","https://openalex.org/W1998522266","https://openalex.org/W2007033386","https://openalex.org/W2071187149","https://openalex.org/W2099657323","https://openalex.org/W2101042113","https://openalex.org/W2115526539","https://openalex.org/W2118404561","https://openalex.org/W2120389765","https://openalex.org/W2126822952","https://openalex.org/W2129487583","https://openalex.org/W2133527541","https://openalex.org/W2146191242","https://openalex.org/W2149236835","https://openalex.org/W2153250748","https://openalex.org/W2177058407","https://openalex.org/W2180601376","https://openalex.org/W2468070113","https://openalex.org/W3159998597","https://openalex.org/W4254605472","https://openalex.org/W6679245075"],"related_works":["https://openalex.org/W4214777079","https://openalex.org/W3093659890","https://openalex.org/W4211055425","https://openalex.org/W4379114325","https://openalex.org/W4243609393","https://openalex.org/W2756952589","https://openalex.org/W3042077637","https://openalex.org/W2515119600","https://openalex.org/W1799150848","https://openalex.org/W3033868034"],"abstract_inverted_index":{"Ensuring":[0],"network":[1,11,25,166],"reliability":[2],"is":[3,17,116,135],"important":[4],"for":[5,140],"satisfying":[6],"service-level":[7],"objectives.":[8],"However,":[9],"diagnosing":[10],"anomalies":[12],"in":[13,43,159],"a":[14,31,85,98,149,160],"timely":[15],"fashion":[16],"difficult":[18],"due":[19,37],"to":[20,38,52],"the":[21,48,53,61,69,73,79,119,141,154],"complex":[22],"nature":[23],"of":[24,137,143,162],"configurations.":[26],"We":[27],"present":[28],"Monocle":[29,64,107,134,168],"---":[30],"system":[32],"that":[33,47,55,133,174],"uncovers":[34],"forwarding":[35,81],"problems":[36],"hardware":[39],"or":[40,157],"software":[41],"failures":[42],"switches,":[44],"by":[45,66,77],"verifying":[46],"data":[49,71,155,182],"plane":[50,156,183],"corresponds":[51],"view":[54],"an":[56],"SDN":[57],"controller":[58],"installs":[59],"via":[60],"control":[62,180],"plane.":[63],"works":[65],"systematically":[67],"probing":[68],"switch":[70,80],"plane;":[72],"probes":[74],"are":[75],"constructed":[76],"formulating":[78],"table":[82,128],"logic":[83],"as":[84],"Boolean":[86],"satisfiability":[87],"(SAT)":[88],"problem.":[89],"Our":[90,130],"SAT":[91],"formulation":[92],"quickly":[93],"generates":[94],"probe":[95],"packets":[96],"targeting":[97],"particular":[99],"rule":[100,150],"considering":[101],"both":[102],"existing":[103],"and":[104,145,181],"new":[105],"rules.":[106],"can":[108,147],"monitor":[109],"not":[110],"only":[111],"static":[112],"flow":[113,127],"tables":[114],"(as":[115],"currently":[117],"typically":[118],"case),":[120],"but":[121],"also":[122],"dynamic":[123],"networks":[124],"with":[125,172],"frequent":[126],"changes.":[129],"evaluation":[131],"shows":[132],"capable":[136],"finegrained":[138],"monitoring":[139],"majority":[142],"rules,":[144],"it":[146],"identify":[148],"suddenly":[151],"missing":[152],"from":[153],"misbehaving":[158],"matter":[161],"seconds.":[163],"Also,":[164],"during":[165],"updates":[167],"helps":[169],"controllers":[170],"cope":[171],"switches":[173],"exhibit":[175],"transient":[176],"inconsistencies":[177],"between":[178],"their":[179],"states.":[184]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":11},{"year":2017,"cited_by_count":9},{"year":2016,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}