An iterative refinement framework for tighter worst-case execution time calculation, Proceedings of the Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC '07, pp.365-372, 2007. ,
Static profiling of the worstcase in real-time programs, Proceedings of the Conference on Real-Time and Network Systems, RTNS '12, pp.101-110, 2012. ,
Criticality: Static profiling for real-time programs. Real-Time Systems, pp.1-34, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01108039
Introduction to Algorithms, 2009. ,
Widening and narrowing operators for abstract interpretation, Computer Languages, Systems & Structures, vol.37, issue.1, pp.24-42, 2011. ,
DOI : 10.1016/j.cl.2010.09.001
Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977. ,
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790
Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis, 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis of Dagstuhl Seminar Proceedings. Internationales Begegnungsund Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, 2007. ,
Using a worst-case executiontime tool for real-time verification of the DEBIE software, Proceedings of the Data Systems in Aerospace Conference (ESA SP-457), DASIA '00, pp.307-312, 2000. ,
WCET squeezing, Proceedings of the 21st International conference on Real-Time Networks and Systems, RTNS '13, p.161, 2013. ,
DOI : 10.1145/2516821.2516847
Performance Analysis of Embedded Software Using Implicit Path Enumeration, 32nd Design Automation Conference, pp.456-461, 1995. ,
DOI : 10.1109/DAC.1995.249991
A fast and precise static loop analysis based on abstract interpretation, program slicing and polytope models, Proceedings of the International Symposium on Code Generation and Optimization, CGO '09, pp.136-146, 2009. ,
Papabench: A free real-time benchmark, Proc. of the Workshop on Worst-Case Execution Time Analysis, pp.63-68, 2006. ,
Computing maximum task execution times -a graph-based approach. Real-Time Systems, pp.67-91, 1997. ,
Faster WCET flow analysis by program slicing, Proceedings of the conference on Language , Compilers, and Tool Support for Embedded Systems, LCTES '06, pp.103-112, 2006. ,
Efficient longest executable path search for programs with complex flows and pipeline effects, Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems , CASES '01, pp.132-140, 2001. ,
DOI : 10.1145/502217.502240
ILP-based Path Analysis on Abstract Pipeline State Graphs, 2010. ,
Fast and precise wcet prediction by separated cache and path analyses. Real-Time Systems, pp.157-179, 2000. ,
Program Slicing, Proceedings of the Conference on Software Engineering , ICSE '81, pp.439-449, 1981. ,
DOI : 10.1109/TSE.1984.5010248