Page
%P
-
Article
Avulsion fractures of the knee: a review of the pathophysiology, radiographic, and cross-sectional imaging features
Knee trauma is a common presenting symptom in the emergency setting. Avulsive knee injuries are important to diagnose timely and accurately to avoid unnecessary patient morbidity. Many of these avulsive knee i...
-
Chapter and Conference Paper
Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement
We show how to verify that large data center networks satisfy key properties such as all-pairs reachability under a bounded number of faults. To scale the analysis, we develop algorithms that identify network ...
