|
Search the dblp DataBase
Armelle Bonenfant:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] SAC, 2007, pp:1307-1314 [Conf]
- Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann
Worst-Case Execution Times for a Purely Functional Language. [Citation Graph (0, 0)][DBLP] IFL, 2006, pp:235-252 [Conf]
Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation. [Citation Graph (, )][DBLP]
Automatic Amortised Worst-Case Execution Time Analysis. [Citation Graph (, )][DBLP]
WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|