Jon Damon Reese

	1999
8		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		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		Jon Damon Reese, Nancy G. Leveson: Software Deviation Analysis. ICSE 1997: 250-260
5		Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys: Integrated Safety Analysis of Requirements Specifications. RE 1997: 148-159
4		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		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		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

1	Richard J. Anderson	[2] [7]
2	Paul Beame	[2] [7]
3	Steve Burns	[2] [7]
4	William Chan	[2] [7]
5	Mats Per Erik Heimdahl	[1] [4] [8]
6	Holly Hildreth	[1]
7	Nancy G. Leveson	[1] [3] [5] [6] [8]
8	Francesmary Modugno	[2] [3] [5] [7]
9	David Notkin	[2] [7]
10	Kurt Partridge	[3] [5]
11	Sean D. Sandys	[3] [5]

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page