Dan Craigen

According to our database, Dan Craigen authored at least 26 papers between 1984 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Patterns, design claims, and assertions.

Michael Weiss, Tony Bailetti, Dan Craigen, Steven Muegge

Proceedings of the EuroPLoP '20: European Conference on Pattern Languages of Programs 2020, 2020

2000

Formal Methods Diffusion: Past Lessons and Future Prospects.

Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann

Proceedings of the Computer Safety, 2000

1999

Formal Methods Adoption: What's Working, What's Not!

Dan Craigen

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

1997

Using analytical approaches for high integrity Ada95 systems.

Stephen Michell, Dan Craigen, Mark Saaltink

Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

1996

Ada 95 and Critical Systems: An Analytical Approach.

Dan Craigen, Mark Saaltink, Steve Michell

Proceedings of the Reliable Software Technologies, 1996

1995

Formal Methods Reality Check: Industrial Usage.

Dan Craigen, Susan L. Gerhart, Ted Ralston

IEEE Trans. Software Eng., 1995

Formal Methods Technology Transfer: Impediments and Innovation (Abstract).

Dan Craigen

Proceedings of the CONCUR '95: Concurrency Theory, 1995

The Role of Education and Trainig in the Industrial Application of Formal Methods.

Ted Ralston, Susan L. Gerhart, Dan Craigen

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

Case Study: Darlington Nuclear Generating Station.

Susan L. Gerhart, Dan Craigen, Ted Ralston

IEEE Softw., 1994

Experience with Formal Methods in Critical Systems.

Susan L. Gerhart, Dan Craigen, Ted Ralston

IEEE Softw., 1994

1993

The EVES System.

Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels

Proceedings of the Functional Programming, 1993

Observations on Industrial Practice Using Formal Methods.

Susan L. Gerhart, Dan Craigen, Ted Ralston

Proceedings of the 15th International Conference on Software Engineering, 1993

An EVES Data Abstraction Example.

Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

Modelling Working Group Summary.

Dan Craigen

Proceedings of the Formal Methods in Systems Engineering, 1993

1992

An International Survey of Industrial Applications of Formal Methods.

Dan Craigen, Susan L. Gerhart, Ted Ralston

Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992

Eves System Description.

Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink

Proceedings of the Automated Deduction, 1992

1991

FM91: Formal Methods Workshop.

Dan Craigen, Peter Ryan

Proceedings of the 13th International Conference on Software Engineering, 1991

Tool Support for Formal Methods.

Dan Craigen

Proceedings of the 13th International Conference on Software Engineering, 1991

EVES: An Overview.

Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink

Proceedings of the VDM '91, 1991

1990

FM 89: Assessment of Formal Methods for Trustworthy Computer Systems (Workshop Report).

Dan Craigen

Proceedings of the 12th International Conference on Software Engineering, 1990

1988

m-EVES: A Tool for Verifying Software.

Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink

Proceedings of the Proceedings, 1988

1987

Strengths and Weaknesses of Program Verification Systems.

Dan Craigen

Proceedings of the ESEC '87, 1987

1985

An EVES update.

Dan Craigen, Mark Saaltink

ACM SIGSOFT Softw. Eng. Notes, 1985

Overview of verification systems.

Dan Craigen, Donald I. Good

ACM SIGSOFT Softw. Eng. Notes, 1985

Some thoughts arising from a language design effort.

Dan Craigen

ACM SIGSOFT Softw. Eng. Notes, 1985

1984

Ottawa Euclid and EVES: A Status Report.

Dan Craigen

Proceedings of the 1984 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 29, 1984