{"id":"https://openalex.org/W4401507880","doi":"https://doi.org/10.1109/tnsm.2024.3442298","title":"Multimodal Multitask Control Plane Verification Framework","display_name":"Multimodal Multitask Control Plane Verification Framework","publication_year":2024,"publication_date":"2024-08-12","ids":{"openalex":"https://openalex.org/W4401507880","doi":"https://doi.org/10.1109/tnsm.2024.3442298"},"language":"en","primary_location":{"id":"doi:10.1109/tnsm.2024.3442298","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnsm.2024.3442298","pdf_url":null,"source":{"id":"https://openalex.org/S173527311","display_name":"IEEE Transactions on Network and Service Management","issn_l":"1932-4537","issn":["1932-4537","2373-7379"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Network and Service Management","raw_type":"journal-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/A5050656423","display_name":"Yuqi Dai","orcid":"https://orcid.org/0009-0009-3581-7639"},"institutions":[{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuqi Dai","raw_affiliation_strings":["National Mobile Communications Research Laboratory, Southeast University, Nanjing, China"],"raw_orcid":"https://orcid.org/0009-0009-3581-7639","affiliations":[{"raw_affiliation_string":"National Mobile Communications Research Laboratory, Southeast University, Nanjing, China","institution_ids":["https://openalex.org/I76569877"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100408729","display_name":"Hua Zhang","orcid":"https://orcid.org/0000-0003-0734-1329"},"institutions":[{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hua Zhang","raw_affiliation_strings":["National Mobile Communications Research Laboratory, Southeast University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0003-0734-1329","affiliations":[{"raw_affiliation_string":"National Mobile Communications Research Laboratory, Southeast University, Nanjing, China","institution_ids":["https://openalex.org/I76569877"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100432460","display_name":"Jingyu Wang","orcid":"https://orcid.org/0000-0002-2182-2228"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jingyu Wang","raw_affiliation_strings":["State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China","State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, China"],"raw_orcid":"https://orcid.org/0000-0002-2182-2228","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]},{"raw_affiliation_string":"State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055685073","display_name":"Jianxin Liao","orcid":"https://orcid.org/0000-0003-1486-0573"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianxin Liao","raw_affiliation_strings":["State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China","State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, China"],"raw_orcid":"https://orcid.org/0000-0003-1486-0573","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]},{"raw_affiliation_string":"State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, China","institution_ids":["https://openalex.org/I139759216"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3814,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.54354037,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"21","issue":"6","first_page":"6684","last_page":"6702"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.8723999857902527,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.8723999857902527,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T14474","display_name":"Industrial Technology and Control Systems","score":0.8011000156402588,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.7921000123023987,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.8099273443222046},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4329324960708618},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.32284700870513916},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2287864089012146}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8099273443222046},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4329324960708618},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.32284700870513916},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2287864089012146}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tnsm.2024.3442298","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tnsm.2024.3442298","pdf_url":null,"source":{"id":"https://openalex.org/S173527311","display_name":"IEEE Transactions on Network and Service Management","issn_l":"1932-4537","issn":["1932-4537","2373-7379"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Network and Service Management","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6580843156","display_name":null,"funder_award_id":"2020YFB1807803","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":59,"referenced_works":["https://openalex.org/W1622676895","https://openalex.org/W2040340473","https://openalex.org/W2052960370","https://openalex.org/W2053101950","https://openalex.org/W2059581902","https://openalex.org/W2087968523","https://openalex.org/W2118404561","https://openalex.org/W2122695394","https://openalex.org/W2125560635","https://openalex.org/W2132871830","https://openalex.org/W2152255412","https://openalex.org/W2155750235","https://openalex.org/W2337480916","https://openalex.org/W2485543941","https://openalex.org/W2536639940","https://openalex.org/W2742515467","https://openalex.org/W2767290858","https://openalex.org/W2810860137","https://openalex.org/W2910041147","https://openalex.org/W2955202322","https://openalex.org/W2957285558","https://openalex.org/W2964015378","https://openalex.org/W2967717034","https://openalex.org/W2982376398","https://openalex.org/W2985331920","https://openalex.org/W2985849971","https://openalex.org/W3038091703","https://openalex.org/W3044263787","https://openalex.org/W3046445220","https://openalex.org/W3121886859","https://openalex.org/W3143320354","https://openalex.org/W3156698624","https://openalex.org/W4205641020","https://openalex.org/W4214931874","https://openalex.org/W4285813080","https://openalex.org/W4290991152","https://openalex.org/W4298326888","https://openalex.org/W4313895000","https://openalex.org/W4321380758","https://openalex.org/W4321793449","https://openalex.org/W4364387774","https://openalex.org/W4381886942","https://openalex.org/W6606536520","https://openalex.org/W6627884483","https://openalex.org/W6686207219","https://openalex.org/W6732171612","https://openalex.org/W6734460627","https://openalex.org/W6734470941","https://openalex.org/W6749029207","https://openalex.org/W6750584877","https://openalex.org/W6765843572","https://openalex.org/W6769828913","https://openalex.org/W6771658506","https://openalex.org/W6772009205","https://openalex.org/W6774849053","https://openalex.org/W6776240636","https://openalex.org/W6791910562","https://openalex.org/W6792025385","https://openalex.org/W6845987841"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Modern":[0],"networks":[1],"are":[2],"susceptible":[3],"to":[4,14,31,100,118],"configuration":[5,91],"errors,":[6],"such":[7],"as":[8,149,151],"misconfigurations":[9],"and":[10,52,58,104,134,153,173,179],"policy":[11],"conflicts":[12],"due":[13],"the":[15,46,115],"complex":[16],"interactions":[17],"of":[18,48,84],"diverse":[19],"devices":[20],"through":[21],"various":[22,89],"protocols.":[23],"Control":[24],"plane":[25,69],"verification":[26,43,47,70,83,130,162],"offers":[27],"an":[28],"effective":[29,175],"solution":[30],"prevent":[32],"these":[33,63],"errors.":[34],"However,":[35],"existing":[36],"tools":[37],"face":[38],"several":[39],"challenges:":[40],"(i)":[41],"prolonged":[42],"times,":[44],"(ii)":[45],"only":[49],"specific":[50],"policies,":[51],"(iii)":[53],"poor":[54],"robustness":[55,120],"against":[56,121],"node":[57,178],"link":[59,180],"failures.":[60,122,181],"To":[61],"address":[62],"issues,":[64],"we":[65],"propose":[66],"a":[67,74],"control":[68],"framework":[71,80,126,141,166],"based":[72],"on":[73,111],"multimodal":[75],"multitask":[76],"learning":[77,94],"model.":[78],"This":[79],"enables":[81],"simultaneous":[82],"multiple":[85],"policies":[86,172],"directly":[87],"from":[88],"network":[90,106,171],"files.":[92],"The":[93],"model":[95,117],"utilizes":[96],"modality":[97],"fusion":[98],"techniques":[99],"capture":[101],"both":[102],"topology-related":[103],"traffic-related":[105,170],"features.":[107],"It":[108],"is":[109,142],"trained":[110],"datasets":[112],"augmented":[113],"with":[114,127],"failure":[116],"enhance":[119],"We":[123],"compare":[124],"our":[125,140,165],"three":[128],"state-of-the-art":[129],"tools:":[131],"Minesweeper,":[132,147],"Hoyan,":[133,152],"Tiramisu.":[135],"Our":[136],"evaluation":[137],"shows":[138],"that":[139],"2600":[143],"times":[144,155],"faster":[145,156],"than":[146,157],"twice":[148],"fast":[150],"19":[154],"Tiramisu,":[158],"while":[159],"maintaining":[160],"100%":[161],"accuracy.":[163],"Furthermore,":[164],"excels":[167],"in":[168],"verifying":[169],"remains":[174],"even":[176],"under":[177]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}