Catherine Dodge

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 2

Top Topics

Community Structure

Automated Reasoning

Top Venues

Publications

John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley
Reachability Analysis for AWS-Based Networks. CAV (2) (2019)
John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Oksana Tkachuk, Carsten Varming
Semantic-based Automated Reasoning for AWS Access Policies using SMT. FMCAD (2018)
Catherine Dodge, Cynthia E. Irvine, Thuy D. Nguyen
A study of initialization in Linux and OpenBSD. ACM SIGOPS Oper. Syst. Rev. 39 (2) (2005)