Amine Marref (not working at IDT anymore)
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.
| Project Title | Status |
|---|---|
| PG-CBD-StatA – Static Timing Analysis of Component-Based Systems | finished |