Modular Model-Checking of a Byzantine Fault-Tolerant Protocol. - Benjamin F. Jones 002; Lee Pike (NFM, 2017)

Language for Unified Verification and Implementation for Distributed Avionics. - Benjamin F. Jones 002; Lee Pike; Srivatsan Varadarajan; Brendan Hall (J. Aerosp. Inf. Syst., 2018)

Debugging Network Reachability with Blocked Paths. - Sam Bayless; John D. Backes; Dan DaCosta; Benjamin F. Jones 002; Nate Launchbury; Patrick Trentin; Kelsey Jewell; Sagar Joshi; Michael Q. Zeng; Nandita Mathews (CAV (2), 2021)