Dan Craigen

Publication Activity (10 Years)

Years Active: 1984-2020
Publications (10 Years): 1

Top Topics

Design Patterns

Top Venues

Publications

Michael Weiss, Tony Bailetti, Dan Craigen, Steven Muegge
Patterns, design claims, and assertions. EuroPLoP (2020)
Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann
Formal Methods Diffusion: Past Lessons and Future Prospects. SAFECOMP (2000)
Dan Craigen
Formal Methods Adoption: What's Working, What's Not! SPIN (1999)
Stephen Michell, Dan Craigen, Mark Saaltink
Using analytical approaches for high integrity Ada95 systems. IRTAW (1997)
Dan Craigen, Mark Saaltink, Steve Michell
Ada 95 and Critical Systems: An Analytical Approach. Ada-Europe (1996)
Dan Craigen
Formal Methods Technology Transfer: Impediments and Innovation (Abstract). CONCUR (1995)
Ted Ralston, Susan L. Gerhart, Dan Craigen
The Role of Education and Trainig in the Industrial Application of Formal Methods. AMAST (1995)
Dan Craigen, Susan L. Gerhart, Ted Ralston
Formal Methods Reality Check: Industrial Usage. IEEE Trans. Software Eng. 21 (2) (1995)
Susan L. Gerhart, Dan Craigen, Ted Ralston
Case Study: Darlington Nuclear Generating Station. IEEE Softw. 11 (1) (1994)
Susan L. Gerhart, Dan Craigen, Ted Ralston
Experience with Formal Methods in Critical Systems. IEEE Softw. 11 (1) (1994)
Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels
An EVES Data Abstraction Example. FME (1993)
Susan L. Gerhart, Dan Craigen, Ted Ralston
Observations on Industrial Practice Using Formal Methods. ICSE (1993)
Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels
The EVES System. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Dan Craigen, Susan L. Gerhart, Ted Ralston
Formal Methods Reality Check: Industrial Usage. FME (1993)
Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink
Eves System Description. CADE (1992)
Dan Craigen, Susan L. Gerhart, Ted Ralston
An International Survey of Industrial Applications of Formal Methods. Z User Workshop (1992)
Dan Craigen, Peter Ryan
FM91: Formal Methods Workshop. ICSE (1991)
Dan Craigen
Tool Support for Formal Methods. ICSE (1991)
Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink
EVES: An Overview. VDM Europe (1) (1991)
Dan Craigen
FM 89: Assessment of Formal Methods for Trustworthy Computer Systems (Workshop Report). ICSE (1990)
Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink
m-EVES: A Tool for Verifying Software. ICSE (1988)
Dan Craigen
Strengths and Weaknesses of Program Verification Systems. ESEC (1987)
Dan Craigen, Donald I. Good
Overview of verification systems. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Dan Craigen
Some thoughts arising from a language design effort. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Dan Craigen, Mark Saaltink
An EVES update. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Dan Craigen
Ottawa Euclid and EVES: A Status Report. IEEE Symposium on Security and Privacy (1984)