Follow
anduo wang
Title
Cited by
Cited by
Year
Declarative network verification
A Wang, P Basu, BT Loo, O Sokolsky
Practical Aspects of Declarative Languages: 11th International Symposium …, 2009
782009
Ravel: A database-defined network
A Wang, X Mei, J Croft, M Caesar, B Godfrey
Proceedings of the Symposium on SDN Research, 1-7, 2016
582016
FSR: Formal analysis and implementation toolkit for safe interdomain routing
A Wang, L Jia, W Zhou, Y Ren, BT Loo, J Rexford, V Nigam, A Scedrov, ...
IEEE/ACM Transactions on Networking 20 (6), 1814-1827, 2012
542012
Formally Verifiable Networking.
A Wang, L Jia, C Liu, BT Loo, O Sokolsky, P Basu
HotNets, 2009
322009
FSR: Formal analysis and implementation toolkit for safe inter-domain routing
Y Ren, W Zhou, A Wang, L Jia, AJT Gurney, BT Loo, J Rexford
ACM SIGCOMM Computer Communication Review 41 (4), 440-441, 2011
222011
Analyzing bgp instances in maude
A Wang, C Talcott, L Jia, BT Loo, A Scedrov
International Conference on Formal Methods for Open Object-Based Distributed …, 2011
222011
Reduction-based formal analysis of bgp instances
A Wang, C Talcott, AJT Gurney, BT Loo, A Scedrov
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
202012
Automated synthesis of reactive controllers for software-defined networks
A Wang, S Moarref, BT Loo, U Topcu, A Scedrov
2013 21st IEEE International Conference on Network Protocols (ICNP), 1-6, 2013
142013
Towards example-guided network synthesis
H Chen, A Wang, BT Loo
Proceedings of the 2nd Asia-Pacific Workshop on Networking, 65-71, 2018
112018
A reduction-based approach towards scaling up formal analysis of internet configurations
A Wang, AJT Gurney, X Han, J Cao, BT Loo, C Talcott, A Scedrov
IEEE INFOCOM 2014-IEEE Conference on Computer Communications, 637-645, 2014
112014
Partial specification of routing configurations
AJT Gurney, L Jia, BT Loo, A Wang
102011
On the Feasibility of Automation for Bandwidth. Allocation Problems in Data Centers
Y Yuan, A Wang, R Alur, BT Loo
FMCAD, 2013
82013
Towards energy-aware DASH for mobile video
M Hosseini, A Wang, R Etesami
Proceedings of the 7th ACM International Workshop on Mobile Video, 7-8, 2015
72015
An Operational Semantics for Network Datalog.
V Nigam, L Jia, A Wang, BT Loo, A Scedrov
LAM@ LICS, 68-81, 2010
72010
Enabling policy innovation in interdomain routing: A software-defined approach
A Wang, Z Chen, T Yang, M Yu
Proceedings of the 2019 ACM Symposium on SDN Research, 62-68, 2019
62019
{Software-Defined} Networks as Databases
A Wang, W Zhou, B Godfrey, M Caesar
Open Networking Summit 2014 (ONS 2014), 2014
62014
Recent advances in declarative networking
BT Loo, H Gill, C Liu, Y Mao, WR Marczak, M Sherr, A Wang, W Zhou
Practical Aspects of Declarative Languages: 14th International Symposium …, 2012
62012
A theorem proving approach towards declarative networking
A Wang, BT Loo, C Liu, O Sokolsky, P Basu
22nd International Conference on Theorem Proving in Higher Order Logics …, 2009
62009
Verifying java programs by theorem prover HOL
A Wang, H Fei, M Gu, X Song
30th Annual International Computer Software and Applications Conference …, 2006
52006
Brief announcement: A calculus of policy-based routing systems
A Wang, C Talcott, A Gurney, BT Loo, A Scedrov
Proceedings of the 2012 ACM symposium on Principles of distributed computing …, 2012
42012
The system can't perform the operation now. Try again later.
Articles 1–20