 | 2009 |
|---|
| 11 |       | Ralph D. Jeffords,
Constance L. Heitmeyer,
Myla Archer,
Elizabeth I. Leonard:
A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition.
FM 2009: 173-189 |
| 2007 |
|---|
| 10 | | Constance L. Heitmeyer,
Ralph D. Jeffords,
Ramesh Bharadwaj,
Myla Archer:
RE Theory Meets Software Practice: Lessons from the Software Development Trenches.
RE 2007: 265-268 |
| 2005 |
|---|
| 9 | | Ralph D. Jeffords,
Ramesh Bharadwaj:
Extended abstract: formal verification of architectural patterns in support of dependable distributed systems.
MEMOCODE 2005: 243-244 |
| 8 |  | Constance L. Heitmeyer,
Myla Archer,
Ramesh Bharadwaj,
Ralph D. Jeffords:
Tools for constructing requirements specifications: the SCR Toolset at the age of nine.
Comput. Syst. Sci. Eng. 20(1): (2005) |
| 2004 |
|---|
| 7 | | Ralph D. Jeffords,
Elizabeth I. Leonard:
Using invariants to optimize formal specifications before code synthesis.
MEMOCODE 2004: 73-82 |
| 2003 |
|---|
| 6 | | Ralph D. Jeffords,
Constance L. Heitmeyer:
A strategy for efficiently verifying requirements.
ESEC / SIGSOFT FSE 2003: 28-37 |
| 2001 |
|---|
| 5 | | Ralph D. Jeffords,
Constance L. Heitmeyer:
An Algorithm for Strengthening State Invariants Generated from Requirements Specifications.
RE 2001: 182-193 |
| 1998 |
|---|
| 4 | | Ralph D. Jeffords,
Constance L. Heitmeyer:
Automatic Generation of State Invariants from Requirements Specifications.
SIGSOFT FSE 1998: 56-69 |
| 1996 |
|---|
| 3 | | Constance L. Heitmeyer,
Ralph D. Jeffords,
Bruce G. Labaw:
Automated Consistency Checking of Requirements Specifications.
ACM Trans. Softw. Eng. Methodol. 5(3): 231-261 (1996) |
| 1982 |
|---|
| 2 | | Ralph D. Jeffords:
Bit vector encoding via decomposition.
ACM Southeast Regional Conference 1982: 217-222 |
| 1977 |
|---|
| 1 | | David B. Benson,
Ralph D. Jeffords:
Parallel Decomposition of LR(k) Parsers (Extended Abstract).
ICALP 1977: 76-86 |
