{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T19:52:58Z","timestamp":1769802778810,"version":"3.49.0"},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T00:00:00Z","timestamp":1762732800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T00:00:00Z","timestamp":1762732800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,11,10]]},"DOI":"10.1109\/nfv-sdn66355.2025.11349405","type":"proceedings-article","created":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T21:18:47Z","timestamp":1769721527000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["Integrating Network State Verification with Knowledge Graph based Digital Twin for SDN"],"prefix":"10.1109","author":[{"given":"Dnyaneshwar","family":"Shinde","sequence":"first","affiliation":[{"name":"Indian Institute of Technology,Dept. of Computer Science and Engineering,Hyderabad,Telangana,India"}]},{"given":"Sai Sravan","family":"V","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology,Dept. of Computer Science and Engineering,Hyderabad,Telangana,India"}]},{"given":"Krishna","family":"Teja","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology,Dept. of Computer Science and Engineering,Hyderabad,Telangana,India"}]},{"given":"Deepu Raj","family":"R","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology,Dept. of Computer Science and Engineering,Hyderabad,Telangana,India"}]},{"given":"Kotaro","family":"Kataoka","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology,Dept. of Computer Science and Engineering,Hyderabad,Telangana,India"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref2","first-page":"953","article-title":"Plankton: Scalable network configuration verification through model checking","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Prabhu"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"ref4","first-page":"201","article-title":"Tiramisu: Fast Multilayer Network Verification","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Abhashkumar"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594317"},{"key":"ref6","first-page":"735","article-title":"Delta-net: Real-time Network Verification Using Atoms","volume-title":"14th USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Horn"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2377677.2377766"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3288813"},{"key":"ref9","volume-title":"Cypher query language \u2014 introduction","year":"2024"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.105.2100616"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2024.3456124"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132759"},{"key":"ref14","article-title":"Abilene Network"},{"key":"ref15","article-title":"Geant Network"}],"event":{"name":"2025 IEEE Conference on Network Function Virtualization and Software-Defined Networking (NFV-SDN)","location":"Athens, Greece","start":{"date-parts":[[2025,11,10]]},"end":{"date-parts":[[2025,11,12]]}},"container-title":["2025 IEEE Conference on Network Function Virtualization and Software-Defined Networking (NFV-SDN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11349354\/11349357\/11349405.pdf?arnumber=11349405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T07:45:40Z","timestamp":1769759140000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11349405\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,10]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/nfv-sdn66355.2025.11349405","relation":{},"subject":[],"published":{"date-parts":[[2025,11,10]]}}}