default search action
Dan Craigen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [c20]Michael Weiss, Tony Bailetti, Dan Craigen, Steven Muegge:
Patterns, design claims, and assertions. EuroPLoP 2020: 2:1-2:4
2000 – 2009
- 2000
- [c19]Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann:
Formal Methods Diffusion: Past Lessons and Future Prospects. SAFECOMP 2000: 211-226
1990 – 1999
- 1999
- [c18]Dan Craigen:
Formal Methods Adoption: What's Working, What's Not! SPIN 1999: 77-91 - 1997
- [c17]Stephen Michell, Dan Craigen, Mark Saaltink:
Using analytical approaches for high integrity Ada95 systems. IRTAW 1997: 65-70 - 1996
- [c16]Dan Craigen, Mark Saaltink, Steve Michell:
Ada 95 and Critical Systems: An Analytical Approach. Ada-Europe 1996: 171-182 - 1995
- [j6]Dan Craigen, Susan L. Gerhart, Ted Ralston:
Formal Methods Reality Check: Industrial Usage. IEEE Trans. Software Eng. 21(2): 90-98 (1995) - [c15]Ted Ralston, Susan L. Gerhart, Dan Craigen:
The Role of Education and Trainig in the Industrial Application of Formal Methods. AMAST 1995: 41-49 - [c14]Dan Craigen:
Formal Methods Technology Transfer: Impediments and Innovation (Abstract). CONCUR 1995: 328-332 - 1994
- [j5]Susan L. Gerhart, Dan Craigen, Ted Ralston:
Experience with Formal Methods in Critical Systems. IEEE Softw. 11(1): 21-28 (1994) - [j4]Susan L. Gerhart, Dan Craigen, Ted Ralston:
Case Study: Darlington Nuclear Generating Station. IEEE Softw. 11(1): 30-39 (1994) - 1993
- [c13]Dan Craigen, Susan L. Gerhart, Ted Ralston:
Formal Methods Reality Check: Industrial Usage. FME 1993: 250-267 - [c12]Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels:
An EVES Data Abstraction Example. FME 1993: 578-596 - [c11]Susan L. Gerhart, Dan Craigen, Ted Ralston:
Observations on Industrial Practice Using Formal Methods. ICSE 1993: 24-33 - [c10]Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels:
The EVES System. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 349-373 - [p1]Dan Craigen:
Modelling Working Group Summary. Formal Methods in Systems Engineering 1993: 81-87 - 1992
- [c9]Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink:
Eves System Description. CADE 1992: 771-775 - [c8]Dan Craigen, Susan L. Gerhart, Ted Ralston:
An International Survey of Industrial Applications of Formal Methods. Z User Workshop 1992: 1-5 - 1991
- [c7]Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink:
EVES: An Overview. VDM Europe (1) 1991: 389-405 - [c6]Dan Craigen, Peter Ryan:
FM91: Formal Methods Workshop. ICSE 1991: 140-142 - [c5]Dan Craigen:
Tool Support for Formal Methods. ICSE 1991: 184-185 - 1990
- [c4]Dan Craigen:
FM 89: Assessment of Formal Methods for Trustworthy Computer Systems (Workshop Report). ICSE 1990: 233-235
1980 – 1989
- 1988
- [c3]Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink:
m-EVES: A Tool for Verifying Software. ICSE 1988: 324-333 - 1987
- [c2]Dan Craigen:
Strengths and Weaknesses of Program Verification Systems. ESEC 1987: 396-404 - 1985
- [j3]Dan Craigen, Donald I. Good:
Overview of verification systems. ACM SIGSOFT Softw. Eng. Notes 10(4): 1 (1985) - [j2]Dan Craigen, Mark Saaltink:
An EVES update. ACM SIGSOFT Softw. Eng. Notes 10(4): 33-34 (1985) - [j1]Dan Craigen:
Some thoughts arising from a language design effort. ACM SIGSOFT Softw. Eng. Notes 10(4): 80-81 (1985) - 1984
- [c1]Dan Craigen:
Ottawa Euclid and EVES: A Status Report. S&P 1984: 114-124
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint