| 1999 |
|---|
| 5 | EE | James Kirby,
Myla Archer,
Constance L. Heitmeyer:
SCR: A Practical Approach to Building a High Assurance COMSEC System.
ACSAC 1999: 109-118 |
| 1998 |
|---|
| 4 | | Constance L. Heitmeyer,
James Kirby,
Bruce G. Labaw,
Ramesh Bharadwaj:
SCR*: A Toolset for Specifying and Analyzing Software Requirements.
CAV 1998: 526-531 |
| 3 | EE | Constance L. Heitmeyer,
James Kirby,
Bruce G. Labaw:
Applying the SCR requirements method to a weapons control panel: an experience report.
FMSP 1998: 92-102 |
| 2 | EE | Constance L. Heitmeyer,
James Kirby,
Bruce G. Labaw,
Myla Archer,
Ramesh Bharadwaj:
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.
IEEE Trans. Software Eng. 24(11): 927-948 (1998) |
| 1997 |
|---|
| 1 | EE | Constance L. Heitmeyer,
James Kirby,
Bruce G. Labaw:
The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support.
ICSE 1997: 610-611 |
