Declarative network verification A Wang, P Basu, BT Loo, O Sokolsky Practical Aspects of Declarative Languages: 11th International Symposium …, 2009 | 78 | 2009 |
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 | 58 | 2016 |
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 | 54 | 2012 |
Formally Verifiable Networking. A Wang, L Jia, C Liu, BT Loo, O Sokolsky, P Basu HotNets, 2009 | 32 | 2009 |
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 | 22 | 2011 |
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 | 22 | 2011 |
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 | 20 | 2012 |
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 | 14 | 2013 |
Towards example-guided network synthesis H Chen, A Wang, BT Loo Proceedings of the 2nd Asia-Pacific Workshop on Networking, 65-71, 2018 | 11 | 2018 |
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 | 11 | 2014 |
Partial specification of routing configurations AJT Gurney, L Jia, BT Loo, A Wang | 10 | 2011 |
On the Feasibility of Automation for Bandwidth. Allocation Problems in Data Centers Y Yuan, A Wang, R Alur, BT Loo FMCAD, 2013 | 8 | 2013 |
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 | 7 | 2015 |
An Operational Semantics for Network Datalog. V Nigam, L Jia, A Wang, BT Loo, A Scedrov LAM@ LICS, 68-81, 2010 | 7 | 2010 |
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 | 6 | 2019 |
{Software-Defined} Networks as Databases A Wang, W Zhou, B Godfrey, M Caesar Open Networking Summit 2014 (ONS 2014), 2014 | 6 | 2014 |
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 | 6 | 2012 |
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 | 6 | 2009 |
Verifying java programs by theorem prover HOL A Wang, H Fei, M Gu, X Song 30th Annual International Computer Software and Applications Conference …, 2006 | 5 | 2006 |
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 | 4 | 2012 |