Performance analysis of embedded software using implicit path enumeration ,
The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, pp.1-36, 2008. ,
DOI : 10.1145/1347375.1347389
Automatic detection and exploitation of branch constraints for timing analysis, IEEE Transactions on Software Engineering, vol.28, issue.8, p.28, 2002. ,
DOI : 10.1109/TSE.2002.1027799
A fast and precise static loop analysis based on abstract interpretation, program slicing and polytope models, Int'l Symp. on Code Generation and Optimization (CGO), 2009. ,
Worst case execution time analysis for a processor with branch prediction. Real-Time Systems, pp.249-274, 2000. ,
Timing analysis enhancement for synchronous program, Int'l Conference on Real-Time and Network Systems (RTNS), pp.141-150, 2013. ,
Facilitating worst-case execution times analysis for optimized code, Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168), pp.146-153, 1998. ,
DOI : 10.1109/EMWRTS.1998.685079
Source-to-source analysis with SATIrE an example revisited, Scalable Program Analysis, number 08161 in Dagstuhl Seminar Proceedings Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2008. ,
Source-Level Support for Timing Analysis, Conference on Leveraging Applications of Formal Methods, Verification, and Validation, pp.434-448, 2010. ,
DOI : 10.1007/978-3-642-16561-0_40
Combined WCET analysis of bitcode and machine code using control-flow relation graphs, Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), pp.163-172, 2013. ,
Extending optimising compilation to support worst-case execution time analysis, 2003. ,
Transforming flow information during code optimization for timing analysis. Real-Time Systems, pp.72-105, 2010. ,
LLVM: A compilation framework for lifelong program analysis & transformation, International Symposium on Code Generation and Optimization, 2004. CGO 2004., pp.75-88, 2004. ,
DOI : 10.1109/CGO.2004.1281665
Partial Flow Analysis with oRange (short paper) In Symposium On Leveraging Applications of Formal Methods, Verification and Validation, number 6416 in LNCS, pp.479-482, 2010. ,
FFX: A Portable WCET Annotation Language, Int'l Conference on Real-Time and Network Systems (RTNS), pp.91-100, 2012. ,