Jon Damon Reese

Publication Activity (10 Years)

Years Active: 1991-1999
Publications (10 Years): 0

Publications

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)
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) (1998)
Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys
Integrated Safety Analysis of Requirements Specifications. Requir. Eng. 2 (2) (1997)
Jon Damon Reese, Nancy G. Leveson
Software Deviation Analysis. ICSE (1997)
Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys
Integrated Safety Analysis of Requirements Specifications. RE (1997)
Mats Per Erik Heimdahl, Jon Damon Reese
Software Requirements Specification and System Safety. RE (1997)
Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese
Model Checking Large Software Specifications. SIGSOFT FSE (1996)
Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese
Requirements Specification for Process-Control Systems. IEEE Trans. Software Eng. 20 (9) (1994)
Nancy G. Leveson, Mats P. E. Heimdahl, Holly Hildreth, Jon Damon Reese, R. Ortega
Experiences using statecharts for a system requirements specification. IWSSD (1991)