Seguir
anduo wang
anduo wang
Dirección de correo verificada de temple.edu - Página principal
Título
Citado por
Citado por
Año
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
532012
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
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
Towards example-guided network synthesis
H Chen, A Wang, BT Loo
Proceedings of the 2nd Asia-Pacific Workshop on Networking, 65-71, 2018
102018
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20