David W. J. Stringer-Calvert

According to our database, David W. J. Stringer-Calvert authored at least 8 papers between 1997 and 2006.

Collaborative distances:

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

2006

BioWarehouse: a bioinformatics database warehouse toolkit.

Thomas J. Lee, Yannick Pouliot, Valerie Wagner, Priyanka Gupta, David W. J. Stringer-Calvert, Jessica D. Tenenbaum, Peter D. Karp

BMC Bioinform., 2006

2005

Formal verification of functional properties of a SCR-style software requirements specification using PVS.

Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha

Reliab. Eng. Syst. Saf., 2005

2002

Digital Evidence.

David W. J. Stringer-Calvert

Commun. ACM, 2002

Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS.

Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

NEVRLATE: Scalable Resource Discovery.

Ajay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert

Proceedings of the 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002), 2002

1998

Mechanical verification of compiler correctness.

David William John Stringer-Calvert

PhD thesis, 1998

PVS: An Experience Report.

Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert

Proceedings of the Applied Formal Methods, 1998

1997

Using PVS to Prove a Z Refinement: A Case Study.

David W. J. Stringer-Calvert, Susan Stepney, Ian Wand

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997