Amine Marref (not working at IDT anymore)


[Show all publications]

Latest publications:

Fully-Automatic Derivation of Exact Program-Flow Constraints for a Tighter Worst-Case Execution-Time Analysis (Jul 2011)
Amine Marref
Proceedings of the 11th IEEE International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XI)

WCET Analysis of Component-Based Systems using Timing Traces (Apr 2011)
Adam Betts, Amine Marref
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011)

Memory Positioning of Real-Time Code for Smaller Worst-Case Execution Times (Apr 2011)
Amine Marref, Adam Betts
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011)

Hierarchical Composition of Parametric WCET in a Component Based Approach (Mar 2011)
Thomas Leveque, Etienne Borde, Amine Marref, Jan Carlson
14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC11)

Accurate Measurement-Based WCET Analysis in the Absence of Source and Binary Code (Mar 2011)
Amine Marref, Adam Betts
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2011)

Compositional Timing Analysis (Jul 2010)
Amine Marref
SAMOS X - International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation.