The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jiangyuan Yao" ( http://dblp.L3S.de/Authors/Jiangyuan_Yao )

  Author page on DBLP  Author page in RDF  Community of Jiangyuan Yao in ASPL-2

Publication years (Num. hits)
2011-2019 (16)
Publication types (Num. hits)
article(3) inproceedings(13)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 17 publication records. Showing 16 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Yahui Li, Xia Yin, Zhiliang Wang, Jiangyuan Yao, Xingang Shi, Jianping Wu, Han Zhang, Qing Wang A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges. Search on Bibsonomy IEEE Communications Surveys and Tutorials The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yahui Li, Zhiliang Wang, Jiangyuan Yao, Xia Yin, Xingang Shi, Jianping Wu, Han Zhang MSAID: Automated detection of interference in multiple SDN applications. Search on Bibsonomy Computer Networks The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yahui Li, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Jiangyuan Yao, Yingya Guo Efficient network configuration verification using optimized datalog. Search on Bibsonomy INFOCOM Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shiqin Liu, Minjun Zhao, Jixin Ma, Jiangyuan Yao, Yucong Duan, Xiaoyi Zhou A Novel Watermarking Technology Based on Posterior Probability SVM and Improved GA. Search on Bibsonomy ICCCS (4) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Minjun Zhao, Shiqin Liu, Chunjie Cao, Jiangyuan Yao, Xiaoyi Zhou A Secure Blind Watermarking Scheme Based on Dual Frequency Domains and Ergodic Matrix. Search on Bibsonomy ICCCS (4) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhiliang Wang, Changping Zhou, Yang Yu, Xingang Shi, Xia Yin, Jiangyuan Yao Fast Detection of Heavy Hitters in Software Defined Networking Using an Adaptive and Learning Method. Search on Bibsonomy ICCCS (3) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Yahui Li, Chongrong Li Testing Black-Box SDN Applications with Formal Behavior Models. Search on Bibsonomy MASCOTS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yahui Li, Zhiliang Wang, Jiangyuan Yao, Xia Yin, Xingang Shi, Jianping Wu MSAID: Automated interference detection for multiple SDN applications. Search on Bibsonomy ICNP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xia Yin, Jiangyuan Yao, Zhiliang Wang, Xingang Shi, Jun Bi, Jianping Wu Modeling and Testing of Network Protocols with Parallel State Machines. Search on Bibsonomy IEICE Transactions The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Haijun Geng, Xingang Shi, Xia Yin, Zhiliang Wang, Han Zhang, Jiangyuan Yao Let more nodes have a second choice. Search on Bibsonomy IPCCC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Yahui Li Test oriented formal model of SDN applications. Search on Bibsonomy IPCCC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Haijun Geng, Xingang Shi, Xia Yin, Zhiliang Wang, Han Zhang, Jiangyuan Yao A hybrid link protection scheme for link-state routing networks. Search on Bibsonomy IPCCC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu Formal Modeling and Systematic Black-Box Testing of SDN Data Plane. Search on Bibsonomy ICNP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Yahui Li Model Based Black-Box Testing of SDN Applications. Search on Bibsonomy CoNEXT Student Workshop The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu Reachability Graph Based Hierarchical Test Generation for Network Protocols Modeled as Parallel Finite State Machines. Search on Bibsonomy ICCCN The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jiangyuan Yao, Zhiliang Wang, Xia Yin, Jianping Wu Testing of a source address validation protocol with parallel parameterized extended finite state machines. Search on Bibsonomy AINTEC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license