Towards Predicated WCET Analysis. - Amine Marref; Guillem Bernat (WCET, 2008)

Predicated Worst-Case Execution-Time Analysis. - Amine Marref; Guillem Bernat (Ada-Europe, 2009)

Predicated Worst Case Execution Time Analysis. - Amine Marref (2009)

Compositional timing analysis. - Amine Marref (ICSAMOS, 2010)

WCET Analysis of Component-Based Systems Using Timing Traces. - Adam Betts; Amine Marref (ICECCS, 2011)

Memory Positioning of Real-Time Code for Smaller Worst-Case Execution Times. - Amine Marref; Adam Betts (ICECCS, 2011)

Hierarchical Composition of Parametric WCET in a Component Based Approach. - Thomas Leveque; Etienne Borde; Amine Marref; Jan Carlson (ISORC, 2011)

Accurate Measurement-Based WCET Analysis in the Absence of Source and Binary Code. - Amine Marref; Adam Betts (ISORC, 2011)

Fully-automatic derivation of exact program-flow constraints for a tighter worst-case execution-time analysis. - Amine Marref (ICSAMOS, 2011)

Evolutionary Techniques for Parametric WCET Analysis. - Amine Marref (WCET, 2012)