Myla Archer

United States Naval Research Laboratory — United States

Computer Science · Physical Sciences

17h-index1.3kcitations69works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(40), Logic, programming, and type systems(24), Software Testing and Debugging Techniques(17), Security and Verification in Computing(17), Software Reliability and Analysis Research(11)

Publications69 total

Property templates for checking source code security
2017
Building high assurance human-centric decision systems
Automated Software Engineering·2014· 15 cited
Idea: Writing Secure C Programs with SecProve
Lecture notes in computer science·2013· 1 cited
On Model-Based Software Development
2013· 10 cited
Direct generation of invariants for reactive models
2012· 4 cited
Model-based construction and verification of critical systems using composition and partial refinement
Formal Methods in System Design·2010· 9 cited
A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition
Lecture notes in computer science·2009· 15 cited
A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition
2009
Specifying and proving properties of timed I/O automata using Tempo
Design Automation for Embedded Systems·2008· 10 cited
Components for automated microfluidics sample preparation and analysis
Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE·2008
Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges
Lecture notes in computer science·2008Open Access
Applying Formal Methods to a Certifiably Secure Software System
IEEE Transactions on Software Engineering·2008· 82 cited
RE Theory Meets Software Practice: Lessons from the Software Development Trenches
2007· 6 cited
Preface
Electronic Notes in Theoretical Computer Science·2007Open Access
Translation Templates to Support Strategy Development in PVS
Electronic Notes in Theoretical Computer Science·2007· 3 citedOpen Access
Basing a Modeling Environment on a General Purpose Theorem Prover
2006· 7 cited
Formal specification and verification of data separation in a separation kernel for an embedded system
2006· 81 cited
Specifying and proving properties of timed I/O automata in the TIOA toolkit
2006· 19 cited
Establishing High Confidence in Code Implementations of Algorithms using Formal Verification of Pseudocode
Defense Technical Information Center (DTIC)·2006· 3 cited
PM: A Proof Manager For HOL And Other Provers
2005· 3 cited
page 1 of 4Next →

Frequent Co-authors

Constance Heitmeyer(20), Elizabeth I. Leonard(11), Karl Levitt(7), Ralph D. Jeffords(5), Matteo Pradella(4), Ronald A. Olsson(4), James Kirby(3), Ramesh Bharadwaj(3), Philippe M. Fauchet(3), Ben L. DiVito(3), César Muñoz(3), Hongping Lim(3), Sayan Mitra(3), M. Christophersen(2), John McLean(2), Elvinia Riccobene(2), Nancy Lynch(2), Shinya Umeno(2), Richard Crawford(2), P. Kerchen(2)