Worst-Case Execution Times for a Purely Functional Language. - Armelle Bonenfant; Christian Ferdinand; Kevin Hammond; Reinhold Heckmann (IFL, 2006)

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 (SAC, 2007)

Automatic Amortised Worst-Case Execution Time Analysis. - Christoph A. Herrmann; Armelle Bonenfant; Kevin Hammond; Steffen Jost; Hans-Wolfgang Loidl; Robert F. Pointon (WCET, 2007)

Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation. - Marianne De Michiel; Armelle Bonenfant; Hugues Cassé; Pascal Sainrat (RTCSA, 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; et al. (WCET, 2008)

Partial Flow Analysis with oRange. - Marianne De Michiel; Armelle Bonenfant; Clément Ballabriga; Hugues Cassé (ISoLA (2), 2010)

WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core. - Christine Rochange; Armelle Bonenfant; Pascal Sainrat; Mike Gerdes 001; Julian Wolf 002; Theo Ungerer; Zlatko Petrov; Frantisek Mikulu (WCET, 2010)

FFX: a portable WCET annotation language. - Armelle Bonenfant; Hugues Cassé; Marianne De Michiel; Jens Knoop; Laura Kovács; Jakob Zwirchmayr (RTNS, 2012)

Normalisation of Loops with Covariant Variables. - Marianne De Michiel; Armelle Bonenfant; Hugues Cassé (TAPAS@SAS, 2012)

parMERASA - Multi-core Execution of Parallelised Hard Real-Time Applications Supporting Analysability. - Theo Ungerer; Christian Bradatsch; Mike Gerdes 001; Florian Kluge; Ralf Jahr; Jörg Mische; João Fernandes; Pavel G. Zaykov; Zlatko Petrov; Bert Böddeker; Sebastian Kehr; Hans Regler; et al. (DSD, 2013)

Identifying Relevant Parameters to Improve WCET Analysis. - Jakob Zwirchmayr; Pascal Sotin; Armelle Bonenfant; Denis Claraz; Philippe Cuenot (WCET, 2014)

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 001; Pavel G. Zaykov; Lucie Matusova; Zai Jian Jia Li; Zlatko Petrov; et al. (ACM Trans. Embed. Comput. Syst., 2016)

Early WCET Prediction Using Machine Learning. - Armelle Bonenfant; Denis Claraz; Marianne De Michiel; Pascal Sotin (WCET, 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; et al. (WCET, 2017)

Modelling and proving the monotonicity of processor pipelines in Coq. - Alban Gruin; Armelle Bonenfant; Thomas Carle; Christine Rochange (MEMOCODE, 2024)