{"id":"https://openalex.org/W4282027912","doi":"https://doi.org/10.1109/noms54207.2022.9789811","title":"NetWords: Enabling the Understanding of Network Property Violation Occurrences","display_name":"NetWords: Enabling the Understanding of Network Property Violation Occurrences","publication_year":2022,"publication_date":"2022-04-25","ids":{"openalex":"https://openalex.org/W4282027912","doi":"https://doi.org/10.1109/noms54207.2022.9789811"},"language":"en","primary_location":{"id":"doi:10.1109/noms54207.2022.9789811","is_oa":false,"landing_page_url":"https://doi.org/10.1109/noms54207.2022.9789811","pdf_url":null,"source":{"id":"https://openalex.org/S4363605650","display_name":"NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium","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/A5103251695","display_name":"Anderson Santos da Silva","orcid":"https://orcid.org/0000-0003-4179-3206"},"institutions":[{"id":"https://openalex.org/I130442723","display_name":"Universidade Federal do Rio Grande do Sul","ror":"https://ror.org/041yk2d64","country_code":"BR","type":"education","lineage":["https://openalex.org/I130442723"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Anderson Santos da Silva","raw_affiliation_strings":["Federal University of Rio Grande do Sul,Institute of Informatics,Porto Alegre,Brazil","Institute of Informatics, Federal University of Rio Grande do Sul, Porto Alegre, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Rio Grande do Sul,Institute of Informatics,Porto Alegre,Brazil","institution_ids":["https://openalex.org/I130442723"]},{"raw_affiliation_string":"Institute of Informatics, Federal University of Rio Grande do Sul, Porto Alegre, Brazil","institution_ids":["https://openalex.org/I130442723"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088173365","display_name":"Alberto Schaeffer-Filho","orcid":"https://orcid.org/0000-0003-1780-9060"},"institutions":[{"id":"https://openalex.org/I130442723","display_name":"Universidade Federal do Rio Grande do Sul","ror":"https://ror.org/041yk2d64","country_code":"BR","type":"education","lineage":["https://openalex.org/I130442723"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Alberto Schaeffer-Filho","raw_affiliation_strings":["Federal University of Rio Grande do Sul,Institute of Informatics,Porto Alegre,Brazil","Institute of Informatics, Federal University of Rio Grande do Sul, Porto Alegre, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Rio Grande do Sul,Institute of Informatics,Porto Alegre,Brazil","institution_ids":["https://openalex.org/I130442723"]},{"raw_affiliation_string":"Institute of Informatics, Federal University of Rio Grande do Sul, Porto Alegre, Brazil","institution_ids":["https://openalex.org/I130442723"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5103251695"],"corresponding_institution_ids":["https://openalex.org/I130442723"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04477197,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"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.9998000264167786,"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.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9988999962806702,"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.7742811441421509},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6857542395591736},{"id":"https://openalex.org/keywords/maintainability","display_name":"Maintainability","score":0.669657289981842},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.6440204381942749},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.5615851283073425},{"id":"https://openalex.org/keywords/modularity","display_name":"Modularity (biology)","score":0.5326665639877319},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5255210399627686},{"id":"https://openalex.org/keywords/network-simulation","display_name":"Network simulation","score":0.4373508095741272},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.43318864703178406},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3532024621963501},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3085290789604187}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7742811441421509},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6857542395591736},{"id":"https://openalex.org/C160713754","wikidata":"https://www.wikidata.org/wiki/Q1389965","display_name":"Maintainability","level":2,"score":0.669657289981842},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.6440204381942749},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.5615851283073425},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.5326665639877319},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5255210399627686},{"id":"https://openalex.org/C139940560","wikidata":"https://www.wikidata.org/wiki/Q290036","display_name":"Network simulation","level":2,"score":0.4373508095741272},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.43318864703178406},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3532024621963501},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3085290789604187},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"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/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/noms54207.2022.9789811","is_oa":false,"landing_page_url":"https://doi.org/10.1109/noms54207.2022.9789811","pdf_url":null,"source":{"id":"https://openalex.org/S4363605650","display_name":"NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6499999761581421,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W158224344","https://openalex.org/W1498432697","https://openalex.org/W1539225827","https://openalex.org/W1594523937","https://openalex.org/W1600520883","https://openalex.org/W1697123834","https://openalex.org/W2005129294","https://openalex.org/W2033455284","https://openalex.org/W2047824738","https://openalex.org/W2052367117","https://openalex.org/W2054181184","https://openalex.org/W2126482901","https://openalex.org/W2145071552","https://openalex.org/W2150093579","https://openalex.org/W2192040516","https://openalex.org/W2469255646","https://openalex.org/W2811472820","https://openalex.org/W2816958343","https://openalex.org/W2832131618","https://openalex.org/W2889227506","https://openalex.org/W2916202418","https://openalex.org/W2954879405","https://openalex.org/W2964396926","https://openalex.org/W2973204678","https://openalex.org/W2981815738","https://openalex.org/W3003853122","https://openalex.org/W3005228016","https://openalex.org/W3009349458","https://openalex.org/W3010476191","https://openalex.org/W3026940864","https://openalex.org/W3046838689","https://openalex.org/W3047758466","https://openalex.org/W3118706230","https://openalex.org/W4287899526","https://openalex.org/W6606536520","https://openalex.org/W6635593171","https://openalex.org/W6637389031","https://openalex.org/W6774849053","https://openalex.org/W6775030783","https://openalex.org/W6777370731"],"related_works":["https://openalex.org/W2160765347","https://openalex.org/W1784325190","https://openalex.org/W2505444316","https://openalex.org/W2243181917","https://openalex.org/W2372410743","https://openalex.org/W2064378805","https://openalex.org/W1920256783","https://openalex.org/W2367316285","https://openalex.org/W2068377759","https://openalex.org/W183910010"],"abstract_inverted_index":{"A":[0,171],"clear":[1],"trend":[2,24],"within":[3],"the":[4,10,70,107,139,143,152,162,169,175,182,192,197,203,218,233],"context":[5],"of":[6,12,22,28,33,72,141,145,154,164,177,184,205,220],"computer":[7,49],"networks":[8],"is":[9,38,44,56,181],"use":[11,71,183],"software":[13],"as":[14,84,209,224,228],"an":[15,26],"alternative":[16],"to":[17,40,65,79,113,119,121,129,167,174,190],"specialized":[18],"hardware.":[19],"The":[20],"benefit":[21],"this":[23,61,135],"include":[25],"enhancement":[27,126],"flexibility,":[29],"modularity,":[30],"and":[31,104,217],"maintainability":[32],"network":[34,50,67,77,110,146,155,211],"components.":[35],"Simultaneously,":[36],"it":[37],"challenging":[39],"determine":[41],"if":[42],"everything":[43],"happening":[45],"correctly":[46],"in":[47,60,106,232],"a":[48,97,116,131,179,185],"where":[51],"software,":[52],"possibly":[53],"with":[54,69,161],"bugs,":[55],"very":[57],"present.":[58],"Research":[59],"field":[62],"frequently":[63],"tries":[64],"improve":[66],"testing":[68],"formal":[73,91,165],"verification":[74,92,166],"techniques":[75],"or":[76,87],"monitoring":[78,111,156],"detect":[80,96,122],"property":[81,98,117,148,159,221],"violations,":[82,222],"such":[83,178,208,223],"configuration":[85],"errors":[86],"policy":[88],"conflicts.":[89],"However,":[90],"by":[93,150],"itself":[94],"cannot":[95],"violation":[99,118],"that":[100],"was":[101],"not":[102],"anticipated":[103],"included":[105],"model.":[108],"Similarly,":[109],"needs":[112],"wait":[114],"for":[115,157],"occur":[120,231],"it.":[123],"Consequently,":[124],"both":[125],"efforts":[127],"fail":[128],"achieve":[130],"complete":[132],"result.":[133],"In":[134],"paper,":[136],"we":[137],"investigate":[138],"problem":[140],"guaranteeing":[142],"absence":[144],"connectivity":[147],"violations":[149,160],"combining":[151],"advantages":[153,163],"detecting":[158],"model":[168,186],"network.":[170,198,234],"highlight":[172],"related":[173],"success":[176],"combination":[180],"based":[187],"on":[188,196],"grammars":[189],"capture":[191],"communication":[193],"patterns":[194],"existing":[195],"Our":[199],"preliminary":[200],"analysis":[201],"allows":[202],"evaluation":[204],"high-level":[206],"properties":[207],"\"Can":[210],"component":[212],"x":[213],"send":[214],"HTTP":[215],"packets?\"":[216],"detection":[219],"conflicting":[225],"forwarding":[226],"rules,":[227],"soon":[229],"they":[230]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}