| 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 |
| 2021 | ISoLA | Slang: The Sireum Programming Language. | Robby, John Hatcliff |
| 2020 | ECSA | Awas: AADL Information Flow and Error Propagation Analysis Framework. | Hariharan Thiagarajan, John Hatcliff, Robby |
| 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 |
| 2017 | SEFM | Focused Certification of an Industrial Compilation and Static Verification Toolchain. | Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu |
| 2014 | CCS | Amandroid: A Precise and General Inter-component Data Flow Analysis Framework for Security Vetting of Android Apps. | Fengguo Wei, Sankardas Roy, Xinming Ou, Robby |
| 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 |
| 2009 | ECOOP | Preliminary design of a unified JML representation and software infrastructure. | Robby, Patrice Chalin |
| 2009 | SAC | agentTool process editor: supporting the design of tailored agent-based processes. | Juan C. Garca-Ojeda, Scott A. DeLoach, Robby |
| 2008 | FM | Specification and Checking of Software Contracts for Conditional Information Flow. | Torben Amtoft, John Hatcliff, Edwin Rodrguez, Robby, Jonathan Hoag, David A. Greve |
| 2007 | ICSE | Formal Software Analysis Emerging Trends in Software Model Checking. | Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser |
| 2007 | SEFM | Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. | Xianghua Deng, Robby, John Hatcliff |
| 2006 | FASE | Using Design Metrics for Predicting System Flexibility. | Robby, Scott A. DeLoach, Valeriy A. Kolesnikov |
| 2006 | ISoLA | Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. | Xianghua Deng, Robby, John Hatcliff |
| 2006 | TACAS | Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. | Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine |
| 2005 | CAV | Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. | Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby |
| 2005 | ECOOP | Extending JML for Modular Specification and Verification of Multi-threaded Programs. | Edwin Rodrguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby |
| 2004 | ISoLA | A Case Study in Domain-Customized Model Checking for Real-Time Component Software. | Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff |
| 2004 | ISoLA | A Case Study in Domain-customized Model Checking for Real-time Component Software. | Matthew Hoosier, John Hatcliff, Robby, Matthew B. Dwyer |
| 2004 | TACAS | Checking Strong Specifications Using an Extensible Software Model Checking Framework. | Robby, Edwin Rodrguez, Matthew B. Dwyer, John Hatcliff |
| 2004 | VMCAI | Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. | John Hatcliff, Robby, Matthew B. Dwyer |
| 2003 | EMSOFT | Space Reductions for Model Checking Quasi-Cyclic Systems. | Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff |
| 2003 | PEPM | Slicing and partial evaluation of CORBA component model designs for avionics system. | John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby |
| 2001 | ICSE | Tool-Supported Program Abstraction for Finite-State Verification. | Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser |
| 2000 | ICSE | Bandera: extracting finite-state models from Java source code. | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng |
| 2000 | ICSE | Bandera: a source-level interface for model checking Java programs. | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby |