Dan Craigen

2000
21	EE	Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann: Formal Methods Diffusion: Past Lessons and Future Prospects. SAFECOMP 2000: 211-226
1999
20	EE	Dan Craigen: Formal Methods Adoption: What's Working, What's Not! SPIN 1999: 77-91
1996
19		Dan Craigen, Mark Saaltink, Steve Michell: Ada 95 and Critical Systems: An Analytical Approach. Ada-Europe 1996: 171-182
1995
18		Ted Ralston, Susan L. Gerhart, Dan Craigen: The Role of Education and Trainig in the Industrial Application of Formal Methods. AMAST 1995: 41-49
17		Dan Craigen: Formal Methods Technology Transfer: Impediments and Innovation (Abstract). CONCUR 1995: 328-332
16	EE	Dan Craigen, Susan L. Gerhart, Ted Ralston: Formal Methods Reality Check: Industrial Usage. IEEE Trans. Software Eng. 21(2): 90-98 (1995)
1994
15	EE	Susan L. Gerhart, Dan Craigen, Ted Ralston: Experience with Formal Methods in Critical Systems. IEEE Software 11(1): 21-28 (1994)
14	EE	Susan L. Gerhart, Dan Craigen, Ted Ralston: Case Study: Darlington Nuclear Generating Station. IEEE Software 11(1): 30-39, 28 (1994)
1993
13		Dan Craigen, Susan L. Gerhart, Ted Ralston: Formal Methods Reality Check: Industrial Usage. FME 1993: 250-267
12		Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels: An EVES Data Abstraction Example. FME 1993: 578-596
11		Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels: The EVES System. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 349-373
10	EE	Susan L. Gerhart, Dan Craigen, Ted Ralston: Observations on Industrial Practice Using Formal Methods. ICSE 1993: 24-33
1992
9		Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink: Eves System Description. CADE 1992: 771-775
8		Dan Craigen, Susan L. Gerhart, Ted Ralston: An International Survey of Industrial Applications of Formal Methods. Z User Workshop 1992: 1-5
1991
7	EE	Dan Craigen, Peter Ryan: FM91: Formal Methods Workshop. ICSE 1991: 140-142
6	EE	Dan Craigen: Tool Support for Formal Methods. ICSE 1991: 184-185
5		Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink: EVES: An Overview. VDM Europe (1) 1991: 389-405
1990
4		Dan Craigen: FM 89: Assessment of Formal Methods for Trustworthy Computer Systems (Workshop Report). ICSE 1990: 233-235
1988
3		Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, A. Neilson, Bill Pase, Mark Saaltink: m-EVES: A Tool for Verifying Software. ICSE 1988: 324-333
1987
2		Dan Craigen: Strengths and Weaknesses of Program Verification Systems. ESEC 1987: 396-404
1984
1		Dan Craigen: Ottawa Euclid and EVES: A Status Report. IEEE Symposium on Security and Privacy 1984: 114-124

Coauthor Index

1	Robin E. Bloomfield	[21]
2	Susan L. Gerhart	[8] [10] [13] [14] [15] [16] [18]
3	Frank Koob	[21]
4	Sentot Kromodimoeljo	[3] [5] [9] [11] [12]
5	Irwin Meisels	[3] [5] [9] [11] [12]
6	Steve Michell	[19]
7	A. Neilson	[3]
8	Bill Pase	[3] [5] [9] [11] [12]
9	Ted Ralston	[8] [10] [13] [14] [15] [16] [18]
10	Peter Y. A. Ryan (Peter Ryan)	[7]
11	Mark Saaltink	[3] [5] [9] [11] [12] [19]
12	Markus Ullmann	[21]
13	Stefan Wittmann	[21]

Colors in the list of coauthors