Myla Archer - RankMe

43 papers A* 1A 2B 1C 7Journal 8Unranked 21

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