| |
| 2006 | ||
|---|---|---|
| 2 | EE | Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace: Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET 2006 |
| 2005 | ||
| 1 | Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace: The Embounded project (project start paper). Trends in Functional Programming 2005: 195-210 | |
| 1 | Roy Dyckhoff | [1] [2] |
| 2 | Christian Ferdinand | [1] [2] |
| 3 | Kevin Hammond | [1] [2] |
| 4 | Reinhold Heckmann | [1] [2] |
| 5 | Martin Hofmann | [1] [2] |
| 6 | Steffen Jost | [1] [2] |
| 7 | Hans-Wolfgang Loidl | [1] [2] |
| 8 | Greg Michaelson | [1] [2] |
| 9 | Robert F. Pointon | [1] [2] |
| 10 | Norman Scaife | [1] [2] |
| 11 | Jocelyn Sérot | [1] [2] |