Ralph D. Jeffords

Statistics

Publications

Citations

900

H-Index

Active since

1993

Affiliations

United States Naval Research Laboratory(Current)

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

Publications per year

1993–2007

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

Automatic generation of state invariants from requirements specifications

Ralph D. Jeffords, Constance Heitmeyer · 1998 · 80 citations · Full text

Engineering, Computer Science, Systems Engineering +17

Tools for constructing requirements specifications: the SCR Toolset at the age of nine.

Constance Heitmeyer, Myla Archer, Ramesh Bharadwaj et al. · Computer Systems: Science & Engineering · 2005 · 65 citations

Engineering, Computer Science, Systems Engineering +17

A Benchmark for Comparing Different Approaches for Specifying and Verifying Real-Time Systems

Constance Heitmeyer, B. Labaw, Ralph D. Jeffords · Defense Technical Information Center (DTIC) · 1993 · 55 citations

Computing, Computer Science, Systems Engineering +12

Comparing different approaches for specifying and verifying real-time systems

Constance Heitmeyer, Ralph D. Jeffords, B. Labaw · 1993 · 37 citations

Computing, Computer Engineering, Computer Science +14

1–5 of 8