Остановите войну!
for scientists:
default search action
Myla Archer
- > Home > Persons > Myla Archer
Publications
- 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) - 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) - [c23]Elizabeth I. Leonard, Myla Archer:
Extended abstract: organizing automaton specifications to achieve faithful representation. MEMOCODE 2005: 245-246 - 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
- [c18]Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene:
Using TAME to prove invariants of automata models: Two case studies. FMSP 2000: 25-36 - 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
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 02:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint