Rapid Prototyping of Embedded Software Using Selective Formalism. - John D. Carter; Ming Xu; William B. Gardner (IEEE International Workshop on Rapid System Prototyping, 2005)

A Formal CSP Framework for Message-Passing HPC Programming. - John D. Carter; William B. Gardner (CCECE, 2006)

Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming. - John D. Carter; William B. Gardner (SEW, 2007)

Stability of plane waves on deep water with dissipation. - Nathan E. Canney; John D. Carter (Math. Comput. Simul., 2007)

SpectrUW: A laboratory for the numerical exploration of spectra of linear operators. - Bernard Deconinck; Firat Kiyak; John D. Carter; J. Nathan Kutz (Math. Comput. Simul., 2007)

Converting scenarios to CSP traces with Mise en Scene for requirements-based programming. - John D. Carter; William B. Gardner (Innov. Syst. Softw. Eng., 2008)

The pilot approach to cluster programming in C. - John D. Carter; William B. Gardner; Gary Gréwal (IPDPS Workshops, 2010)

The pilot library for novice MPI programmers. - John D. Carter; William B. Gardner; Gary Gréwal (PPoPP, 2010)

CellPilot: A Seamless Communication Solution for Hybrid Cell Clusters. - N. Girard; William B. Gardner; John D. Carter; Gary Gréwal (ICPP Workshops, 2011)

Plane-wave solutions of a dissipative generalization of the vector nonlinear Schrödinger equation. - John D. Carter (Math. Comput. Simul., 2012)

Using the pilot library to teach message-passing programming. - William B. Gardner; John D. Carter (EduHPC@SC, 2014)

Supporting Selective Formalism in CSP++ with Process-Specific Storage. - William B. Gardner; Alicia Gumtie; John D. Carter (HPCC/CSS/ICESS, 2015)

BHive: Towards Behaviour-Driven Development Supported by B-Method. - John D. Carter; William B. Gardner (IRI, 2016)