Dan Craigen

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