Dan Craigen - RankMe

27 papers A* 5A 1B 2Misc 2Journal 6Unranked 10

Year	Rank	Type	Title / 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