Armelle Bonenfant
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2007–2024
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | MEMOCODE | Modelling and proving the monotonicity of processor pipelines in Coq. | Alban Gruin, Armelle Bonenfant, Thomas Carle, Christine Rochange |
| 2013 | DSD | parMERASA - Multi-core Execution of Parallelised Hard Real-Time Applications Supporting Analysability. | Theo Ungerer, Christian Bradatsch, Mike Gerdes, Florian Kluge, Ralf Jahr, Jrg Mische, Joo Fernandes, Pavel G. Zaykov, Zlatko Petrov, Bert Bddeker, Sebastian Kehr, Hans Regler, Andreas Hugl, Christine Rochange, Haluk Ozaktas, Hugues Cass, Armelle Bonenfant, Pascal Sainrat, Ian Broster, Nick Lay, David George, Eduardo Quiones, Milos Panic, Jaume Abella, Francisco J. Cazorla, Sascha Uhrig, Mathias Rohde, Arthur Pyka |
| 2012 | RTNS | FFX: a portable WCET annotation language. | Armelle Bonenfant, Hugues Cass, Marianne De Michiel, Jens Knoop, Laura Kovcs, Jakob Zwirchmayr |
| 2010 | ISoLA | Partial Flow Analysis with oRange. | Marianne De Michiel, Armelle Bonenfant, Clment Ballabriga, Hugues Cass |
| 2008 | RTCSA | Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation. | Marianne De Michiel, Armelle Bonenfant, Hugues Cass, Pascal Sainrat |
| 2007 | SAC | 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 |