Anduo Wang

Anduo Wang

Temple University - Philadelphia / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1673676
person_outline Anduo Wang's MOST POPULAR ARTICLES
1-) Declarative network verificationA Wang, P Basu, BT Loo, O SokolskyInternational Symposium on Practical Aspects of Declarative Languages, 61-75, 2009742009
2-) Ravel: A database-defined networkA Wang, X Mei, J Croft, M Caesar, B GodfreyProceedings of the Symposium on SDN Research, 1-7, 2016552016
3-) FSR: Formal analysis and implementation toolkit for safe interdomain routingA Wang, L Jia, W Zhou, Y Ren, BT Loo, J Rexford, V Nigam, A Scedrov, ...IEEE/ACM Transactions on Networking 20 (6), 1814-1827, 2012542012
4-) Formally Verifiable Networking.A Wang, L Jia, C Liu, BT Loo, O Sokolsky, P BasuHotNets, 2009322009
5-) FSR: Formal analysis and implementation toolkit for safe inter-domain routingY Ren, W Zhou, A Wang, L Jia, AJT Gurney, BT Loo, J RexfordACM SIGCOMM Computer Communication Review 41 (4), 440-441, 2011222011