Myla Archer - Concepedia

Author

Myla Archer

United States Naval Research Laboratory

Also Known As

M Archer, M. Archer, Myla Archer, Myla M. Archer

Publications

1.3K

Citations

H-Index

Concepts

All Affiliations

United States Naval Research Laboratory University of Rochester Massachusetts Institute of Technology Naval Research Laboratory Information Technology Division University of Catania

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	16	880
2	Management	1	1	15
3	Biomedical Engineering	1	1	109
4	Biomolecular Engineering	1	1	46
5	Chemical Engineering	1	1	136

Myla Archer

Publications

1.1K

Citations

H-Index

Page 1

	Year	Citations
Using abstraction and model checking to detect safety violations in requirements specifications Constance Heitmeyer, James Kirby, B. Labaw, IEEE Transactions on Software Engineering Software MaintenanceEngineeringVerificationSafety ScienceSoftware Engineering	1998	190
Electrical porous silicon chemical sensor for detection of organic solvents Myla Archer, M. Christophersen, Philippe M. Fauchet Sensors and Actuators B Chemical Chemical EngineeringEngineeringOrganic SolventsSensorsChemical Sensors	2004	136
Macroporous Silicon Electrical Sensor for DNA Hybridization Detection Myla Archer, M. Christophersen, Philippe M. Fauchet Biomedical Microdevices EngineeringBiosensing SystemsBioelectronicsLab-on-a-chipBiomedical Engineering	2004	109
Applying Formal Methods to a Certifiably Secure Software System Constance Heitmeyer, Myla Archer, Elizabeth I. Leonard, IEEE Transactions on Software Engineering EngineeringInformation SecurityVerificationComputer-aided VerificationSoftware Analysis	2008	82
Formal specification and verification of data separation in a separation kernel for an embedded system Constance Heitmeyer, Myla Archer, Elizabeth I. Leonard, Data SeparationEngineeringInformation SecurityVerificationEmbedded Systems	2006	81
TAME: Using PVS strategies for special-purpose theorem proving Myla Archer Annals of Mathematics and Artificial Intelligence	2000	74
Tools for constructing requirements specifications: the SCR Toolset at the age of nine. Constance Heitmeyer, Myla Archer, Ramesh Bharadwaj, Computer Systems: Science & Engineering Software MaintenanceEngineeringSoftware ToolsVerificationSoftware Engineering	2005	65
Electrical sensing of DNA hybridization in porous silicon layers Myla Archer, Philippe M. Fauchet physica status solidi (a) EngineeringMolecular BiologySilicon On InsulatorDna NanotechnologyBiosensing Systems	2003	46
Mechanical verification of timed automata: a case study Myla Archer, Constance Heitmeyer EngineeringVerificationFormal VerificationMechanical VerificationHand Proofs	2002	37
Proving Invariants of I/O Automata with TAME Myla Archer, Constance Heitmeyer, Elvinia Riccobene Automated Software Engineering	2002	37

Page 1