R. Boutonnet and M. Asavoae, The WCET analysis using counters -a preliminary assessment, Proceedings of 8th JRWRTC, in conjunction with RTNS14, 2014.

F. Brandner, 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

P. Cousot and R. Cousot, 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

P. Cousot and N. Halbwachs, 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

J. Gustafsson, 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

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language Lustre, Proceedings of the IEEE, pp.1305-1320, 1991.

J. Henry, D. Monniaux, and M. Moy, 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

H. Li, I. Puaut, and E. Rohou, 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

. Yau-tsun-steven, S. Li, and . Malik, Performance Analysis of Embedded Software Using Implicit Path Enumeration, 32nd Design Automation Conference, p.16, 1997.
DOI : 10.1109/DAC.1995.249991

B. Lisper, SWEET a tool for WCET flow analysis, ISOLA, 2014.

V. Mussot, A. Bonenfant, and P. Sotin, Philippe Cuenot, and Denis Claraz. From relevant high-level properties to WCET computation improvement, 2013.

V. Mussot and P. Sotin, 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

P. Raymond, 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.

V. Suhendra, 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

R. Wilhelm, 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

Y. Wu and J. R. Larus, 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

J. Zwirchmayr, A. Bonenfant, M. De-michiel, H. Cassé, L. Kovács et al., FFX: A portable WCET annotation language (regular paper ) Pont-` a- Mousson, International Conference on Real- Time and Network Systems (RTNS), pp.91-100, 2012.

J. Zwirchmayr and P. Sotin, Armelle Bonenfant , Denis Claraz, and Philippe Cuenot. Identifying relevant parameters to improve WCET analysis, 2014.

J. Zwirchmayr, FFX: A portable WCET annotation language (regular paper)