Myla Archer
United States Naval Research Laboratory(US)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Software Testing and Debugging Techniques, Security and Verification in Computing, Software Reliability and Analysis Research
Most-Cited Works
- → Using abstraction and model checking to detect safety violations in requirements specifications(1998)190 cited
- → Electrical porous silicon chemical sensor for detection of organic solvents(2004)137 cited
- → Macroporous Silicon Electrical Sensor for DNA Hybridization Detection(2004)109 cited
- → Formal specification and verification of data separation in a separation kernel for an embedded system(2006)82 cited
- → Applying Formal Methods to a Certifiably Secure Software System(2008)82 cited
- → TAME: Using PVS strategies for special-purpose theorem proving(2000)74 cited
- Tools for constructing requirements specifications: the SCR Toolset at the age of nine.(2005)
- → Electrical sensing of DNA hybridization in porous silicon layers(2003)46 cited
- → Proving Invariants of I/O Automata with TAME(2002)37 cited
- → Mechanical verification of timed automata: a case study(2002)37 cited