The following publications are possibly variants of this publication:
- Safe measurement-based WCET estimationJean-François Deverge, Isabelle Puaut. wcet 2007: [doi]
- A Formally Verified WCET Estimation ToolAndré Maroneze, Sandrine Blazy, David Pichardie, Isabelle Puaut. wcet 2014: 11-20 [doi]
- The W-SEPT Project: Towards Semantic-Aware WCET EstimationClaire 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. wcet 2017: [doi]
- STR2RTS: Refactored StreamIT Benchmarks into Statically Analyzable Parallel Benchmarks for WCET Estimation & Real-Time SchedulingBenjamin Rouxel, Isabelle Puaut. wcet 2017: [doi]
- Reconciling Compiler Optimizations and WCET Estimation Using Iterative CompilationMickaël Dardaillon, Stefanos Skalistis, Isabelle Puaut, Steven Derrien. rtss 2019: 133-145 [doi]