Armelle Bonenfant

According to our database, Armelle Bonenfant authored at least 14 papers between 2006 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

The W-SEPT Project: Towards Semantic-Aware WCET Estimation.

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

Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis, 2017

Early WCET Prediction Using Machine Learning.

Armelle Bonenfant, Denis Claraz, Marianne De Michiel, Pascal Sotin

Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis, 2017

2016

Parallelizing Industrial Hard Real-Time Applications for the parMERASA Multicore.

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

ACM Trans. Embed. Comput. Syst., 2016

2014

Identifying Relevant Parameters to Improve WCET Analysis.

Jakob Zwirchmayr, Pascal Sotin, Armelle Bonenfant, Denis Claraz, Philippe Cuenot

Proceedings of the 14th International Workshop on Worst-Case Execution Time Analysis, 2014

2013

parMERASA - Multi-core Execution of Parallelised Hard Real-Time Applications Supporting Analysability.

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

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

2012

Normalisation of Loops with Covariant Variables.

Marianne De Michiel, Armelle Bonenfant, Hugues Cassé

Proceedings of the Third Workshop on Tools for Automatic Program Analysis, 2012

FFX: a portable WCET annotation language.

Armelle Bonenfant, Hugues Cassé, Marianne De Michiel, Jens Knoop, Laura Kovács, Jakob Zwirchmayr

Proceedings of the 20th International Conference on Real-Time and Network Systems, 2012

2010

WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core.

Christine Rochange, Armelle Bonenfant, Pascal Sainrat, Mike Gerdes, Julian Wolf, Theo Ungerer, Zlatko Petrov, Frantisek Mikulu

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

Partial Flow Analysis with oRange.

Marianne De Michiel, Armelle Bonenfant, Clément Ballabriga, Hugues Cassé

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2008

WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.

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

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation.

Marianne De Michiel, Armelle Bonenfant, Hugues Cassé, Pascal Sainrat

Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

2007

Automatic Amortised Worst-Case Execution Time Analysis.

Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon

Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

Towards resource-certified software: a formal cost model for time and its application to an image-processing example.

Armelle Bonenfant, Zezhi Chen, Kevin Hammond, Greg Michaelson, Andrew M. Wallace, Iain Wallace

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2006

Worst-Case Execution Times for a Purely Functional Language.

Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann

Proceedings of the Implementation and Application of Functional Languages, 2006