Gember-Jacobson, Aaron

Colgate University

1 paper on CoChatORCID 0000-0003-3771-7876

Most cited papers

Verified
Integrating verification and repair into the control plane
Gember-Jacobson, A., Raiciu, C., & Vanbever, L. (2017) · Proceedings of the 16th ACM Workshop on Hot Topics in Networks
Software-Defined Networks and 5GFormal Methods in Verification
Cited by 7

Go further with a free account

Verify every reference, keep papers in a library, and ask questions across them.

Sign up - it is free