Search the dblp DataBase
Dan Craigen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Dan Craigen, Mark Saaltink, Steve Michell
Ada 95 and Critical Systems: An Analytical Approach. [Citation Graph (0, 0)][DBLP]
Ada-Europe, 1996, pp:171-182 [Conf] - Ted Ralston, Susan L. Gerhart, Dan Craigen
The Role of Education and Trainig in the Industrial Application of Formal Methods. [Citation Graph (0, 0)][DBLP]
AMAST, 1995, pp:41-49 [Conf] - Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink
Eves System Description. [Citation Graph (0, 0)][DBLP]
CADE, 1992, pp:771-775 [Conf] - Dan Craigen
Formal Methods Technology Transfer: Impediments and Innovation (Abstract). [Citation Graph (0, 0)][DBLP]
CONCUR, 1995, pp:328-332 [Conf] - Dan Craigen
Strengths and Weaknesses of Program Verification Systems. [Citation Graph (0, 0)][DBLP]
ESEC, 1987, pp:396-404 [Conf] - Dan Craigen, Susan L. Gerhart, Ted Ralston
Formal Methods Reality Check: Industrial Usage. [Citation Graph (0, 0)][DBLP]
FME, 1993, pp:250-267 [Conf] - Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink
EVES: An Overview. [Citation Graph (0, 0)][DBLP]
VDM Europe (1), 1991, pp:389-405 [Conf] - Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels
An EVES Data Abstraction Example. [Citation Graph (0, 0)][DBLP]
FME, 1993, pp:578-596 [Conf] - Dan Craigen
FM 89: Assessment of Formal Methods for Trustworthy Computer Systems (Workshop Report). [Citation Graph (0, 0)][DBLP]
ICSE, 1990, pp:233-235 [Conf] - Dan Craigen
Tool Support for Formal Methods. [Citation Graph (0, 0)][DBLP]
ICSE, 1991, pp:184-185 [Conf] - Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, A. Neilson, Bill Pase, Mark Saaltink
m-EVES: A Tool for Verifying Software. [Citation Graph (0, 0)][DBLP]
ICSE, 1988, pp:324-333 [Conf] - Dan Craigen, Peter Ryan
FM91: Formal Methods Workshop. [Citation Graph (0, 0)][DBLP]
ICSE, 1991, pp:140-142 [Conf] - Susan L. Gerhart, Dan Craigen, Ted Ralston
Observations on Industrial Practice Using Formal Methods. [Citation Graph (0, 0)][DBLP]
ICSE, 1993, pp:24-33 [Conf] - Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels
The EVES System. [Citation Graph (0, 0)][DBLP]
Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:349-373 [Conf] - Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann
Formal Methods Diffusion: Past Lessons and Future Prospects. [Citation Graph (0, 0)][DBLP]
SAFECOMP, 2000, pp:211-226 [Conf] - Dan Craigen
Ottawa Euclid and EVES: A Status Report. [Citation Graph (0, 0)][DBLP]
IEEE Symposium on Security and Privacy, 1984, pp:114-124 [Conf] - Dan Craigen
Formal Methods Adoption: What's Working, What's Not! [Citation Graph (0, 0)][DBLP]
SPIN, 1999, pp:77-91 [Conf] - Dan Craigen, Susan L. Gerhart, Ted Ralston
An International Survey of Industrial Applications of Formal Methods. [Citation Graph (0, 0)][DBLP]
Z User Workshop, 1992, pp:1-5 [Conf] - Susan L. Gerhart, Dan Craigen, Ted Ralston
Experience with Formal Methods in Critical Systems. [Citation Graph (0, 0)][DBLP]
IEEE Software, 1994, v:11, n:1, pp:21-28 [Journal] - Susan L. Gerhart, Dan Craigen, Ted Ralston
Case Study: Darlington Nuclear Generating Station. [Citation Graph (0, 0)][DBLP]
IEEE Software, 1994, v:11, n:1, pp:30-39 [Journal] - Dan Craigen, Susan L. Gerhart, Ted Ralston
Formal Methods Reality Check: Industrial Usage. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1995, v:21, n:2, pp:90-98 [Journal]
Search in 0.002secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002