Publications

Papers

• Ajay Chander, Steven Dawson, Patrick Lincoln and David Stringer-Calvert, NEVRLATE: Scalable Resource Discovery, Accepted for workshop at CCGrid '02.
• Taeho Kim, David Stringer-Calvert and Sung-Deok Cha, Formal Verification of Functional Properties of SCR-style Software Requirements Specification using PVS, In proceedings of TACAS '02, Springer-Verlag LNCS 2280 April 2002.
• S. Owre, J. M. Rushby, N. Shankar, and D. W. J. Stringer-Calvert, PVS: An Experience Report, In proceedings of FM-Trends '98, Springer-Verlag LNCS 1641, October 1998.
• David WJ Stringer-Calvert, Susan Stepney and Ian Wand, "Using PVS to Prove a Z Refinment: A Case Study" In proceedings of FME '97, Springer-Verlag LNCS 1313 September 1997.

Lighter Reading

• David WJ Stringer-Calvert, "Digital Evidence", Inside Risks, Communications of the ACM 45(4), page 128, April 2002.

Technical Reports

• JM Rushby and DWJ Stringer-Calvert, "A less elementary tutorial for the PVS verification system", Technical Report CSL-95-10, Computer Science Laboratory, SRI International, Menlo Park. August 1996.

Patents

• I have about 12 pending US patent applications.

Doctoral Thesis

• DWJ Stringer-Calvert, "Mechanical Verification of Compiler Correctness", DPhil Thesis, Department of Computer Science, University of York, UK. March 1998.

Masters

• DWJ Stringer-Calvert, "Signature Matching for Ada Software Reuse", Master of Engineering, Department of Computer Science, University of York, UK. March 1994.

User Manuals

• N. Shankar, S. Owre, J.M. Rushby and D.W.J. Stringer-Calvert, PVS Prover Guide Computer Science Laboratory, SRI International. November 2001.
• S. Owre, N. Shankar, J.M. Rushby and D.W.J. Stringer-Calvert, PVS Language Reference Computer Science Laboratory, SRI International. November 2001.
• S. Owre, N. Shankar, J.M. Rushby and D.W.J. Stringer-Calvert, PVS System Guide Computer Science Laboratory, SRI International. November 2001.

Return to my home page