{"id":"https://openalex.org/W2763317416","doi":"https://doi.org/10.1109/infocom.2017.8057041","title":"SLA-verifier: Stateful and quantitative verification for service chaining","display_name":"SLA-verifier: Stateful and quantitative verification for service chaining","publication_year":2017,"publication_date":"2017-05-01","ids":{"openalex":"https://openalex.org/W2763317416","doi":"https://doi.org/10.1109/infocom.2017.8057041","mag":"2763317416"},"language":"en","primary_location":{"id":"doi:10.1109/infocom.2017.8057041","is_oa":false,"landing_page_url":"https://doi.org/10.1109/infocom.2017.8057041","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE INFOCOM 2017 - IEEE Conference on Computer Communications","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100386104","display_name":"Ying Zhang","orcid":"https://orcid.org/0000-0002-2674-1638"},"institutions":[{"id":"https://openalex.org/I1324840837","display_name":"Hewlett-Packard (United States)","ror":"https://ror.org/059rn9488","country_code":"US","type":"company","lineage":["https://openalex.org/I1324840837"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ying Zhang","raw_affiliation_strings":["Hewlett Packard Labs"],"affiliations":[{"raw_affiliation_string":"Hewlett Packard Labs","institution_ids":["https://openalex.org/I1324840837"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031365162","display_name":"Wenfei Wu","orcid":"https://orcid.org/0000-0002-1357-3137"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenfei Wu","raw_affiliation_strings":["Tsinghua University"],"affiliations":[{"raw_affiliation_string":"Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102914855","display_name":"Sujata Banerjee","orcid":"https://orcid.org/0000-0002-2423-7665"},"institutions":[{"id":"https://openalex.org/I74786994","display_name":"Kitware (United States)","ror":"https://ror.org/02s2acn37","country_code":"US","type":"company","lineage":["https://openalex.org/I74786994"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sujata Banerjee","raw_affiliation_strings":["VMware"],"affiliations":[{"raw_affiliation_string":"VMware","institution_ids":["https://openalex.org/I74786994"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065292350","display_name":"Joon\u2010Myung Kang","orcid":"https://orcid.org/0000-0001-7143-0364"},"institutions":[{"id":"https://openalex.org/I1324840837","display_name":"Hewlett-Packard (United States)","ror":"https://ror.org/059rn9488","country_code":"US","type":"company","lineage":["https://openalex.org/I1324840837"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joon-Myung Kang","raw_affiliation_strings":["Hewlett Packard Labs"],"affiliations":[{"raw_affiliation_string":"Hewlett Packard Labs","institution_ids":["https://openalex.org/I1324840837"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010649118","display_name":"Mario A. S\u00e1nchez","orcid":"https://orcid.org/0000-0001-5722-699X"},"institutions":[{"id":"https://openalex.org/I1324840837","display_name":"Hewlett-Packard (United States)","ror":"https://ror.org/059rn9488","country_code":"US","type":"company","lineage":["https://openalex.org/I1324840837"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mario A Sanchez","raw_affiliation_strings":["Hewlett Packard Labs"],"affiliations":[{"raw_affiliation_string":"Hewlett Packard Labs","institution_ids":["https://openalex.org/I1324840837"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5100386104"],"corresponding_institution_ids":["https://openalex.org/I1324840837"],"apc_list":null,"apc_paid":null,"fwci":3.108,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.9289975,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9994999766349792,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9994999766349792,"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.9994000196456909,"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.9990000128746033,"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/computer-science","display_name":"Computer science","score":0.8858730792999268},{"id":"https://openalex.org/keywords/stateful-firewall","display_name":"Stateful firewall","score":0.8561385869979858},{"id":"https://openalex.org/keywords/chaining","display_name":"Chaining","score":0.8374813795089722},{"id":"https://openalex.org/keywords/testbed","display_name":"Testbed","score":0.7522262930870056},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.6368560791015625},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.5251911878585815},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5132794380187988},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.5115162134170532},{"id":"https://openalex.org/keywords/service-level-agreement","display_name":"Service-level agreement","score":0.4922885000705719},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.46148720383644104},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.41136279702186584},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.38139617443084717},{"id":"https://openalex.org/keywords/quality-of-service","display_name":"Quality of service","score":0.22320568561553955},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.19234174489974976},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1512763500213623}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8858730792999268},{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.8561385869979858},{"id":"https://openalex.org/C49020025","wikidata":"https://www.wikidata.org/wiki/Q1059099","display_name":"Chaining","level":2,"score":0.8374813795089722},{"id":"https://openalex.org/C31395832","wikidata":"https://www.wikidata.org/wiki/Q1318674","display_name":"Testbed","level":2,"score":0.7522262930870056},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6368560791015625},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.5251911878585815},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5132794380187988},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.5115162134170532},{"id":"https://openalex.org/C2778160497","wikidata":"https://www.wikidata.org/wiki/Q869830","display_name":"Service-level agreement","level":3,"score":0.4922885000705719},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.46148720383644104},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.41136279702186584},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.38139617443084717},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.22320568561553955},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.19234174489974976},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1512763500213623},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","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/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/infocom.2017.8057041","is_oa":false,"landing_page_url":"https://doi.org/10.1109/infocom.2017.8057041","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE INFOCOM 2017 - IEEE Conference on Computer Communications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W49496018","https://openalex.org/W158224344","https://openalex.org/W1675033504","https://openalex.org/W1858168446","https://openalex.org/W1882012874","https://openalex.org/W1917945289","https://openalex.org/W1994982577","https://openalex.org/W2015113691","https://openalex.org/W2123491545","https://openalex.org/W2131768747","https://openalex.org/W2133576332","https://openalex.org/W2143490957","https://openalex.org/W2146934567","https://openalex.org/W2243257940","https://openalex.org/W2308109111","https://openalex.org/W2465388983","https://openalex.org/W2547314365","https://openalex.org/W2612336448","https://openalex.org/W6601982808","https://openalex.org/W6606536520","https://openalex.org/W6637274776","https://openalex.org/W6639080731","https://openalex.org/W6639592347","https://openalex.org/W6640224399","https://openalex.org/W6678425981","https://openalex.org/W6690661474","https://openalex.org/W6698042110"],"related_works":["https://openalex.org/W2583381754","https://openalex.org/W2144255176","https://openalex.org/W2222333653","https://openalex.org/W109977192","https://openalex.org/W1970797462","https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2566747981","https://openalex.org/W4312120139"],"abstract_inverted_index":{"Network":[0],"verification":[1,85],"has":[2],"been":[3],"recently":[4],"proposed":[5],"to":[6,87],"detect":[7],"network":[8,31,52],"misconfigurations.":[9],"Existing":[10],"work":[11,36],"focuses":[12],"on":[13,69],"the":[14,23,30,77],"reachability.":[15],"This":[16,35],"paper":[17],"proposes":[18,37],"a":[19,38,42,51],"framework":[20],"that":[21],"verifies":[22],"Service":[24],"Level":[25],"Agreement":[26],"(SLA)":[27],"compliance":[28],"of":[29,44,50],"using":[32,67],"static":[33],"verification.":[34],"quantitative":[39],"model":[40],"and":[41,55,63,72],"set":[43],"algorithms":[45],"for":[46],"verifying":[47],"performance":[48],"properties":[49],"with":[53],"switches":[54],"middleboxes,":[56],"i.e.,":[57],"service":[58],"chains.":[59],"We":[60],"develop":[61],"SLA-Verifier":[62],"evaluate":[64],"its":[65],"efficiency":[66],"simulation":[68],"real-world":[70],"data":[71],"testbed":[73],"experiments.":[74],"To":[75],"improve":[76],"SLA":[78],"violation":[79],"detection":[80],"accuracy,":[81],"our":[82],"system":[83],"uses":[84],"results":[86],"optimize":[88],"online":[89],"monitoring.":[90]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}