2008 |
5 | EE | Marianne De Michiel,
Armelle Bonenfant,
Hugues Cassé,
Pascal Sainrat:
Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation.
RTCSA 2008: 161-166 |
4 | EE | Niklas Holsti,
Jan Gustafsson,
Guillem Bernat,
Clément Ballabriga,
Armelle Bonenfant,
Roman Bourgade,
Hugues Cassé,
Daniel Cordes,
Albrecht Kadlec,
Raimund Kirner,
Jens Knoop,
Paul Lokuciejewski,
Nicholas Merriam,
Marianne De Michiel,
Adrian Prantl,
Bernhard Rieder,
Christine Rochange,
Pascal Sainrat,
Markus Schordan:
WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.
WCET 2008 |
2007 |
3 | EE | Armelle Bonenfant,
Zezhi Chen,
Kevin Hammond,
Greg Michaelson,
Andrew M. Wallace,
Iain Wallace:
Towards resource-certified software: a formal cost model for time and its application to an image-processing example.
SAC 2007: 1307-1314 |
2 | EE | Christoph A. Herrmann,
Armelle Bonenfant,
Kevin Hammond,
Steffen Jost,
Hans-Wolfgang Loidl,
Robert F. Pointon:
Automatic Amortised Worst-Case Execution Time Analysis.
WCET 2007 |
2006 |
1 | EE | Armelle Bonenfant,
Christian Ferdinand,
Kevin Hammond,
Reinhold Heckmann:
Worst-Case Execution Times for a Purely Functional Language.
IFL 2006: 235-252 |