Myla Archer

According to our database, Myla Archer authored at least 45 papers between 1984 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Computing the Next-State Function of a Requirements Model.

Constance L. Heitmeyer, Elizabeth I. Leonard, Myla M. Archer

Proceedings of the Dependable Software Systems Engineering, 2017

Property templates for checking source code security.

Elizabeth I. Leonard, Myla M. Archer, Constance L. Heitmeyer

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

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

2013

Idea: Writing Secure C Programs with SecProve.

Myla Archer, Elizabeth I. Leonard, Constance L. Heitmeyer

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

On Model-Based Software Development.

Constance L. Heitmeyer, Sandeep K. Shukla, Myla M. Archer, Elizabeth I. Leonard

Proceedings of the Perspectives on the Future of Software Engineering, 2013

2012

Direct generation of invariants for reactive models.

Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords

Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012

2010

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

2009

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

Proceedings of the FM 2009: Formal Methods, 2009

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

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

2007

RE Theory Meets Software Practice: Lessons from the Software Development Trenches.

Constance L. Heitmeyer, Ralph D. Jeffords, Ramesh Bharadwaj, Myla Archer

Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

2006

Translation Templates to Support Strategy Development in PVS.

Hongping Lim, Myla Archer

Proceedings of the 6th International Workshop on Strategies in Automated Deduction, 2006

Preface.

Myla Archer, Thierry Boy de la Tour, César A. Muñoz

Proceedings of the 6th International Workshop on Strategies in Automated Deduction, 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

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

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

Proceedings of the 13th ACM Conference on Computer and Communications Security, 2006

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

Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges.

Myla Archer

Proceedings of the Verified Software: Theories, 2005

Extended abstract: organizing automaton specifications to achieve faithful representation.

Elizabeth I. Leonard, Myla Archer

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Making PVS do what you want.

Myla Archer

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

2004

PVS Strategies for Proving Abstraction Properties of Automata.

Sayan Mitra, Myla Archer

Proceedings of the 5th International Workshop on Strategies in Automated Deduction, 2004

2003

Analyzing Security-Enhanced Linux Policy Specifications.

Myla Archer, Elizabeth I. Leonard, Matteo Pradella

Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 2003

Modeling Security-Enhanced Linux Policy Specifications for Analysis.

Myla Archer, Elizabeth I. Leonard, Matteo Pradella

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

2002

Proving Invariants of I/O Automata with TAME.

Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene

Autom. Softw. Eng., 2002

2000

TAME: Using PVS strategies for special-purpose theorem proving.

Myla Archer

Ann. Math. Artif. Intell., 2000

Using TAME to prove invariants of automata models: Two case studies.

Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene

Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

1999

Towards a Transformational Approach to Program Verification.

Myla Archer, Amy Lo, Ronald A. Olsson

Softw. Test. Verification Reliab., 1999

Applying Formal Methods to an Information Security Device: An Experience Report.

James Kirby Jr., Myla Archer, Constance L. Heitmeyer

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

SCR: A Practical Approach to Building a High Assurance COMSEC System.

James Kirby, Myla Archer, Constance L. Heitmeyer

Proceedings of the 15th Annual Computer Security Applications Conference (ACSAC 1999), 1999

1998

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

1997

Human-Style Theorem Proving Using PVS.

Myla Archer, Constance L. Heitmeyer

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

Verifying Hybrid Systems Modeled as Timed Automata: A Case Study.

Myla Archer, Constance L. Heitmeyer

Proceedings of the Hybrid and Real-Time Systems, 1997

1996

Mechanical verification of timed automata: a case study.

Myla Archer, Constance L. Heitmeyer

Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996

1993

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

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

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

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

Implementation and Use of Annotations in HOL.

Saraswati Kalvala, Myla Archer, Karl N. Levitt

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

A HOL Mechanisation of the Axiomatic Semantics of a Simple Distributed Programming Language.

William L. Harrison, Myla Archer, Karl N. Levitt

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

Linking Other Theorem Provers to HOL Using PM: Proof Manager.

Myla Archer, George Fink, Lie Yang

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

1991

PM: A Proof Manager for HOL and Other Provers.

George Fink, Myla Archer, Lie Yang

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

An application of template methodology: rapid prototyping of user interface management systems.

Deborah A. Frincke, Genc L. Fisher, Myla Archer, Karl N. Levitt

Proceedings of the Second International Workshop on Rapid System Prototyping, 1991

Effectiveness of operating system prototyping from a template: application to MINIX.

Myla Archer, James Bock, Deborah A. Frincke, Karl N. Levitt

Proceedings of the Second International Workshop on Rapid System Prototyping, 1991

CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms.

Deborah A. Frincke, Myla Archer, Karl N. Levitt

Proceedings of the Proceedings 6th Annual Knowledge-Based Software Engineering Conference, 1991

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

Proceedings of the Compcon Spring '91, San Francisco, 1991

1990

A template for rapid prototyping of operating systems.

Myla Archer, Deborah A. Frincke, Karl N. Levitt

Proceedings of the First International Workshop on Rapid System Prototyping, 1990

1988

Partial Implementations of Abstract Data Types: Theory and Practice

Myla Archer

PhD thesis, 1988

1984

Partial Implementations of Abstract Data Types: A Dissenting view on Errors.

Samuel N. Kamin, Myla Archer

Proceedings of the Semantics of Data Types, International Symposium, 1984