dblp.uni-trier.dewww.uni-trier.de

Armelle Bonenfant

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEMarianne 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
4EENiklas 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
3EEArmelle 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
2EEChristoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon: Automatic Amortised Worst-Case Execution Time Analysis. WCET 2007
2006
1EEArmelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann: Worst-Case Execution Times for a Purely Functional Language. IFL 2006: 235-252

Coauthor Index

1Clément Ballabriga [4]
2Guillem Bernat [4]
3Roman Bourgade [4]
4Hugues Cassé [4] [5]
5Zezhi Chen [3]
6Daniel Cordes [4]
7Christian Ferdinand [1]
8Jan Gustafsson [4]
9Kevin Hammond [1] [2] [3]
10Reinhold Heckmann [1]
11Christoph Armin Herrmann (Christoph A. Herrmann) [2]
12Niklas Holsti [4]
13Steffen Jost [2]
14Albrecht Kadlec [4]
15Raimund Kirner [4]
16Jens Knoop [4]
17Hans-Wolfgang Loidl [2]
18Paul Lokuciejewski [4]
19Nicholas Merriam [4]
20Greg Michaelson [3]
21Marianne De Michiel [4] [5]
22Robert F. Pointon [2]
23Adrian Prantl [4]
24Bernhard Rieder [4]
25Christine Rochange [4]
26Pascal Sainrat [4] [5]
27Markus Schordan [4]
28Andrew M. Wallace [3]
29Iain Wallace [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)