Armelle Bonenfant

	2010
7		Marianne De Michiel, Armelle Bonenfant, Clément Ballabriga, Hugues Cassé: Partial Flow Analysis with oRange. ISoLA (2) 2010: 479-482
6		Christine Rochange, Armelle Bonenfant, Pascal Sainrat, Mike Gerdes, Julian Wolf, Theo Ungerer, Zlatko Petrov, Frantisek Mikulu: WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core. WCET 2010: 90-100
	2008
5		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		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		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		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		Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann: Worst-Case Execution Times for a Purely Functional Language. IFL 2006: 235-252

Coauthor Index

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

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page