![]() | ![]() |
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] |