Concepedia

Myla Archer

MA

Statistics

Publications

22

Citations

1.1K

H-Index

16

Active since

1996

Affiliations

United States Naval Research Laboratory(Current)

University of Rochester

Massachusetts Institute of Technology

Naval Research Laboratory Information Technology Division

University of Catania

Myla Archer is an author at United States Naval Research Laboratory specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsFormal VerificationSystem SoftwareSoftware AnalysisSystems EngineeringProgram AnalysisSoftware Engineering

Publications per year

1996–2014

22

Publications

22

Using abstraction and model checking to detect safety violations in requirements specifications

Constance Heitmeyer, James Kirby, B. Labaw et al. · IEEE Transactions on Software Engineering · 1998 · 190 citations

Software Maintenance, Engineering, Verification +25

Electrical porous silicon chemical sensor for detection of organic solvents

Myla Archer, M. Christophersen, Philippe M. Fauchet · Sensors and Actuators B Chemical · 2004 · 136 citations

Chemical Engineering, Engineering, Organic Solvents +8

Macroporous Silicon Electrical Sensor for DNA Hybridization Detection

Myla Archer, M. Christophersen, Philippe M. Fauchet · Biomedical Microdevices · 2004 · 109 citations

Engineering, Biosensing Systems, Bioelectronics +5

Applying Formal Methods to a Certifiably Secure Software System

Constance Heitmeyer, Myla Archer, Elizabeth I. Leonard et al. · IEEE Transactions on Software Engineering · 2008 · 82 citations

Engineering, Information Security, Verification +20

Formal specification and verification of data separation in a separation kernel for an embedded system

Constance Heitmeyer, Myla Archer, Elizabeth I. Leonard et al. · 2006 · 81 citations

Data Separation, Engineering, Information Security +22

1–5 of 22