Automotive Open System Architecture (AUTOSAR, 2003. ,
Reliable and precise WCET determination for a real-life processor, Proceedings of EMSOFT 2001, vol.2211, pp.469-485, 2001. ,
Combining a highlevel design tool for safety-critical systems with a tool for WCET analysis on executables, European Congress ERTS Embedded Real Time Software, 2008. ,
URL : https://hal.archives-ouvertes.fr/insu-02270107
New developments in WCET analysis, Program Analysis and Compilation, vol.4444, pp.12-52, 2007. ,
System level performance analysis -the SymTA/S approach, IEEE Proceedings on Computers and Digital Techniques, vol.152, issue.2, 2005. ,
Performance Analysis of Embedded Software Using Implicit Path Enumeration, Proceedings of the 32nd ACM/IEEE Design Automation Conference, 1995. ,
Scheduling algorithms for multiprogramming in a hard real-time environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973. ,
Pipeline Behavior Prediction for Superscalar Processors by Abstract Interpretation, Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, vol.34, pp.35-44, 1999. ,
Extracting Safe and Precise Control Flow from Binaries, Proceedings of the 7th Conference on Real-Time Computing Systems and Applications, 2000. ,
Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis, Proceedings of the 19th IEEE Real-Time Systems Symposium, pp.144-153, 1998. ,