Amine Marref

According to our database, Amine Marref authored at least 10 papers between 2008 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Evolutionary Techniques for Parametric WCET Analysis.

Amine Marref

Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 2012

2011

Fully-automatic derivation of exact program-flow constraints for a tighter worst-case execution-time analysis.

Amine Marref

Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011

Accurate Measurement-Based WCET Analysis in the Absence of Source and Binary Code.

Amine Marref, Adam Betts

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

Hierarchical Composition of Parametric WCET in a Component Based Approach.

Thomas Leveque, Etienne Borde, Amine Marref, Jan Carlson

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

Memory Positioning of Real-Time Code for Smaller Worst-Case Execution Times.

Amine Marref, Adam Betts

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

WCET Analysis of Component-Based Systems Using Timing Traces.

Adam Betts, Amine Marref

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010

Compositional timing analysis.

Amine Marref

Proceedings of the 2010 International Conference on Embedded Computer Systems: Architectures, 2010

2009

Predicated Worst Case Execution Time Analysis.

Amine Marref

PhD thesis, 2009

Predicated Worst-Case Execution-Time Analysis.

Amine Marref, Guillem Bernat

Proceedings of the Reliable Software Technologies, 2009

2008

Towards Predicated WCET Analysis.

Amine Marref, Guillem Bernat

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008