Anduo Wang
- Email
- anduo@cis.upenn.edu
- Address
- 614 Levine Hall, 3330 Walnut Street, Philadelphia, PA 19104-6389
Documents
CV: PDF
Research statement: PDF
Teaching statement: PDF
Selected Publications
- Reduction-based Formal Analysis of BGP Instances PDF Technical report
- Anduo Wang,
Carolyn Talcott, Alexander J.T. Gurney, Boon Thau Loo and Andre
Scedrov, IFIP 18th International Conference on Tools and Algorithms
for the Construction and Analysis of Systems (TACAS), 2012
- Analyzing BGP Instances in Maude PDF
- Anduo Wang, Carolyn Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov, IFIP International Conference on Formal Techniques for Distributed Systems joint international conference 13th Formal Methods for Open Object-Based Distributed Systems 31nd Formal Techniques for Networked and Distributed Systems (FMOODS & FORTE), 2011
- FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing PDF
- Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, IEEE/ACM Transactions on Networking (ToN), 2012
- Formally Verifiable Networking PDF
- Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, and Prithwish Basu, 8th Workshop on Hot Topics in Networks (ACM SIGCOMM HotNets-VIII), New York, 2009
- Declarative Network Verification PDF
- Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky, International Symposium on Practical Aspects of Declarative Languages (PADL), 2009