{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T15:44:40Z","timestamp":1782834280707,"version":"3.54.5"},"reference-count":66,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2020YFB1807803"],"award-info":[{"award-number":["2020YFB1807803"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Key Research & Development Plan of Jiangsu Province","award":["BE2020084-2"],"award-info":[{"award-number":["BE2020084-2"]}]},{"name":"Nanjing 5G Network Optimization Innovation Alliance"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Netw. Serv. Manage."],"published-print":{"date-parts":[[2024,12]]},"DOI":"10.1109\/tnsm.2024.3442298","type":"journal-article","created":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T17:32:16Z","timestamp":1723483936000},"page":"6684-6702","source":"Crossref","is-referenced-by-count":2,"title":["Multimodal Multitask Control Plane Verification Framework"],"prefix":"10.1109","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-3581-7639","authenticated-orcid":false,"given":"Yuqi","family":"Dai","sequence":"first","affiliation":[{"name":"National Mobile Communications Research Laboratory, Southeast University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0734-1329","authenticated-orcid":false,"given":"Hua","family":"Zhang","sequence":"additional","affiliation":[{"name":"National Mobile Communications Research Laboratory, Southeast University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2182-2228","authenticated-orcid":false,"given":"Jingyu","family":"Wang","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1486-0573","authenticated-orcid":false,"given":"Jianxin","family":"Liao","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","first-page":"469","article-title":"A general approach to network configuration analysis","volume-title":"Proc. 12th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Fogel"},{"key":"ref2","volume-title":"Network design automation\u2014Treating networks like programs and chips","author":"Castafiore","year":"2015"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2014.012214.00180"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2371999"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2015.2421391"},{"key":"ref6","first-page":"99","article-title":"Real time network policy checking using header space analysis","volume-title":"Proc. 10th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Kazemian"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544246"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3493425.3502755"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3341561.3349591"},{"key":"ref11","first-page":"735","article-title":"Delta-Net: Real-time network verification using atoms","volume-title":"Proc. 14th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Horn"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3591222"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3406217"},{"key":"ref15","first-page":"201","article-title":"Tiramisu: Fast multilayer network verification","volume-title":"Proc. 17th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Abhashkumar"},{"key":"ref16","first-page":"689","article-title":"Multimodal deep learning","volume-title":"Proc. 28th Int. Conf. Mach. Learn. (ICML)","author":"Ngiam"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV48922.2021.00147"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2022.3211086"},{"key":"ref19","article-title":"OmniNet: A unified architecture for multi-modal multi-task learning","author":"Pramanik","year":"2019","journal-title":"arXiv:1907.07804"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.3390\/pr11010190"},{"key":"ref21","article-title":"Noisy machines: Understanding noisy neural networks and enhancing robustness to analog hardware errors using distillation","author":"Zhou","year":"2020","journal-title":"arXiv:2001.04974"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1186\/s40649-019-0069-y"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-11245-5_18"},{"key":"ref24","first-page":"217","article-title":"Efficient network reachability analysis using a succinct control plane representation","volume-title":"Proc. 12th USENIX Symp. Oper. Syst. Design Implement. (OSDI)","author":"Fayaz"},{"key":"ref25","first-page":"953","article-title":"Plankton: Scalable network configuration verification through model checking","volume-title":"Proc. 17th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"Prabhu"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984012"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3405671.3405816"},{"key":"ref28","first-page":"730","article-title":"Learning to configure computer networks with neural algorithmic reasoning","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"35","author":"Beurer-Kellner"},{"key":"ref29","article-title":"Machine learning for access control policy verification","author":"Hu","year":"8360"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230583"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2914770.2837657"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2017.2738401"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2023.109652"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2021.102985"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2023.3246794"},{"key":"ref36","volume-title":"Cisco Cookbook","author":"Dooley","year":"2003"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.17487\/rfc1812"},{"key":"ref38","volume-title":"Interface configuration files.","author":"Hat","year":"2023"},{"key":"ref39","volume-title":"What is network policy? benefits of network policy?","author":"McCauley","year":"2022"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.08.038"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2951598"},{"key":"ref42","first-page":"12","volume-title":"Graph Theory: Graduate Texts in Mathematics","volume":"173","author":"Diestel","year":"2005"},{"issue":"2","key":"ref43","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1140\/epjb\/e2004-00111-4","article-title":"Betweenness centrality in large complex networks","volume":"38","author":"Barthelemy","year":"2004","journal-title":"Eur. Phys. J. B"},{"key":"ref44","first-page":"969","article-title":"Config2Spec: Mining network specifications from network configurations","volume-title":"Proc. NSDI","author":"Birkner"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/367390.367400"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"issue":"7","key":"ref47","first-page":"523","article-title":"One-hot encoding and convolutional neural network based anomaly detection","volume":"59","author":"Jie","year":"2019","journal-title":"J. Tsinghua Univ. Sci. Technol."},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1609.02907"},{"key":"ref49","article-title":"Deep learning using rectified linear units (ReLu)","author":"Agarap","year":"2018","journal-title":"arXiv:1803.08375"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1090\/proc\/14789"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/IV51971.2022.9827426"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.eacl-main.275"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/s00530-010-0182-0"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59497-3_175"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-36616-1_6"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/CIBCB48159.2020.9277638"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.17977\/um018v2i12019p41-46"},{"key":"ref58","volume-title":"Deep Learning","author":"Goodfellow","year":"2023"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25543-5_18"},{"key":"ref60","article-title":"Towards better input masking for convolutional neural networks","author":"Balasubramanian","year":"2022","journal-title":"arXiv:2211.14646"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2011.111002"},{"key":"ref62","article-title":"Grid search, random search, genetic algorithm: A big comparison for NAS","author":"Liashchynskyi","year":"2019","journal-title":"arXiv:1912.06059"},{"key":"ref63","first-page":"579","article-title":"Netcomplete: Practical network-wide configuration synthesis with autocompletion","volume-title":"Proc. 15th USENIX Symp. Netw. Syst. Design Implement. (NSDI)","author":"El-Hassany"},{"key":"ref64","article-title":"Best practices in traffic incident management","author":"Carson","year":"2010"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2003.1203470"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1002\/2014wr016527"}],"container-title":["IEEE Transactions on Network and Service Management"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/4275028\/10807691\/10634210.pdf?arnumber=10634210","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,20]],"date-time":"2024-12-20T06:15:03Z","timestamp":1734675303000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10634210\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12]]},"references-count":66,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tnsm.2024.3442298","relation":{},"ISSN":["1932-4537","2373-7379"],"issn-type":[{"value":"1932-4537","type":"electronic"},{"value":"2373-7379","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12]]}}}