/

Workspace

Research & Review

Writing & Publishing

Data & Analysis

Utilities

Account

User Settings

M

Myla Archer

United States Naval Research Laboratory(US)

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

69

Papers

1.3K

Citations

17

h-index

28

i10-index

Myla Archer is an academic researcher from United States Naval Research Laboratory. The author has contributed to research in topics: Formal Methods in Verification & Logic, programming, and type systems & Software Testing and Debugging Techniques. The author has an h-index of 17, co-authored 59 publications.

Research Topics

Formal Methods in Verification Logic, programming, and type systems Software Testing and Debugging Techniques Security and Verification in Computing Software Reliability and Analysis Research

Papers by this author

works

Specifying and proving properties of timed i/o automata using tempo,” Design Automation for Embedded Systems

2008 · 0 citations

Using TAME to prove invariants of automata models: Case studies

2000 · 0 citations

Applying Formal Methods . . . Device: An Experience Report

2008 · 0 citations

Applying TAME to I/O Automata: A User&apos;s Perspective

2000 · 0 citations

Toward a Property-based Testing Environment with Application to Security Critical Software

1994 · 0 citations

Research topics

topics

Formal Methods in Verification

Logic, programming, and type systems

Software Testing and Debugging Techniques

Security and Verification in Computing

Software Reliability and Analysis Research

Chat about Author

Papers

Chat

Click to start Chat