| 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 |
| 2007 | RE | RE Theory Meets Software Practice: Lessons from the Software Development Trenches. | Constance L. Heitmeyer, Ralph D. Jeffords, Ramesh Bharadwaj, Myla Archer |
| 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 |
| 2006 | MEMOCODE | Analyzing tabular requirements specifications using infinite state model checking. | Tevfik Bultan, Constance L. Heitmeyer |
| 2005 | FORTE | Developing High Quality Software with Formal Methods: What Else Is Needed? | Constance L. Heitmeyer |
| 2005 | ICSE | Introduction to the experience reports track. | Constance L. Heitmeyer, Klaus Pohl |
| 2005 | MEMOCODE | Panel on design for verification. | Tevfik Bultan, Constance L. Heitmeyer, John O'Leary |
| 2004 | MEMOCODE | Panel: given that hardware verification has been an uphill battle, what is the future of software verification? | Sandeep K. Shukla, Tevfik Bultan, Constance L. Heitmeyer |
| 2003 | ICSE | ICSE 2003 Workshop on Software Engineering for High Assurance Systems: Synergies between Process, Product, and Profiling (SEHAS 2003). | Martin S. Feather, Allen P. Nikora, Constance L. Heitmeyer, Nancy R. Mead |
| 2003 | SAFECOMP | Developing High Assurance Systems: On the Role of Software Tools. | Constance L. Heitmeyer |
| 2001 | ACSAC | A Security Model for Military Message Systems: Retrospective. | Carl E. Landwehr, Constance L. Heitmeyer, John D. McLean |
| 2001 | RE | An Algorithm for Strengthening State Invariants Generated from Requirements Specifications. | Ralph D. Jeffords, Constance L. Heitmeyer |
| 1999 | ACSAC | SCR: A Practical Approach to Building a High Assurance COMSEC System. | James Kirby, Myla Archer, Constance L. Heitmeyer |
| 1999 | PDPTA | Formal Methods for Developing Software Specifications: Paths to Wider Usage. | Constance L. Heitmeyer |
| 1999 | RE | Increasing the Role of RE in the Development of Dependable Systems. | Constance L. Heitmeyer, Philip Morris |
| 1998 | CAV | SCR*: A Toolset for Specifying and Analyzing Software Requirements. | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj |
| 1997 | ICSE | Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (Tutorial). | Stuart R. Faulk, Constance L. Heitmeyer |
| 1997 | ICSE | The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support. | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw |
| 1997 | RE | The SCR Approach to Requirements Specification and Analysis. | Stuart R. Faulk, Constance L. Heitmeyer |
| 1997 | RTAS | A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. | Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Bruce G. Labaw |
| 1996 | RTAS | Mechanical verification of timed automata: a case study. | Myla Archer, Constance L. Heitmeyer |
| 1995 | ICDCS | Future Distributed Embedded and Real-Time Applications Will Be Adaptive: Meanings, Challenges and Research Paradigms (Panel). | Aloysius K. Mok, Constance L. Heitmeyer, Kevin Jeffay, Michael B. Jones, C. Douglass Locke, Ragunathan Rajkumar |
| 1995 | RE | Consistency checking of SCR-style requirements specifications. | Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis |
| 1994 | RTSS | The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems. | Constance L. Heitmeyer, Nancy A. Lynch |
| 1993 | RTSS | MT: A Toolset for Specifying and Analyzing Real-Time Systems. | Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, A. T. Rose |
| 1992 | CHI | Evaluating Two Aspects of Direct Manipulation in Advanced Cockpits. | James A. Ballas, Constance L. Heitmeyer, Manuel A. Prez-Quiones |
| 1984 | SP | A Formal Statement of the MMS Security Model. | John D. McLean, Carl E. Landwehr, Constance L. Heitmeyer |