Myla Archer

Publication Activity (10 Years)

Years Active: 1984-2013
Publications (10 Years): 0

Top Topics

Word Processing

Top Venues

Publications

Myla Archer, Elizabeth I. Leonard, Constance L. Heitmeyer
Idea: Writing Secure C Programs with SecProve. ESSoS (2013)
Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords
Direct generation of invariants for reactive models. MEMOCODE (2012)
Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard
Model-based construction and verification of critical systems using composition and partial refinement. Formal Methods Syst. Des. 37 (2-3) (2010)
Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard
A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition. FM (2009)
Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno
Specifying and proving properties of timed I/O automata using Tempo. Des. Autom. Embed. Syst. 12 (1-2) (2008)
Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John McLean
Applying Formal Methods to a Certifiably Secure Software System. IEEE Trans. Software Eng. 34 (1) (2008)
Hongping Lim, Myla Archer
Translation Templates to Support Strategy Development in PVS. Electron. Notes Theor. Comput. Sci. 174 (11) (2007)
Myla Archer, Thierry Boy de la Tour, César A. Muñoz
Preface. Electron. Notes Theor. Comput. Sci. 174 (11) (2007)
Constance L. Heitmeyer, Ralph D. Jeffords, Ramesh Bharadwaj, Myla Archer
RE Theory Meets Software Practice: Lessons from the Software Development Trenches. RE (2007)
Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno
Specifying and proving properties of timed I/O automata in the TIOA toolkit. MEMOCODE (2006)
Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John D. McLean
Formal specification and verification of data separation in a separation kernel for an embedded system. CCS (2006)
Sayan Mitra, Myla Archer
PVS Strategies for Proving Abstraction Properties of Automata. Electron. Notes Theor. Comput. Sci. 125 (2) (2005)
Constance L. Heitmeyer, Myla Archer, Ramesh Bharadwaj, Ralph D. Jeffords
Tools for constructing requirements specifications: the SCR Toolset at the age of nine. Comput. Syst. Sci. Eng. 20 (1) (2005)
Myla Archer
Making PVS do what you want. MEMOCODE (2005)
Myla Archer
Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges. VSTTE (2005)
Elizabeth I. Leonard, Myla Archer
Extended abstract: organizing automaton specifications to achieve faithful representation. MEMOCODE (2005)
Myla Archer, Elizabeth I. Leonard, Matteo Pradella
Modeling Security-Enhanced Linux Policy Specifications for Analysis. DISCEX (2) (2003)
Myla Archer, Elizabeth I. Leonard, Matteo Pradella
Analyzing Security-Enhanced Linux Policy Specifications. POLICY (2003)
Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene
Proving Invariants of I/O Automata with TAME. Autom. Softw. Eng. 9 (3) (2002)
Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene
Using TAME to prove invariants of automata models: Two case studies. FMSP (2000)
Myla Archer
TAME: Using PVS strategies for special-purpose theorem proving. Ann. Math. Artif. Intell. 29 (1-4) (2000)
Myla Archer, Amy Lo, Ronald A. Olsson
Towards a Transformational Approach to Program Verification. Softw. Test. Verification Reliab. 9 (2) (1999)
James Kirby, Myla Archer, Constance L. Heitmeyer
SCR: A Practical Approach to Building a High Assurance COMSEC System. ACSAC (1999)
James Kirby Jr., Myla Archer, Constance L. Heitmeyer
Applying Formal Methods to an Information Security Device: An Experience Report. HASE (1999)
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. IEEE Trans. Software Eng. 24 (11) (1998)
Myla Archer, Constance L. Heitmeyer
Human-Style Theorem Proving Using PVS. TPHOLs (1997)
Myla Archer, Constance L. Heitmeyer
Verifying Hybrid Systems Modeled as Timed Automata: A Case Study. HART (1997)
Myla Archer, Constance L. Heitmeyer
Mechanical verification of timed automata: a case study. IEEE Real Time Technology and Applications Symposium (1996)
Cui Zhang, Robert J. Shaw, Ronald A. Olsson, Karl N. Levitt, Myla Archer, Mark R. Heckman, Gregory D. Benson
Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL. HUG (1993)
Jing Pan, Karl N. Levitt, Myla Archer, Saraswati Kalvala
Towards a Formal Verification of a Floating Point Coprocessor and its Composition with a Central Processing Unit. TPHOLs (1992)
Myla Archer, George Fink, Lie Yang
Linking Other Theorem Provers to HOL Using PM: Proof Manager. TPHOLs (1992)
William L. Harrison, Myla Archer, Karl N. Levitt
A HOL Mechanisation of the Axiomatic Semantics of a Simple Distributed Programming Language. TPHOLs (1992)
Saraswati Kalvala, Myla Archer, Karl N. Levitt
Implementation and Use of Annotations in HOL. TPHOLs (1992)
Deborah A. Frincke, Genc L. Fisher, Myla Archer, Karl N. Levitt
An application of template methodology: rapid prototyping of user interface management systems. RSP (1991)
Raymond W. Lo, P. Kerchen, Richard H. Crawford, W. Wilson Ho, J. Crossley, George Fink, Karl N. Levitt, Ronald A. Olsson, Myla Archer
Towards a testbed for malicious code detection. Compcon (1991)
George Fink, Myla Archer, Lie Yang
PM: A Proof Manager for HOL and Other Provers. TPHOLs (1991)
Myla Archer, James Bock, Deborah A. Frincke, Karl N. Levitt
Effectiveness of operating system prototyping from a template: application to MINIX. RSP (1991)
Deborah A. Frincke, Myla Archer, Karl N. Levitt
CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms. KBSE (1991)
Myla Archer, Deborah A. Frincke, Karl N. Levitt
A template for rapid prototyping of operating systems. RSP (1990)
Samuel N. Kamin, Myla Archer
Partial Implementations of Abstract Data Types: A Dissenting view on Errors. Semantics of Data Types (1984)