default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFMANO@SIGCOMM 2025: Coimbra, Portugal
- Proceedings of the 2nd Workshop on Formal Methods Aided Network Operation, FMANO 2025, Coimbra, Portugal, September 8-11, 2025. ACM 2025, ISBN 979-8-4007-2103-8
- Shangsen Li
, Lailong Luo, Changhao Qiu, Bangbang Ren, Deke Guo:
A Forwarding-Path-Aware Sampling Strategy for Config2Spec. 1-6 - Lorenzo Theunissen, Sebastijan Dumancic, Fernando Kuipers:
LTL-based Specifications for P4 Program Synthesis. 7-12 - Chuntao Lan, Lin Yao, Guowei Wu, Ziyuan Tian:
Protocol Vulnerability Detection Method Based on Fuzzing in Low Earth Orbit Satellite Network. 13-18 - Rundi Zhai, Jianmin Liu, Yukai Miao, Li Chen, Dan Li, Baojiang Cui, Peng Zhang, Ennan Zhai, Zishuo Ding:
ConfSum: Towards Automatic Summarization of Network-scale Operational Intents from Device Configurations. 19-24 - Kaiqiang Hu, Haizhou Du, Ziyi Wang:
DNScope: Detecting DNS Misconfigurations through Graph Neural Static Reasoning. 25-30 - Rulin Zhang, Hui Dong, Ju Zhang, Hua Li:
Modeling and Evaluation of Elastic SFC Based on HCPN. 31-36 - Zibin Chen, Lixin Gao, Ying Zhang:
SafeMigration: Safe Large-scale Migration Planning via Symbolic Execution. 37-42 - Ryusei Shiiba, Satoru Kobayashi, Osamu Akashi, Kensuke Fukuda:
Refining Specifications for Configuration Repair with Side Effect Diagnosis. 43-48 - Keyu Yuan, Baber Rehman:
Formal Specifications for Data Plane Programs. 49-51 - Peng Peng, Xun Sun, Zhengtao Shen, Feiyang Ding, Jiawei Chen, Lizhao You, Weirong Jiang, Yongping Tang, Feng Luo:
Poster: High-Performance Centralized Parallel Data-Plane Verification for Hyper-Scale DCNs. 52-54 - Haoxian Chen:
Incremental Network Configuration Verification via Localized Subspecification. 55-57 - Mengrui Zhang, Xiaoqiang Zheng, Lizhao You, Ziyang Yao, Yang Wang, Rui Wen, Zhi Zhang, Ronghua Sun, Yuanhui Zhong, Haihua Li, Fei Yuan, Yuanxun Kang, Qiao Xiang:
Scalable BGP Simulation of Hyper-Scale Data Center Networks. 58-60
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-15 23:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
