Author of the publication

Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement.

, , , and . CAV (2), volume 11562 of Lecture Notes in Computer Science, page 305-323. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Mahajan, Ratul
add a person with the name Mahajan, Ratul
 

Other publications of authors with the same name

Can You Fool Me? Towards Automatically Checking Protocol Gullibility., , , and . HotNets, page 31-36. ACM SIGCOMM, (2008)Uncovering Performance Differences Among Backbone ISPs with Netdiff ., , , and . NSDI, page 205-218. USENIX Association, (2008)A General Approach to Network Configuration Analysis., , , , , , and . NSDI, page 469-483. USENIX Association, (2015)NetClinic: Interactive visualization to enhance automated fault diagnosis in enterprise networks., , , and . IEEE VAST, page 131-138. IEEE Computer Society, (2010)ProjecToR: Agile Reconfigurable Data Center Interconnect., , , , , , , , , and . SIGCOMM, page 216-229. ACM, (2016)How to build a research system in your spare time.. Computer Communication Review, 40 (2): 60-65 (2010)Automatically Repairing Network Control Planes Using an Abstract Representation., , , and . SOSP, page 359-373. ACM, (2017)Diversity in smartphone usage., , , , , and . MobiSys, page 179-194. ACM, (2010)Augmenting mobile 3G using WiFi., , and . MobiSys, page 209-222. ACM, (2010)Lab of things: a platform for conducting studies with connected devices in multiple homes., , , , , , , , , and 1 other author(s). UbiComp (Adjunct Publication), page 35-38. ACM, (2013)