{"id":"https://openalex.org/W3034971522","doi":"https://doi.org/10.5220/0010494504210428","title":"Preventive Model-based Verification and Repairing for SDN Requests","display_name":"Preventive Model-based Verification and Repairing for SDN Requests","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3034971522","doi":"https://doi.org/10.5220/0010494504210428","mag":"3034971522"},"language":"en","primary_location":{"id":"doi:10.5220/0010494504210428","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0010494504210428","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0010494504210428","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5112413570","display_name":"Igor Burdonov","orcid":null},"institutions":[{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Igor Burdonov","raw_affiliation_strings":["Ivannikov Institute for System Programming of the Russian Academy of Sciences, Moscow, Russia, --- Select a Country ---"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ivannikov Institute for System Programming of the Russian Academy of Sciences, Moscow, Russia, --- Select a Country ---","institution_ids":["https://openalex.org/I4210101868"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018211353","display_name":"Alexandre Kossachev","orcid":null},"institutions":[{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Alexandre Kossachev","raw_affiliation_strings":["Ivannikov Institute for System Programming of the Russian Academy of Sciences, Moscow, Russia, --- Select a Country ---"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ivannikov Institute for System Programming of the Russian Academy of Sciences, Moscow, Russia, --- Select a Country ---","institution_ids":["https://openalex.org/I4210101868"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082528508","display_name":"Nina Yevtushenko","orcid":"https://orcid.org/0000-0002-4006-1161"},"institutions":[{"id":"https://openalex.org/I118501908","display_name":"National Research University Higher School of Economics","ror":"https://ror.org/055f7t516","country_code":"RU","type":"education","lineage":["https://openalex.org/I118501908"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Nina Yevtushenko","raw_affiliation_strings":["Ivannikov Institute for System Programming of the Russian Academy of Sciences, Moscow, Russia, --- Select a Country ---","National Research University Higher School of Economics, Moscow, Russia, --- Select a Country ---"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ivannikov Institute for System Programming of the Russian Academy of Sciences, Moscow, Russia, --- Select a Country ---","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"National Research University Higher School of Economics, Moscow, Russia, --- Select a Country ---","institution_ids":["https://openalex.org/I118501908"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103246966","display_name":"Jorge L\u00f3pez","orcid":"https://orcid.org/0000-0003-4465-2185"},"institutions":[{"id":"https://openalex.org/I112991645","display_name":"Airbus (France)","ror":"https://ror.org/023qdcg29","country_code":"FR","type":"company","lineage":["https://openalex.org/I112991645","https://openalex.org/I4210121748"]},{"id":"https://openalex.org/I33375025","display_name":"Airbus (India)","ror":"https://ror.org/05tw0wf88","country_code":"IN","type":"company","lineage":["https://openalex.org/I33375025","https://openalex.org/I4210121748"]},{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]}],"countries":["FR","IN"],"is_corresponding":false,"raw_author_name":"Jorge L\u00f3pez","raw_affiliation_strings":["Airbus Defence and Space, Issy-Les-Moulineaux, France, --- Select a Country ---","T\u00e9l\u00e9com SudParis, Institut Polytechnique de Paris, Palaiseau, France, --- Select a Country ---","Airbus >  >  >  >"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Airbus Defence and Space, Issy-Les-Moulineaux, France, --- Select a Country ---","institution_ids":["https://openalex.org/I112991645"]},{"raw_affiliation_string":"T\u00e9l\u00e9com SudParis, Institut Polytechnique de Paris, Palaiseau, France, --- Select a Country ---","institution_ids":["https://openalex.org/I4210145102"]},{"raw_affiliation_string":"Airbus >  >  >  >","institution_ids":["https://openalex.org/I33375025"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040238727","display_name":"Natalia Kushik","orcid":"https://orcid.org/0000-0002-8691-6655"},"institutions":[{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4387153010","display_name":"T\u00e9l\u00e9com SudParis","ror":"https://ror.org/05xvk4r52","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4387153010"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Natalia Kushik","raw_affiliation_strings":["T\u00e9l\u00e9com SudParis, Institut Polytechnique de Paris, Palaiseau, France, --- Select a Country ---","Telecom SudParis >  >  >  >"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"T\u00e9l\u00e9com SudParis, Institut Polytechnique de Paris, Palaiseau, France, --- Select a Country ---","institution_ids":["https://openalex.org/I4210145102"]},{"raw_affiliation_string":"Telecom SudParis >  >  >  >","institution_ids":["https://openalex.org/I4210145102","https://openalex.org/I4387153010"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034736630","display_name":"Djamal Zeghlache","orcid":"https://orcid.org/0000-0002-9558-8120"},"institutions":[{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4387153010","display_name":"T\u00e9l\u00e9com SudParis","ror":"https://ror.org/05xvk4r52","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4387153010"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Djamal Zeghlache","raw_affiliation_strings":["T\u00e9l\u00e9com SudParis, Institut Polytechnique de Paris, Palaiseau, France, --- Select a Country ---","Telecom SudParis >  >  >  >"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"T\u00e9l\u00e9com SudParis, Institut Polytechnique de Paris, Palaiseau, France, --- Select a Country ---","institution_ids":["https://openalex.org/I4210145102"]},{"raw_affiliation_string":"Telecom SudParis >  >  >  >","institution_ids":["https://openalex.org/I4210145102","https://openalex.org/I4387153010"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2713,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.33124368,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"421","last_page":"428"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9998999834060669,"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":0.9998999834060669,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9958999752998352,"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/computer-science","display_name":"Computer science","score":0.87975013256073},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7750556468963623},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.7287939190864563},{"id":"https://openalex.org/keywords/forwarding-plane","display_name":"Forwarding plane","score":0.6769617795944214},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5051801800727844},{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"Software-defined networking","score":0.4100732207298279},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3007967472076416},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21299102902412415}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.87975013256073},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7750556468963623},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.7287939190864563},{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.6769617795944214},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5051801800727844},{"id":"https://openalex.org/C77270119","wikidata":"https://www.wikidata.org/wiki/Q1655198","display_name":"Software-defined networking","level":2,"score":0.4100732207298279},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3007967472076416},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21299102902412415},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.5220/0010494504210428","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0010494504210428","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1906.03101","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1906.03101","pdf_url":"https://arxiv.org/pdf/1906.03101","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"","raw_type":null},{"id":"mag:3034971522","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1906.03101","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"pmh:oai:HAL:hal-03549088v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03549088","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ENASE 2021: 16th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2021, Online, France. pp.421-428, ⟨10.5220/0010494504210428⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"doi:10.48550/arxiv.1906.03101","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1906.03101","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"Preprint"}],"best_oa_location":{"id":"doi:10.5220/0010494504210428","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0010494504210428","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W589642006","https://openalex.org/W1697123834","https://openalex.org/W2010947830","https://openalex.org/W2068407543","https://openalex.org/W2074616737","https://openalex.org/W2105229722","https://openalex.org/W2115526539","https://openalex.org/W2152254232","https://openalex.org/W2180601376","https://openalex.org/W2254744414","https://openalex.org/W2296335794","https://openalex.org/W2794894525","https://openalex.org/W2832131618","https://openalex.org/W2891367726","https://openalex.org/W2891574960","https://openalex.org/W2900257195","https://openalex.org/W2994881367","https://openalex.org/W3145128584"],"related_works":["https://openalex.org/W3157481061","https://openalex.org/W2528188859","https://openalex.org/W2054075353","https://openalex.org/W1745054520","https://openalex.org/W2970475754","https://openalex.org/W2901563743","https://openalex.org/W2122695394","https://openalex.org/W3045021821","https://openalex.org/W2040259387","https://openalex.org/W2548032328","https://openalex.org/W2601726669","https://openalex.org/W2770728219","https://openalex.org/W3106010819","https://openalex.org/W2464326659","https://openalex.org/W2497710620","https://openalex.org/W1897046817","https://openalex.org/W1689626140","https://openalex.org/W1697123834","https://openalex.org/W2521536125","https://openalex.org/W2260823393"],"abstract_inverted_index":{"Software":[0],"Defined":[1],"Networking":[2],"(SDN)":[3],"is":[4,98,217],"a":[5,13,73,104,144,156,187,193,199],"novel":[6,74],"network":[7],"management":[8],"technology,":[9],"which":[10],"currently":[11],"attracts":[12],"lot":[14],"of":[15,35,60,91,106,132,146,163,170,180,195],"attention":[16],"due":[17],"to":[18,28,50],"the":[19,32,51,55,58,65,88,129,147,168,171,178,181,202,211,215],"provided":[20],"capabilities.":[21],"Recently,":[22],"different":[23],"works":[24],"have":[25],"been":[26],"devoted":[27],"testing":[29],"/":[30],"verifying":[31,78],"(correct)":[33],"configurations":[34],"SDN":[36,41],"data":[37,66,107,114,212],"planes.":[38],"In":[39,68],"general,":[40],"forwarding":[42],"devices":[43],"(e.g.,":[44,82],"switches)":[45],"route":[46],"(steer)":[47],"traffic":[48],"according":[49],"configured":[52],"flow":[53],"rules;":[54],"latter":[56,216],"identifies":[57],"set":[59,90,105,131,149,194,204],"virtual":[61],"paths":[62,115,133,196,209],"implemented":[63,136],"in":[64,197],"plane.":[67],"this":[69],"paper,":[70],"we":[71,123,154,185],"propose":[72,186],"preventive":[75],"approach":[76],"for":[77,126,159,189],"that":[79,125,201],"no":[80],"misconfigurations":[81,165],"infinite":[83],"loops),":[84],"can":[85,150],"occur":[86],"given":[87],"requested":[89,111,130,148],"paths.":[92],"We":[93],"discuss":[94],"why":[95],"such":[96,139,161,198],"verification":[97,157],"essential,":[99],"namely,":[100],"how,":[101],"when":[102],"synthesizing":[103],"paths,":[108],"other":[109],"not":[110,206],"and":[112,166,191],"undesired":[113,140,208],"(including":[116],"loops)":[117],"may":[118],"be":[119,135,151],"unintentionally":[120],"configured.":[121],"Furthermore,":[122],"show":[124],"some":[127],"cases":[128],"cannot":[134],"without":[137],"adding":[138],"behavior,":[141],"i.e.,":[142],"only":[143],"superset":[145],"implemented.":[152],"Correspondingly,":[153],"present":[155],"technique":[158,188],"detecting":[160],"issues":[162],"potential":[164],"estimate":[167],"complexity":[169,176],"proposed":[172],"method;":[173],"its":[174],"polynomial":[175],"highlights":[177],"applicability":[179],"obtained":[182],"results.":[183],"Finally,":[184],"debugging":[190],"repairing":[192],"way":[200],"corrected":[203],"does":[205],"induce":[207],"into":[210],"plane,":[213],"if":[214],"possible.":[218]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}