| |
| 2008 | ||
|---|---|---|
| 4 | EE | Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland: Preserving coordination properties when transforming concurrent system components. SAC 2008: 126-127 |
| 2007 | ||
| 3 | EE | Gudmund Grov, Greg Michaelson, Andrew Ireland: Formal verification of concurrent scheduling strategies using TLA. ICPADS 2007: 1-6 |
| 2006 | ||
| 2 | EE | Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland: Low-Level Programming in Hume: An Exploration of the HW-Hume Level. IFL 2006: 91-107 |
| 2005 | ||
| 1 | EE | Gudmund Grov: Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning. ASE 2005: 444-447 |
| 1 | Kevin Hammond | [2] |
| 2 | Andrew Ireland | [2] [3] [4] |
| 3 | Greg Michaelson | [2] [3] [4] |
| 4 | Robert F. Pointon | [4] |