The WCET analysis using counters -a preliminary assessment, Proceedings of 8th JRWRTC, in conjunction with RTNS14, 2014. ,
Static profiling of the worst-case in real-time programs, Proceedings of the 20th International Conference on Real-Time and Network Systems, RTNS '12, pp.101-110, 2012. ,
DOI : 10.1145/2392987.2393000
Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, 1977. ,
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790
Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, 1978. ,
DOI : 10.1145/512760.512770
Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06), 2006. ,
DOI : 10.1109/RTSS.2006.12
The synchronous dataflow programming language Lustre, Proceedings of the IEEE, pp.1305-1320, 1991. ,
PAGAI: A Path Sensitive Static Analyser, Electronic Notes in Theoretical Computer Science, vol.289, pp.15-25, 2012. ,
DOI : 10.1016/j.entcs.2012.11.003
Traceability of Flow Information, Proceedings of the 22nd International Conference on Real-Time Networks and Systems, RTNS '14, 2014. ,
DOI : 10.1145/2659787.2659805
URL : https://hal.archives-ouvertes.fr/hal-01072138
Performance Analysis of Embedded Software Using Implicit Path Enumeration, 32nd Design Automation Conference, p.16, 1997. ,
DOI : 10.1109/DAC.1995.249991
SWEET a tool for WCET flow analysis, ISOLA, 2014. ,
Philippe Cuenot, and Denis Claraz. From relevant high-level properties to WCET computation improvement, 2013. ,
Improving WCET Analysis Precision through Automata Product, 2015 IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications, 2015. ,
DOI : 10.1109/RTCSA.2015.11
Synchronous program verification with lustre/lesar Modeling and Verification of Real-Time Systems, chapter 6 Catherine Parent-Vigouroux, Fabienne Carrier, and Mihail Asavoae. Timing analysis enhancement for synchronous program. Real-Time Systems, pp.1-29, 2008. ,
Efficient detection and exploitation of infeasible paths for software timing analysis, Proceedings of the 43rd annual conference on Design automation , DAC '06, pp.358-363, 2006. ,
DOI : 10.1145/1146909.1147002
The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, 2008. ,
DOI : 10.1145/1347375.1347389
Static branch frequency and program profile analysis, Proceedings of the 27th annual international symposium on Microarchitecture , MICRO 27, pp.1-11, 1994. ,
DOI : 10.1145/192724.192725
FFX: A portable WCET annotation language (regular paper ) Pont-` a- Mousson, International Conference on Real- Time and Network Systems (RTNS), pp.91-100, 2012. ,
Armelle Bonenfant , Denis Claraz, and Philippe Cuenot. Identifying relevant parameters to improve WCET analysis, 2014. ,
FFX: A portable WCET annotation language (regular paper) ,