 | 2011 |
| 13 |  | N. Girard,
William B. Gardner,
John D. Carter,
Gary Gréwal:
CellPilot: A Seamless Communication Solution for Hybrid Cell Clusters.
ICPP Workshops 2011: 259-268 |
| 2010 |
| 12 |  | John D. Carter,
William B. Gardner,
Gary Gréwal:
The pilot approach to cluster programming in C.
IPDPS Workshops 2010: 1-8 |
| 11 |  | John D. Carter,
William B. Gardner,
Gary Gréwal:
The pilot library for novice MPI programmers.
PPOPP 2010: 351-352 |
| 2008 |
| 10 |  | John D. Carter,
William B. Gardner:
Converting scenarios to CSP traces with Mise en Scene for requirements-based programming.
ISSE 4(1): 45-70 (2008) |
| 2007 |
| 9 |  | John D. Carter,
William B. Gardner:
Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming.
SEW 2007: 41-52 |
| 2006 |
| 8 |  | John D. Carter,
William B. Gardner:
A Formal CSP Framework for Message-Passing HPC Programming.
CCECE 2006: 1466-1470 |
| 2005 |
| 7 |  | William B. Gardner:
CSP++: How Faithful to CSPm?
CPA 2005: 129-146 |
| 6 |  | Stephen Doxsee,
William B. Gardner:
Synthesis of C++ Software from Verifiable CSPm Specifications.
ECBS 2005: 193-201 |
| 5 |  | S. W. Song,
J. D. Zheng,
William B. Gardner:
Prototyping a Residential Gateway Using Xilinx ISE.
IEEE International Workshop on Rapid System Prototyping 2005: 267-269 |
| 4 |  | John D. Carter,
Ming Xu,
William B. Gardner:
Rapid Prototyping of Embedded Software Using Selective Formalism.
IEEE International Workshop on Rapid System Prototyping 2005: 99-104 |
| 3 |  | Stephen Doxsee,
William B. Gardner:
Synthesis of C++ software for automated teller from CSPm specifications.
SAC 2005: 1565-1566 |
| 2 |  | William B. Gardner:
Converging CSP specifications and C++ programming via selective formalism.
ACM Trans. Embedded Comput. Syst. 4(2): 302-330 (2005) |
| 2003 |
| 1 |  | William B. Gardner:
Bridging CSP and C++ with Selective Formalism and Executable Specifications.
MEMOCODE 2003: 237- |