Constance Heitmeyer

Statistics

Publications

Citations

3.3K

H-Index

Active since

1980

Affiliations

United States Naval Research Laboratory(Current)

Naval Research Laboratory Information Technology Division

Constance Heitmeyer is an author at United States Naval Research Laboratory specializing in computer science, formal methods, and requirements engineering.

ORCID

Publications per year

1980–2020

Publications

Automated consistency checking of requirements specifications

Constance Heitmeyer, Ralph D. Jeffords, B. Labaw · ACM Transactions on Software Engineering and Methodology · 1996 · 603 citations

Engineering, Computer Science, Formal Methods +16

Using model checking to generate tests from requirements specifications

Angelo Gargantini, Constance Heitmeyer · ACM SIGSOFT Software Engineering Notes · 1999 · 355 citations

Computing, Computer Science, Formal Methods +16

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 · 191 citations

Engineering, Computer Engineering, Computer Science +15

A security model for military message systems

Carl E. Landwehr, Constance Heitmeyer, John McLean · ACM Transactions on Computer Systems · 1984 · 163 citations · Full text

Computing, Computer Science, Computer Systems +12

Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda

Hermann Kaindl, Sjaak Brinkkemper, Janis A. Bubenko et al. · Requirements Engineering · 2002 · 151 citations

Engineering, Project Management, Technology Management +14

1–5 of 50