| 2017 | MEMOCODE | Property templates for checking source code security. | Elizabeth I. Leonard, Myla M. Archer, Constance L. Heitmeyer |
| 2015 | ICSE | Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation. | Constance L. Heitmeyer, Elizabeth I. Leonard |
| 2013 | ICSE | High assurance human-centric decision systems. | Constance L. Heitmeyer, Marc Pickett, Len Breslow, David W. Aha, J. Greg Trafton, Elizabeth I. Leonard |
| 2012 | MEMOCODE | Direct generation of invariants for reactive models. | Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords |
| 2009 | FM | A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition. | Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard |
| 2006 | CCS | Formal specification and verification of data separation in a separation kernel for an embedded system. | Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John D. McLean |
| 2005 | MEMOCODE | Extended abstract: organizing automaton specifications to achieve faithful representation. | Elizabeth I. Leonard, Myla Archer |
| 2004 | MEMOCODE | Using invariants to optimize formal specifications before code synthesis. | Ralph D. Jeffords, Elizabeth I. Leonard |