| 2025 | FMICS | Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification. | Stefan Hallerstede, Robby, John Hatcliff, Jason Belt, David S. Hardin |
| 2025 | FMICS | End-to-End Formal Methods Integrated Development with SysMLv2 Using HAMR. | John Hatcliff, Jason Belt, Robby, Clint McKenzie, Catalina Liang |
| 2024 | FMICS | Logika: The Sireum Verification Framework. | Robby, John Hatcliff, Jason Belt |
| 2023 | FMICS | Automated Property-Based Testing from AADL Component Contracts. | John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter |
| 2021 | ISoLA | HAMR: An AADL Multi-platform Code Generation Toolset. | John Hatcliff, Jason Belt, Robby, Todd Carpenter |
| 2018 | ISoLA | A Unified Approach for Modeling, Developing, and Assuring Critical Systems. | John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang |
| 2018 | ISoLA | Model-Based Development for High-Assurance Embedded Systems. | Robby, John Hatcliff, Jason Belt |
| 2013 | ICSE | Explicating symbolic execution (xSymExe): an evidence-based verification framework. | John Hatcliff, Robby, Patrice Chalin, Jason Belt |
| 2012 | SCAM | Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK. | Hariharan Thiagarajan, John Hatcliff, Jason Belt, Robby |