dblp.uni-trier.dewww.uni-trier.de

Dan Craigen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2000
21EERobin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann: Formal Methods Diffusion: Past Lessons and Future Prospects. SAFECOMP 2000: 211-226
1999
20EEDan Craigen: Formal Methods Adoption: What's Working, What's Not! SPIN 1999: 77-91
1996
19EEDan 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
17EEDan Craigen: Formal Methods Technology Transfer: Impediments and Innovation (Abstract). CONCUR 1995: 328-332
16EEDan Craigen, Susan L. Gerhart, Ted Ralston: Formal Methods Reality Check: Industrial Usage. IEEE Trans. Software Eng. 21(2): 90-98 (1995)
1994
15EESusan L. Gerhart, Dan Craigen, Ted Ralston: Experience with Formal Methods in Critical Systems. IEEE Software 11(1): 21-28 (1994)
14EESusan L. Gerhart, Dan Craigen, Ted Ralston: Case Study: Darlington Nuclear Generating Station. IEEE Software 11(1): 30-39, 28 (1994)
1993
13EEDan Craigen, Susan L. Gerhart, Ted Ralston: Formal Methods Reality Check: Industrial Usage. FME 1993: 250-267
12EEMark 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
10EESusan L. Gerhart, Dan Craigen, Ted Ralston: Observations on Industrial Practice Using Formal Methods. ICSE 1993: 24-33
1992
9EEDan 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
7EEDan Craigen, Peter Ryan: FM91: Formal Methods Workshop. ICSE 1991: 140-142
6EEDan Craigen: Tool Support for Formal Methods. ICSE 1991: 184-185
5EEDan 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)