 | 2009 |
|---|
| 8 |       | Hugh Anderson,
Siau-Cheng Khoo:
Improving Responsiveness of Hard Real-Time Embedded Systems.
TASE 2009: 13-20 |
| 7 | | Rhys Owen,
Hugh Anderson:
Data Structure Shape Inference and Verification for OO Programs.
TASE 2009: 307-308 |
| 2007 |
|---|
| 6 | | Hugh Anderson,
Siau-Cheng Khoo,
Yijie Liu:
A Tool for Calculating Exponential Run-Time Properties.
SYNASC 2007: 25-32 |
| 2006 |
|---|
| 5 | | Beatrice Luca,
Stefan Andrei,
Hugh Anderson,
Siau-Cheng Khoo:
Program transformation by solving recurrences.
PEPM 2006: 121-129 |
| 2005 |
|---|
| 4 | | Hugh Anderson,
Siau-Cheng Khoo,
Stefan Andrei,
Beatrice Luca:
Calculating Polynomial Runtime Properties.
APLAS 2005: 230-246 |
| 2003 |
|---|
| 3 | | Hugh Anderson,
Siau-Cheng Khoo:
Affine-Based Size-Change Termination.
APLAS 2003: 122-140 |
| 2002 |
|---|
| 2 | | Hugh Anderson:
Abstract Interpretation with a Theorem Prover.
ICFEM 2002: 411-422 |
| 2001 |
|---|
| 1 | | Hugh Anderson:
Formalization and 'Literate' Programming.
APSEC 2001: 39-44 |
