anduo wang
anduo wang
Dirección de correo verificada de - Página principal
Citado por
Citado por
Declarative network verification
A Wang, P Basu, BT Loo, O Sokolsky
Practical Aspects of Declarative Languages: 11th International Symposium …, 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
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
Formally Verifiable Networking.
A Wang, L Jia, C Liu, BT Loo, O Sokolsky, P Basu
HotNets, 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
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
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
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
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
Towards example-guided network synthesis
H Chen, A Wang, BT Loo
Proceedings of the 2nd Asia-Pacific Workshop on Networking, 65-71, 2018
Partial specification of routing configurations
AJT Gurney, L Jia, BT Loo, A Wang
On the Feasibility of Automation for Bandwidth. Allocation Problems in Data Centers
Y Yuan, A Wang, R Alur, BT Loo
FMCAD, 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
An Operational Semantics for Network Datalog.
V Nigam, L Jia, A Wang, BT Loo, A Scedrov
LAM@ LICS, 68-81, 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
{Software-Defined} Networks as Databases
A Wang, W Zhou, B Godfrey, M Caesar
Open Networking Summit 2014 (ONS 2014), 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
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
Verifying java programs by theorem prover HOL
A Wang, H Fei, M Gu, X Song
30th Annual International Computer Software and Applications Conference …, 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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20