default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMyla Archer
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
[c34]Elizabeth I. Leonard, Myla M. Archer, Constance L. Heitmeyer:
Property templates for checking source code security. MEMOCODE 2017: 87-90- [p1]Constance L. Heitmeyer, Elizabeth I. Leonard, Myla M. Archer:
Computing the Next-State Function of a Requirements Model. Dependable Software Systems Engineering 2017: 44-59 - 2015
- [j9]Constance L. Heitmeyer
, Marc Pickett, Elizabeth I. Leonard, Myla M. Archer, Indrakshi Ray, David W. Aha, J. Gregory Trafton:
Building high assurance human-centric decision systems. Autom. Softw. Eng. 22(2): 159-197 (2015) - 2013
- [c33]Constance L. Heitmeyer, Sandeep K. Shukla, Myla M. Archer, Elizabeth I. Leonard:
On Model-Based Software Development. Perspectives on the Future of Software Engineering 2013: 49-60 - [c32]Myla Archer, Elizabeth I. Leonard, Constance L. Heitmeyer:
Idea: Writing Secure C Programs with SecProve. ESSoS 2013: 171-180 - 2012
- [c31]Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords:
Direct generation of invariants for reactive models. MEMOCODE 2012: 119-130 - 2010
- [j8]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): 265-294 (2010)
2000 – 2009
- 2009
- [c30]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: 173-189 - 2008
- [j7]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): 139-170 (2008) - [j6]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): 82-98 (2008) - 2007
- [c29]Constance L. Heitmeyer, Ralph D. Jeffords, Ramesh Bharadwaj, Myla Archer:
RE Theory Meets Software Practice: Lessons from the Software Development Trenches. RE 2007: 265-268 - [e2]Myla Archer, Thierry Boy de la Tour, César A. Muñoz:
Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006. Electronic Notes in Theoretical Computer Science 174(11), Elsevier 2007 [contents] - 2006
- [c28]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: 346-355 - [c27]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: 129-138 - [c26]Myla Archer, Thierry Boy de la Tour, César A. Muñoz:
Preface. STRATEGIES@IJCAR 2006: 1-2 - [c25]Hongping Lim, Myla Archer:
Translation Templates to Support Strategy Development in PVS. STRATEGIES@IJCAR 2006: 59-79 - 2005
- [j5]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) - [c24]Myla Archer:
Making PVS do what you want. MEMOCODE 2005: 67 - [c23]Elizabeth I. Leonard, Myla Archer:
Extended abstract: organizing automaton specifications to achieve faithful representation. MEMOCODE 2005: 245-246 - [c22]Myla Archer:
Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges. VSTTE 2005: 308-317 - 2004
- [c21]Sayan Mitra, Myla Archer:
PVS Strategies for Proving Abstraction Properties of Automata. STRATEGIES@IJCAR 2004: 45-65 - 2003
- [c20]Myla Archer, Elizabeth I. Leonard, Matteo Pradella:
Modeling Security-Enhanced Linux Policy Specifications for Analysis. DISCEX (2) 2003: 164-169 - [c19]Myla Archer, Elizabeth I. Leonard, Matteo Pradella:
Analyzing Security-Enhanced Linux Policy Specifications. POLICY 2003: 158- - 2002
- [j4]Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene:
Proving Invariants of I/O Automata with TAME. Autom. Softw. Eng. 9(3): 201-232 (2002) - 2000
- [j3]Myla Archer:
TAME: Using PVS strategies for special-purpose theorem proving. Ann. Math. Artif. Intell. 29(1-4): 139-181 (2000) - [c18]Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene:
Using TAME to prove invariants of automata models: Two case studies. FMSP 2000: 25-36
1990 – 1999
- 1999
- [j2]Myla Archer, Amy Lo, Ronald A. Olsson:
Towards a Transformational Approach to Program Verification. Softw. Test. Verification Reliab. 9(2): 85-106 (1999) - [c17]James Kirby, Myla Archer, Constance L. Heitmeyer:
SCR: A Practical Approach to Building a High Assurance COMSEC System. ACSAC 1999: 109-118 - [c16]James Kirby Jr., Myla Archer, Constance L. Heitmeyer:
Applying Formal Methods to an Information Security Device: An Experience Report. HASE 1999: 81-88 - 1998
- [j1]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): 927-948 (1998) - 1997
- [c15]Myla Archer, Constance L. Heitmeyer:
Verifying Hybrid Systems Modeled as Timed Automata: A Case Study. HART 1997: 171-185 - [c14]Myla Archer, Constance L. Heitmeyer:
Human-Style Theorem Proving Using PVS. TPHOLs 1997: 33-48 - 1996
- [c13]Myla Archer, Constance L. Heitmeyer:
Mechanical verification of timed automata: a case study. IEEE Real Time Technology and Applications Symposium 1996: 192-203 - 1993
- [c12]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: 29-42 - 1992
- [c11]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 - [c10]Saraswati Kalvala, Myla Archer, Karl N. Levitt:
Implementation and Use of Annotations in HOL. TPHOLs 1992: 407-426 - [c9]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 - [c8]Myla Archer, George Fink, Lie Yang:
Linking Other Theorem Provers to HOL Using PM: Proof Manager. TPHOLs 1992: 539-548 - [e1]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 [contents] - 1991
- [c7]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: 160-166 - [c6]Deborah A. Frincke, Myla Archer, Karl N. Levitt:
CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms. KBSE 1991: 151-160 - [c5]Myla Archer, James Bock, Deborah A. Frincke, Karl N. Levitt:
Effectiveness of operating system prototyping from a template: application to MINIX. RSP 1991: 55-66 - [c4]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: 82-98 - [c3]George Fink, Myla Archer, Lie Yang:
PM: A Proof Manager for HOL and Other Provers. TPHOLs 1991: 286-304 - 1990
- [c2]Myla Archer, Deborah A. Frincke, Karl N. Levitt:
A template for rapid prototyping of operating systems. RSP 1990: 119-127
1980 – 1989
- 1988
- [b1]Myla Archer:
Partial Implementations of Abstract Data Types: Theory and Practice. University of Illinois Urbana-Champaign, USA, 1988 - 1984
- [c1]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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
