Doug Woos
John Brown University(US)University of Washington(US)
Publications by Year
Research Areas
Distributed systems and fault tolerance, Formal Methods in Verification, Parallel Computing and Optimization Techniques, Software-Defined Networks and 5G, Software Testing and Debugging Techniques
Most-Cited Works
- → Verdi: a framework for implementing and formally verifying distributed systems(2015)260 cited
- → Planning for change in a formal verification of the raft consensus protocol(2016)125 cited
- → Arrakis(2015)104 cited
- → Scalable verification of border gateway protocol configurations with an SMT solver(2016)56 cited
- → Modularity for decidability of deductive verification with applications to distributed systems(2018)49 cited
- → One tunnel is (often) enough(2014)44 cited
- Towards high-performance application-level storage management(2014)