Dan Craigen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
7
Active years
1984–2020
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | EuroPLop | Patterns, design claims, and assertions. | Michael Weiss, Tony Bailetti, Dan Craigen, Steven Muegge |
| 2000 | SAFECOMP | Formal Methods Diffusion: Past Lessons and Future Prospects. | Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann |
| 1995 | CONCUR | Formal Methods Technology Transfer: Impediments and Innovation (Abstract). | Dan Craigen |
| 1993 | FM | Formal Methods Reality Check: Industrial Usage. | Dan Craigen, Susan L. Gerhart, Ted Ralston |
| 1993 | FM | An EVES Data Abstraction Example. | Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels |
| 1993 | ICSE | Observations on Industrial Practice Using Formal Methods. | Susan L. Gerhart, Dan Craigen, Ted Ralston |
| 1992 | CADE | Eves System Description. | Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink |
| 1991 | FM | EVES: An Overview. | Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink |
| 1991 | ICSE | Tool Support for Formal Methods. | Dan Craigen |
| 1991 | ICSE | FM91: Formal Methods Workshop. | Dan Craigen, Peter Ryan |
| 1990 | ICSE | FM 89: Assessment of Formal Methods for Trustworthy Computer Systems (Workshop Report). | Dan Craigen |
| 1988 | ICSE | m-EVES: A Tool for Verifying Software. | Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink |
| 1984 | SP | Ottawa Euclid and EVES: A Status Report. | Dan Craigen |