| 1998 |
|---|
| 9 | EE | Francis Schneider,
Steve M. Easterbrook,
John R. Callahan,
Gerard J. Holzmann:
Validating Requirements for Fault Tolerant Systems using Model Checking.
ICRE 1998: 4-13 |
| 8 | | John R. Callahan,
Reshma R. Khatsuriya,
Randy Hefner:
Web-Based Issue Tracking for Large Software-Projects.
IEEE Internet Computing 2(5): 25-33 (1998) |
| 7 | EE | Steve M. Easterbrook,
John R. Callahan:
Formal methods for verification and validation of partial specifications: A case study.
Journal of Systems and Software 40(3): 199-210 (1998) |
| 1997 |
|---|
| 6 | EE | Steve M. Easterbrook,
John R. Callahan:
Formal Methods for V&V of Partial Specifications: An Experience RSeport.
RE 1997: 160-168 |
| 1996 |
|---|
| 5 | EE | John R. Callahan,
Todd L. Montgomery:
An Approach to Verification and Validation of a Reliable Multicasting Protocol.
ISSTA 1996: 187-194 |
| 4 | EE | Steve M. Easterbrook,
John R. Callahan:
Independent validation of specifications: a coordination headache.
WETICE 1996: 232-237 |
| 1995 |
|---|
| 3 | EE | John R. Callahan:
Using Technology to Enable Collaboration: WET ICE '95.
IEEE Expert 10(4): 75 (1995) |
| 1991 |
|---|
| 2 | EE | John R. Callahan,
James M. Purtilo:
A Packaging System For Heterogeneous Execution Environments.
IEEE Trans. Software Eng. 17(6): 626-635 (1991) |
| 1989 |
|---|
| 1 | EE | James M. Purtilo,
John R. Callahan:
Parse Tree Annotations.
Commun. ACM 32(12): 1467-1477 (1989) |
