Amine Marref

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Automatic Analysis

Information Retrieval

Feature Selection

Top Venues

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Amine Marref
Evolutionary Techniques for Parametric WCET Analysis. WCET (2012)
Thomas Leveque, Etienne Borde, Amine Marref, Jan Carlson
Hierarchical Composition of Parametric WCET in a Component Based Approach. ISORC (2011)
Amine Marref, Adam Betts
Accurate Measurement-Based WCET Analysis in the Absence of Source and Binary Code. ISORC (2011)
Amine Marref, Adam Betts
Memory Positioning of Real-Time Code for Smaller Worst-Case Execution Times. ICECCS (2011)
Adam Betts, Amine Marref
WCET Analysis of Component-Based Systems Using Timing Traces. ICECCS (2011)
Amine Marref
Fully-automatic derivation of exact program-flow constraints for a tighter worst-case execution-time analysis. ICSAMOS (2011)
Amine Marref
Compositional timing analysis. ICSAMOS (2010)
Amine Marref, Guillem Bernat
Predicated Worst-Case Execution-Time Analysis. Ada-Europe (2009)
Amine Marref, Guillem Bernat
Towards Predicated WCET Analysis. WCET (2008)