| 1999 |
|---|
| 8 | EE | Nancy G. Leveson,
Mats Per Erik Heimdahl,
Jon Damon Reese:
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future.
ESEC / SIGSOFT FSE 1999: 127-145 |
| 1998 |
|---|
| 7 | EE | William Chan,
Richard J. Anderson,
Paul Beame,
Steve Burns,
Francesmary Modugno,
David Notkin,
Jon Damon Reese:
Model Checking Large Software Specifications.
IEEE Trans. Software Eng. 24(7): 498-520 (1998) |
| 1997 |
|---|
| 6 | EE | Jon Damon Reese,
Nancy G. Leveson:
Software Deviation Analysis.
ICSE 1997: 250-260 |
| 5 | EE | Francesmary Modugno,
Nancy G. Leveson,
Jon Damon Reese,
Kurt Partridge,
Sean D. Sandys:
Integrated Safety Analysis of Requirements Specifications.
RE 1997: 148-159 |
| 4 | EE | Mats Per Erik Heimdahl,
Jon Damon Reese:
Software Requirements Specification and System Safety.
RE 1997: 264 |
| 3 | | Francesmary Modugno,
Nancy G. Leveson,
Jon Damon Reese,
Kurt Partridge,
Sean D. Sandys:
Integrated Safety Analysis of Requirements Specifications.
Requir. Eng. 2(2): 65-78 (1997) |
| 1996 |
|---|
| 2 | EE | Richard J. Anderson,
Paul Beame,
Steve Burns,
William Chan,
Francesmary Modugno,
David Notkin,
Jon Damon Reese:
Model Checking Large Software Specifications.
SIGSOFT FSE 1996: 156-166 |
| 1994 |
|---|
| 1 | EE | Nancy G. Leveson,
Mats Per Erik Heimdahl,
Holly Hildreth,
Jon Damon Reese:
Requirements Specification for Process-Control Systems.
IEEE Trans. Software Eng. 20(9): 684-707 (1994) |
