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 |