Concepedia

Anduo Wang

AW

Statistics

Publications

6

Citations

139

H-Index

6

Active since

2009

Affiliations

University of Pennsylvania(Current)

SRI International

Princeton University

Carnegie Mellon University

Anduo Wang is an author at University of Pennsylvania specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationComputer EngineeringRoutingNetwork AnalysisVerificationEdge Computing

Publications per year

2009–2016

6

Publications

6

Ravel

Anduo Wang, Xueyuan Mei, Jason Croft et al. · 2016 · 41 citations

Engineering, Insertion Point, Diverse Abstractions +12

FSR: Formal Analysis and Implementation Toolkit for Safe Interdomain Routing

Anduo Wang, Limin Jia, Wenchao Zhou et al. · IEEE/ACM Transactions on Networking · 2012 · 40 citations

Engineering, Information Security, Network Routing +21

Formally Verifiable Networking.

Anduo Wang, Limin Jia, Changbin Liu et al. · ScholarlyCommons (University of Pennsylvania) · 2009 · 20 citations · Full text

Yiqing Ren, Wenchao Zhou, Anduo Wang et al. · 2011 · 16 citations · Full text

Mathematical Programming, Engineering, Verification +16

A reduction-based approach towards scaling up formal analysis of internet configurations

Anduo Wang, Alexander J. T. Gurney, Xianglong Han et al. · 2014 · 11 citations · Full text

Cluster Computing, Internet Traffic Analysis, Engineering +25

1–5 of 6