Xia Yin

计算机科学, 2019

基于增量最短路径优先的域内高效路由保护算法 (Efficient Intra-domain Routing Protection Algorithm Based on i-SPF).

[BibT_eX]

[DOI]

Haijun Geng

计算机科学, 2019

Joint optimization of tasks placement and routing to minimize Coflow Completion Time.

[BibT_eX]

[DOI]

J. Netw. Comput. Appl., 2019

Placement and Routing Optimization Problem for Service Function Chain: State of Art and Future Opportunities.

[BibT_eX]

[DOI]

CoRR, 2019

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges.

[BibT_eX]

[DOI]

IEEE Commun. Surv. Tutorials, 2019

Inter-domain routing bottlenecks and their aggravation.

[BibT_eX]

[DOI]

Comput. Networks, 2019

MSAID: Automated detection of interference in multiple SDN applications.

[BibT_eX]

[DOI]

Comput. Networks, 2019

SOTE: Traffic engineering in hybrid software defined networks.

[BibT_eX]

[DOI]

Comput. Networks, 2019

Traffic Matrix Prediction Based on Deep Learning for Dynamic Traffic Engineering.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Symposium on Computers and Communications, 2019

HashFlow for Better Flow Record Collection.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

2018

基于有向无环图的互联网域内节能路由算法 (Energy-efficient Intra-domain Routing Algorithm Based on Directed Acyclic Graph).

[BibT_eX]

[DOI]

计算机科学, 2018

PriMe: Per-Flow Network Measurement by Combining SRAM with DRAM.

[BibT_eX]

[DOI]

CoRR, 2018

HashFlow For Better Flow Record Collection.

[BibT_eX]

[DOI]

CoRR, 2018

A hop-by-hop dynamic distributed multipath routing mechanism for link state network.

[BibT_eX]

[DOI]

Comput. Commun., 2018

Efficient network configuration verification using optimized datalog.

[BibT_eX]

[DOI]

Proceedings of the IEEE INFOCOM 2018, 2018

Fast Detection of Heavy Hitters in Software Defined Networking Using an Adaptive and Learning Method.

[BibT_eX]

[DOI]

Proceedings of the Cloud Computing and Security - 4th International Conference, 2018

2017

基于逐跳方式的单链路故障保护算法 (Single-link Failure Protection Algorithm Based on Hop-by-Hop Routing).

[BibT_eX]

[DOI]

计算机科学, 2017

Algebra and algorithms for multipath QoS routing in link state networks.

[BibT_eX]

[DOI]

J. Commun. Networks, 2017

More load, more differentiation - Let more flows finish before deadline in data center networks.

[BibT_eX]

[DOI]

Comput. Networks, 2017

Traffic engineering in hybrid SDN networks with multiple traffic matrices.

[BibT_eX]

[DOI]

Comput. Networks, 2017

Testing Black-Box SDN Applications with Formal Behavior Models.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Modeling, 2017

CEFF: An efficient approach for traffic anomaly detection and classification.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium on Computers and Communications, 2017

Joint source selection and transfer optimization for erasure coding storage system.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE International Performance Computing and Communications Conference, 2017

Yosemite: Efficient scheduling of weighted coflows in data centers.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Network Protocols, 2017

MSAID: Automated interference detection for multiple SDN applications.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Network Protocols, 2017

Joint Optimization of Task Placement and Routing in Minimizing Inter-DC Coflow Completion Time.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

Optimize Routing in Hybrid SDN Network with Changing Traffic.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

2016

The Power of Prefix Hijackings in the Internet Hierarchy.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

FDRC - Flow duration time based rate control in data center networks.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE/ACM International Symposium on Quality of Service, 2016

2015

Modeling and Testing of Network Protocols with Parallel State Machines.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2015

DIMR: Disjoint Interdomain Multipath Routing.

[BibT_eX]

[DOI]

Comput. Networks, 2015

TADOOP: Mining Network Traffic Anomalies with Hadoop.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy in Communication Networks, 2015

Mining network traffic anomaly based on adjustable piecewise entropy.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Quality of Service, 2015

Algebra and algorithms for efficient and correct multipath QoS routing in link state networks.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Quality of Service, 2015

Measuring the internet routing scalability from the perspective of address allocation.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Performance Computing and Communications Conference, 2015

Incremental deployment for traffic engineering in hybrid SDN network.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Performance Computing and Communications Conference, 2015

More load, more differentiation - A design principle for deadline-aware congestion control.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

Adjustable Piecewise Entropy for network traffic anomaly detection.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Conference on Computer Communications Workshops, 2015

An efficient link protection scheme for link-state routing networks.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Communications, 2015

2014

Test oriented formal model of SDN applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE 33rd International Performance Computing and Communications Conference, 2014

A hybrid link protection scheme for link-state routing networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 33rd International Performance Computing and Communications Conference, 2014

Let more nodes have a second choice.

[BibT_eX]

[DOI]

Proceedings of the IEEE 33rd International Performance Computing and Communications Conference, 2014

Formal Modeling and Systematic Black-Box Testing of SDN Data Plane.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Network Protocols, 2014

Traffic Engineering in SDN/OSPF Hybrid Network.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Network Protocols, 2014

HSR: Using hybrid source routing to achieve scalable Internet routing.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Computer Communication and Networks, 2014

Model Based Black-Box Testing of SDN Applications.

[BibT_eX]

[DOI]

Proceedings of the 2014 CoNEXT on Student Workshop, 2014

2013

Managements of Generalized Congestions.

[BibT_eX]

[DOI]

IEEE Trans. Smart Grid, 2013

Study on Soft Groups.

[BibT_eX]

[DOI]

Zuhua Liao

J. Comput., 2013

Sign what you really care about - Secure BGP AS-paths efficiently.

[BibT_eX]

[DOI]

Comput. Networks, 2013

Performance evaluation of software-defined networking with real-life ISP traffic.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Computers and Communications, 2013

MLSA: A link-state multipath routing algorithm.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Computers and Communications, 2013

Removing content consumers from mapping system.

[BibT_eX]

[DOI]

Proceedings of the 2013 21st IEEE International Conference on Network Protocols, 2013

Dynamic distributed algorithm for computing multiple next-hops on a tree.

[BibT_eX]

[DOI]

Proceedings of the 2013 21st IEEE International Conference on Network Protocols, 2013

Reachability Graph Based Hierarchical Test Generation for Network Protocols Modeled as Parallel Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Computer Communication and Networks, 2013

DIMR: Disjoint Interdomain Multipath Routing.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing, 2013

2012

Detecting prefix hijackings in the internet with argus.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGCOMM Internet Measurement Conference, 2012

Least frequency-delay-product caching replacement for distributed mapping systems in the core-edge network separation architecture.

[BibT_eX]

[DOI]

Proceedings of the 2nd Baltic Congress on Future Internet Communications, 2012

2011

A formal approach to robustness testing of network protocol with time constraints.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2011

Modeling Predicate Abstraction of Timed Automata in PVS.

[BibT_eX]

[DOI]

Qingguo Xu

Kunliang Han

Proceedings of the 2011 IEEE International Conference on Internet of Things (iThings) & 4th IEEE International Conference on Cyber, 2011

Protocol Security Testing with SPIN and TTCN-3.

[BibT_eX]

[DOI]

Li Zhou

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Argus: An accurate and agile system to detecting IP prefix hijacking.

[BibT_eX]

[DOI]

Proceedings of the 19th annual IEEE International Conference on Network Protocols, 2011

Internet Flattening: Monitoring and Analysis of Inter-Domain Routing.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2011

Testing of a source address validation protocol with parallel parameterized extended finite state machines.

[BibT_eX]

[DOI]

Proceedings of the AINTEC '11, Asian Internet Engineering Conference, Bangkok, Thailand, November 09, 2011

2010

Can Longest Prefix Matching Make The Path Length Shorter?

[BibT_eX]

[DOI]

J. Digit. Content Technol. its Appl., 2010

Real Aggregation for Reducing Routing Information Base Size.

[BibT_eX]

[DOI]

J. Convergence Inf. Technol., 2010

A neutral layered mapping system with two-stage cache for a scalable Internet.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Network and Service Management, 2010

2009

TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communication Systems, 2009

A three-step dynamic threshold method to cluster BGP updates into routing events.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2009), 2009

Measuring IP Address Fragmentation from BGP Routing Dynamics.

[BibT_eX]

[DOI]

Xin Wu

Proceedings of the Scalable Information Systems, 4th International ICST Conference, 2009

The internet measurement of VoIP on different transport layer rotocols.

[BibT_eX]

[DOI]

Proceedings of the 2009 International Conference on Information Networking, 2009

SIP Robustness Testing Based on TTCN-3.

[BibT_eX]

[DOI]

Yang Xiang

Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008

A TTCN-3-based protocol testing system and its extension.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2008

A formal method to real-time protocol interoperability testing.

[BibT_eX]

[DOI]

Chuanming Jing

Sci. China Ser. F Inf. Sci., 2008

A Formal Approach to Robustness Testing of Network Protocol.

[BibT_eX]

[DOI]

Proceedings of the Network and Parallel Computing, IFIP International Conference, 2008

Performance testing of Mobile IPv6 protocol.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Mutation Testing of Protocol Messages Based on Extended TTCN-3.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007

A Synthetic Streaming Quality Measurement System on IP Networks.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Networks, 2007

2006

Network protocol system monitoring: a formal approach with passive testing.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2006

Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 2006

Experience of Conformance Testing on IPv6 Protocols.

[BibT_eX]

[DOI]

Yan Liu

Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC 2006), 2006

2004

Distributed Testing of Multi Input/Output Transition System.

[BibT_eX]

[DOI]

Zhongjie Li

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Testing Multi Input/Output Transition System with All-Observer.

[BibT_eX]

[DOI]

Zhongjie Li

Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

Towards interoperability test generation of time dependent protocols: a case study.

[BibT_eX]

[DOI]

Proceedings of the Global Telecommunications Conference, 2004. GLOBECOM '04, Dallas, Texas, USA, 29 November, 2004

2003

Problems in the Information Dissemination of the Internet Routing.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2003

Towards Modeling and Testing of IP Routing Protocols.

[BibT_eX]

[DOI]

Zhongjie Li

Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

2002

From Active to Passive - Progress in Testing Internet Routing Protocols.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2002

A Formal Approach for Passive Testing of Protocol Data Portions.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Network Protocols (ICNP 2002), 2002

2001

On-Line Test System Applied in Routing Protocol Test.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Modeling, 2001

OnLine Test System, an application of passive testing in routing protocols test.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 9th IEEE International Conference on Networks, 2001

Generating fully executable test suite automatically.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2001

IntegTTCN, a TTCN language extension for protocol integrated testing.

[BibT_eX]

[DOI]