An Algebraic Framework for Developing and Maintaining Real-Time Systems. - Elizabeth I. Leonard; Amy E. Zwarico (AMAST, 1995)

Modeling Security-Enhanced Linux Policy Specifications for Analysis. - Myla Archer; Elizabeth I. Leonard; Matteo Pradella (DISCEX (2), 2003)

Analyzing Security-Enhanced Linux Policy Specifications. - Myla Archer; Elizabeth I. Leonard; Matteo Pradella (POLICY, 2003)

Program Synthesis from Formal Requirements Specifications Using APTS. - Elizabeth I. Leonard; Constance L. Heitmeyer (High. Order Symb. Comput., 2003)

Using invariants to optimize formal specifications before code synthesis. - Ralph D. Jeffords; Elizabeth I. Leonard (MEMOCODE, 2004)

Extended abstract: organizing automaton specifications to achieve faithful representation. - Elizabeth I. Leonard; Myla Archer (MEMOCODE, 2005)

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 (CCS, 2006)

Generating optimized code from SCR specifications. - Tom Rothamel; Yanhong A. Liu; Constance L. Heitmeyer; Elizabeth I. Leonard (LCTES, 2006)

Applying Formal Methods to a Certifiably Secure Software System. - Constance L. Heitmeyer; Myla Archer; Elizabeth I. Leonard; John McLean (IEEE Trans. Software Eng., 2008)

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 (FM, 2009)

Model-based construction and verification of critical systems using composition and partial refinement. - Ralph D. Jeffords; Constance L. Heitmeyer; Myla Archer; Elizabeth I. Leonard (Formal Methods Syst. Des., 2010)

Direct generation of invariants for reactive models. - Elizabeth I. Leonard; Myla Archer; Constance L. Heitmeyer; Ralph D. Jeffords (MEMOCODE, 2012)

On Model-Based Software Development. - Constance L. Heitmeyer; Sandeep K. Shukla; Myla M. Archer; Elizabeth I. Leonard (Perspectives on the Future of Software Engineering, 2013)

Idea: Writing Secure C Programs with SecProve. - Myla Archer; Elizabeth I. Leonard; Constance L. Heitmeyer (ESSoS, 2013)

High assurance human-centric decision systems. - Constance L. Heitmeyer; Marc Pickett; Len Breslow; David W. Aha; J. Greg Trafton; Elizabeth I. Leonard (RAISE@ICSE, 2013)

Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation. - Constance L. Heitmeyer; Elizabeth I. Leonard (FormaliSE@ICSE, 2015)

Building high assurance human-centric decision systems. - Constance L. Heitmeyer; Marc Pickett; Elizabeth I. Leonard; Myla M. Archer; Indrakshi Ray; David W. Aha; J. Gregory Trafton (Autom. Softw. Eng., 2015)

Property templates for checking source code security. - Elizabeth I. Leonard; Myla M. Archer; Constance L. Heitmeyer (MEMOCODE, 2017)

Computing the Next-State Function of a Requirements Model. - Constance L. Heitmeyer; Elizabeth I. Leonard; Myla M. Archer (Dependable Software Systems Engineering, 2017)