Armelle Bonenfant

15 papers B 1C 2Misc 2Journal 1Unranked 9

Year	Rank	Type	Title / Venue / Authors
2024	C	`conf`	Modelling and proving the monotonicity of processor pipelines in Coq. MEMOCODE Alban Gruin, Armelle Bonenfant, Thomas Carle, Christine Rochange
2017	—	`conf`	Early WCET Prediction Using Machine Learning. WCET Armelle Bonenfant, Denis Claraz, Marianne De Michiel, Pascal Sotin
2017	—	`conf`	The W-SEPT Project: Towards Semantic-Aware WCET Estimation. WCET Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier, Hanbing Li, Marianne De Michiel, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun
2016	J	`jnl`	Parallelizing Industrial Hard Real-Time Applications for the parMERASA Multicore. ACM Trans. Embed. Comput. Syst. Theo Ungerer, Christian Bradatsch, Martin Frieb, Florian Kluge, Jörg Mische, Alexander Stegmeier, Ralf Jahr, Mike Gerdes, Pavel G. Zaykov, Lucie Matusova, Zai Jian Jia Li, Zlatko Petrov, Bert Böddeker, Sebastian Kehr, Hans Regler, Andreas Hugl, Christine Rochange, Haluk Ozaktas, Hugues Cassé, Armelle Bonenfant, Pascal Sainrat, Nick Lay, David George, Ian Broster, Eduardo Quiñones, Milos Panic, Jaume Abella, Carles Hernández, Francisco J. Cazorla, Sascha Uhrig, Mathias Rohde, Arthur Pyka
2014	—	`conf`	Identifying Relevant Parameters to Improve WCET Analysis. WCET Jakob Zwirchmayr, Pascal Sotin, Armelle Bonenfant, Denis Claraz, Philippe Cuenot
2013	C	`conf`	parMERASA - Multi-core Execution of Parallelised Hard Real-Time Applications Supporting Analysability. DSD Theo Ungerer, Christian Bradatsch, Mike Gerdes, Florian Kluge, Ralf Jahr, Jörg Mische, João Fernandes, Pavel G. Zaykov, Zlatko Petrov, Bert Böddeker, Sebastian Kehr, Hans Regler, Andreas Hugl, Christine Rochange, Haluk Ozaktas, Hugues Cassé, Armelle Bonenfant, Pascal Sainrat, Ian Broster, Nick Lay, David George, Eduardo Quiñones, Milos Panic, Jaume Abella, Francisco J. Cazorla, Sascha Uhrig, Mathias Rohde, Arthur Pyka
2012	Misc	`conf`	FFX: a portable WCET annotation language. RTNS Armelle Bonenfant, Hugues Cassé, Marianne De Michiel, Jens Knoop, Laura Kovács, Jakob Zwirchmayr
2012	—	`conf`	Normalisation of Loops with Covariant Variables. TAPAS@SAS Marianne De Michiel, Armelle Bonenfant, Hugues Cassé
2010	—	`conf`	Partial Flow Analysis with oRange. ISoLA (2) Marianne De Michiel, Armelle Bonenfant, Clément Ballabriga, Hugues Cassé
2010	—	`conf`	WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core. WCET Christine Rochange, Armelle Bonenfant, Pascal Sainrat, Mike Gerdes, Julian Wolf, Theo Ungerer, Zlatko Petrov, Frantisek Mikulu
2008	B	`conf`	Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation. RTCSA Marianne De Michiel, Armelle Bonenfant, Hugues Cassé, Pascal Sainrat
2008	—	`conf`	WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET 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
2007	—	`conf`	Automatic Amortised Worst-Case Execution Time Analysis. WCET Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon
2007	Misc	`conf`	Towards resource-certified software: a formal cost model for time and its application to an image-processing example. SAC Armelle Bonenfant, Zezhi Chen, Kevin Hammond, Greg Michaelson, Andrew M. Wallace, Iain Wallace
2006	—	`conf`	Worst-Case Execution Times for a Purely Functional Language. IFL Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann