Jon Damon Reese

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	1999
c5		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
j3		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
j2		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)
c4		Jon Damon Reese, Nancy G. Leveson: Software Deviation Analysis. ICSE 1997: 250-260
c3		Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys: Integrated Safety Analysis of Requirements Specifications. RE 1997: 148-159
c2		Mats Per Erik Heimdahl, Jon Damon Reese: Software Requirements Specification and System Safety. RE 1997: 264
	1996
c1		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
j1		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)

Coauthor Index

Last update Sun May 19 07:43:19 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page