, Germany, p.310, 2001.
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs, Compiler Construction, pp.213-228, 2002. ,
Timing analysis enhancement for synchronous program. Real-Time Systems, pp.1-29, 2015. ,
Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs (regular paper), Workshop on Worst-Case Execution Time Analysis, Lund, Sweden, pp.95-104, 2015. ,
Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp.185-195, 2016. ,
An Efficient Algorithm for Parametric WCET Calculation, Journal of Systems Architecture, vol.57, issue.6, pp.614-624, 2011. ,
Efficient detection and exploitation of infeasible paths for software timing analysis, DAC, pp.358-363, 2006. ,
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software, DSN, pp.625-632, 2003. ,
The worst-case execution-time problem -overview of methods and survey of tools, Staschulat, and Per Stenström, vol.7, 2008. ,
FFX: A portable WCET annotation language (regular paper), International Conference on Real-Time and Network Systems (RTNS), pp.91-100, 2012. ,
Identifying Relevant Parameters to Improve WCET Analysis (regular paper), Workshop on Worst-Case Execution Time Analysis, pp.91-100, 2014. ,