Partial Implementations of Abstract Data Types: A Dissenting view on Errors. - Samuel N. Kamin; Myla Archer (Semantics of Data Types, 1984)

Partial Implementations of Abstract Data Types: Theory and Practice - Myla Archer (1988)

A template for rapid prototyping of operating systems. - Myla Archer; Deborah A. Frincke; Karl N. Levitt (RSP, 1990)

Towards a testbed for malicious code detection. - Raymond W. Lo; P. Kerchen; Richard H. Crawford; W. Wilson Ho; J. Crossley; George Fink; Karl N. Levitt; Ronald A. Olsson; Myla Archer (Compcon, 1991)

CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms. - Deborah A. Frincke; Myla Archer; Karl N. Levitt (KBSE, 1991)

Effectiveness of operating system prototyping from a template: application to MINIX. - Myla Archer; James Bock; Deborah A. Frincke; Karl N. Levitt (RSP, 1991)

An application of template methodology: rapid prototyping of user interface management systems. - Deborah A. Frincke; Genc L. Fisher; Myla Archer; Karl N. Levitt (RSP, 1991)

PM: A Proof Manager for HOL and Other Provers. - George Fink; Myla Archer; Lie Yang (TPHOLs, 1991)

Linking Other Theorem Provers to HOL Using PM: Proof Manager. - Myla Archer; George Fink; Lie Yang (TPHOLs, 1992)

A HOL Mechanisation of the Axiomatic Semantics of a Simple Distributed Programming Language. - William L. Harrison; Myla Archer; Karl N. Levitt (TPHOLs, 1992)

Implementation and Use of Annotations in HOL. - Saraswati Kalvala; Myla Archer; Karl N. Levitt (TPHOLs, 1992)

Towards a Formal Verification of a Floating Point Coprocessor and its Composition with a Central Processing Unit. - Jing Pan; Karl N. Levitt; Myla Archer; Saraswati Kalvala (TPHOLs, 1992)

Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL. - Cui Zhang; Robert J. Shaw; Ronald A. Olsson; Karl N. Levitt; Myla Archer; Mark R. Heckman; Gregory D. Benson (HUG, 1993)

Mechanical verification of timed automata: a case study. - Myla Archer; Constance L. Heitmeyer (IEEE Real Time Technology and Applications Symposium, 1996)

Verifying Hybrid Systems Modeled as Timed Automata: A Case Study. - Myla Archer; Constance L. Heitmeyer (HART, 1997)

Human-Style Theorem Proving Using PVS. - Myla Archer; Constance L. Heitmeyer (TPHOLs, 1997)

Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. - Constance L. Heitmeyer; James Kirby; Bruce G. Labaw; Myla Archer; Ramesh Bharadwaj (IEEE Trans. Software Eng., 1998)

SCR: A Practical Approach to Building a High Assurance COMSEC System. - James Kirby; Myla Archer; Constance L. Heitmeyer (ACSAC, 1999)

Applying Formal Methods to an Information Security Device: An Experience Report. - James Kirby Jr.; Myla Archer; Constance L. Heitmeyer (HASE, 1999)

Towards a Transformational Approach to Program Verification. - Myla Archer; Amy Lo; Ronald A. Olsson (Softw. Test. Verification Reliab., 1999)

Using TAME to prove invariants of automata models: Two case studies. - Myla Archer; Constance L. Heitmeyer; Elvinia Riccobene (FMSP, 2000)

TAME: Using PVS strategies for special-purpose theorem proving. - Myla Archer (Ann. Math. Artif. Intell., 2000)

Proving Invariants of I/O Automata with TAME. - Myla Archer; Constance L. Heitmeyer; Elvinia Riccobene (Autom. Softw. Eng., 2002)

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)

PVS Strategies for Proving Abstraction Properties of Automata. - Sayan Mitra; Myla Archer (STRATEGIES@IJCAR, 2004)

Making PVS do what you want. - Myla Archer (MEMOCODE, 2005)

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

Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges. - Myla Archer (VSTTE, 2005)

Tools for constructing requirements specifications: the SCR Toolset at the age of nine. - Constance L. Heitmeyer; Myla Archer; Ramesh Bharadwaj; Ralph D. Jeffords (Comput. Syst. Sci. Eng., 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)

Specifying and proving properties of timed I/O automata in the TIOA toolkit. - Myla Archer; Hongping Lim; Nancy A. Lynch; Sayan Mitra; Shinya Umeno (MEMOCODE, 2006)

Preface. - Myla Archer; Thierry Boy de la Tour; César A. Muñoz (STRATEGIES@IJCAR, 2006)

Translation Templates to Support Strategy Development in PVS. - Hongping Lim; Myla Archer (STRATEGIES@IJCAR, 2006)

RE Theory Meets Software Practice: Lessons from the Software Development Trenches. - Constance L. Heitmeyer; Ralph D. Jeffords; Ramesh Bharadwaj; Myla Archer (RE, 2007)

Specifying and proving properties of timed I/O automata using Tempo. - Myla Archer; Hongping Lim; Nancy A. Lynch; Sayan Mitra; Shinya Umeno (Des. Autom. Embed. Syst., 2008)

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)

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)