Travelled to:1 × Estonia
2 × USA
Collaborated with:B.T.Loo P.Basu O.Sokolsky C.L.Talcott A.J.T.Gurney A.Scedrov H.Gill C.Liu Y.Mao W.R.Marczak M.Sherr W.Zhou
Talks about:network (2) declar (2) instanc (1) analysi (1) reduct (1) recent (1) formal (1) advanc (1) verif (1) base (1)
Person: Anduo Wang
DBLP: Wang:Anduo
Contributed to:
2012
20122009Wrote 3 papers:
- PADL-2012-LooGLMMSWZ #declarative #network
- Recent Advances in Declarative Networking (BTL, HG, CL, YM, WRM, MS, AW, WZ), pp. 1–16.
- TACAS-2012-WangTGLS #analysis #formal method
- Reduction-Based Formal Analysis of BGP Instances (AW, CLT, AJTG, BTL, AS), pp. 283–298.
- PADL-2009-WangBLS #declarative #network #verification
- Declarative Network Verification (AW, PB, BTL, OS), pp. 61–75.