Myla Archer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

32EEConstance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John McLean: Applying Formal Methods to a Certifiably Secure Software System. IEEE Trans. Software Eng. 34(1): 82-98 (2008)
31EEConstance L. Heitmeyer, Ralph D. Jeffords, Ramesh Bharadwaj, Myla Archer: RE Theory Meets Software Practice: Lessons from the Software Development Trenches. RE 2007: 265-268
30EEMyla Archer, Thierry Boy de la Tour, César Muñoz: Preface. Electr. Notes Theor. Comput. Sci. 174(11): 1-2 (2007)
29EEHongping Lim, Myla Archer: Translation Templates to Support Strategy Development in PVS. Electr. Notes Theor. Comput. Sci. 174(11): 59-79 (2007)
28EEConstance 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. ACM Conference on Computer and Communications Security 2006: 346-355
27EEMyla 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: 129-138
26EEElizabeth I. Leonard, Myla Archer: Extended abstract: organizing automaton specifications to achieve faithful representation. MEMOCODE 2005: 245-246
25EEMyla Archer: Making PVS do what you want. MEMOCODE 2005: 67
24EEMyla Archer: Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges. VSTTE 2005: 308-317
23 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)
22EESayan Mitra, Myla Archer: PVS Strategies for Proving Abstraction Properties of Automata. Electr. Notes Theor. Comput. Sci. 125(2): 45-65 (2005)
21EEMyla Archer, Elizabeth I. Leonard, Matteo Pradella: Modeling Security-Enhanced Linux Policy Specifications for Analysis. DISCEX (2) 2003: 164-169
20EEMyla Archer, Elizabeth I. Leonard, Matteo Pradella: Analyzing Security-Enhanced Linux Policy Specifications. POLICY 2003: 158-
19 Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene: Proving Invariants of I/O Automata with TAME. Autom. Softw. Eng. 9(3): 201-232 (2002)
18EEMyla Archer, Constance L. Heitmeyer, Elvinia Riccobene: Using TAME to prove invariants of automata models: Two case studies. FMSP 2000: 25-36
17 Myla Archer: TAME: Using PVS strategies for special-purpose theorem proving. Ann. Math. Artif. Intell. 29(1-4): 139-181 (2000)
16EEJames Kirby, Myla Archer, Constance L. Heitmeyer: SCR: A Practical Approach to Building a High Assurance COMSEC System. ACSAC 1999: 109-118
15EEJames Kirby Jr., Myla Archer, Constance L. Heitmeyer: Applying Formal Methods to an Information Security Device: An Experience Report. HASE 1999: 81-88
14 Myla Archer, Amy Lo, Ronald A. Olsson: Towards a Transformational Approach to Program Verification. Softw. Test., Verif. Reliab. 9(2): 85-106 (1999)
13EEConstance 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): 927-948 (1998)
12 Myla Archer, Constance L. Heitmeyer: Verifying Hybrid Systems Modeled as Timed Automata: A Case Study. HART 1997: 171-185
11 Myla Archer, Constance L. Heitmeyer: Human-Style Theorem Proving Using PVS. TPHOLs 1997: 33-48
10EEMyla Archer, Constance L. Heitmeyer: Mechanical verification of timed automata: a case study. IEEE Real Time Technology and Applications Symposium 1996: 192-203
9 Cui Zhang, Robert J. Shaw, Ronald A. Olsson, Karl N. Levitt, Myla Archer, Mark Heckman, Gregory D. Benson: Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL. HUG 1993: 29-42
8 Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, Phillip J. Windley: Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA IEEE Computer Society 1992
7 William L. Harrison, Myla Archer, Karl N. Levitt: A HOL Mechanisation of the Axiomatic Semantics of a Simple Distributed Programming Language. TPHOLs 1992: 347-356
6 Saraswati Kalvala, Myla Archer, Karl N. Levitt: Implementation and Use of Annotations in HOL. TPHOLs 1992: 407-426
5 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: 427-447
4 Myla Archer, George Fink, Lie Yang: Linking Other Theorem Provers to HOL Using PM: Proof Manager. TPHOLs 1992: 539-548
3 Deborah A. Frincke, Myla Archer, Karl N. Levitt: CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms. KBSE 1991: 151-160
2 George Fink, Myla Archer, Lie Yang: PM: A Proof Manager for HOL and Other Provers. TPHOLs 1991: 286-304
1 Samuel N. Kamin, Myla Archer: Partial Implementations of Abstract Data Types: A Dissenting view on Errors. Semantics of Data Types 1984: 317-336

Coauthor Index

1Gregory D. Benson [9]
2Ramesh Bharadwaj [13] [23] [31]
3George Fink [2] [4]
4Deborah A. Frincke [3]
5William L. Harrison [7]
6Mark Heckman [9]
7Constance L. Heitmeyer (Connie Heitmeyer) [10] [11] [12] [13] [15] [16] [18] [19] [23] [28] [31] [32]
8Ralph D. Jeffords [23] [31]
9Jeffrey J. Joyce [8]
10Sara Kalvala (Saraswati Kalvala) [5] [6]
11Samuel N. Kamin (Sam Kamin) [1]
12James Kirby [13] [16]
13James Kirby Jr. [15]
14Bruce G. Labaw [13]
15Elizabeth I. Leonard [20] [21] [26] [28] [32]
16Karl N. Levitt [3] [5] [6] [7] [8] [9]
17Hongping Lim [27] [29]
18Amy Lo [14]
19Nancy A. Lynch [27]
20John McLean [32]
21John D. McLean [28]
22Sayan Mitra [22] [27]
23César Muñoz [30]
24Ronald A. Olsson [9] [14]
25Jing Pan [5]
26Matteo Pradella [20] [21]
27Elvinia Riccobene [18] [19]
28Robert J. Shaw [9]
29Thierry Boy de la Tour [30]
30Shinya Umeno [27]
31Phillip J. Windley [8]
32Lie Yang [2] [4]
33Cui Zhang [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)