C. Alias, A. Darte, P. Feautrier, and L. Gonnord, Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs, SAS, pp.117-133, 2010.
DOI : 10.1007/978-3-642-15769-1_8
URL : https://hal.archives-ouvertes.fr/inria-00523298

C. Ancourt, F. Coelho, F. Irigoin, S. Bardin, A. Finkel et al., A Modular Static Analysis Approach to Affine Loop Invariants Detection, Computer Aided Verification, 15th International Conference, CAV 2003 Proceedings CAV, pp.3-16, 2003.
DOI : 10.1016/j.entcs.2010.09.002
URL : https://hal.archives-ouvertes.fr/hal-00586338

E. Duesterwald and V. Bala, Software profiling for hot path prediction: Less is more, ASPLOS, pp.202-211, 2000.
DOI : 10.1145/378993.379241

L. Gonnord and P. Schrammel, Abstract acceleration in linear relation analysis, Science of Computer Programming, vol.93, issue.7, 2013.
DOI : 10.1016/j.scico.2013.09.016
URL : https://hal.archives-ouvertes.fr/hal-00785116

J. Gustafsson, A. Ermedahl, C. Sandberg, and B. Lisper, Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06), pp.57-66, 2006.
DOI : 10.1109/RTSS.2006.12