I. Bate, G. Bernat, G. Murphy, and P. Puschner, Low-level analysis of a portable Java byte code WCET analysis framework, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications, 2000.
DOI : 10.1109/RTCSA.2000.896369

G. Birkho, Lattice theory American mathematical society, 1967.

F. Bodin, A. Seznec, and E. Rohou, Salto: System for assembly-language transformation and optimization, Proc. 6th Workshop on Compilers for Parallel Computers, p.261272, 1996.
URL : https://hal.archives-ouvertes.fr/inria-00073718

M. Cornero, R. Costa, R. F. Pascual, A. C. Ornstein, and E. Rohou, An Experimental Environment Validating the Suitability of CLI as an Effective Deployment Format for Embedded Systems, HiPEAC'08: Proceedings of the 3rd International Conference on High Performance Embedded Architectures and Compilers, p.130144, 2008.
DOI : 10.1007/978-3-540-77560-7_10

P. Cousot and R. Cousot, Abstract interpretation: a unied lattice model for static analysis of programs by construction or approximation of xpoints, POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, p.238252, 1977.

S. Silviu, C. M. Craciunas, H. Kirsch, A. Payer, H. Sokolova et al., A compacting real-time memory management system, ATC'08: USENIX 2008 Annual Technical Conference on Annual Technical Conference, pp.349-362, 2008.

T. Cramer, R. Friedman, T. Miller, D. Seberger, R. Wilson et al., Compiling Java just in time, IEEE Micro, vol.17, issue.3, p.3643, 1997.
DOI : 10.1109/40.591653

E. Duesterwald, Dynamic compilation, The Compiler Design Handbook, p.739762, 2002.

C. Ferdinand and R. Wilhelm, Ecient and precise cache behavior prediction for real-time systems, Real-Time Syst, vol.17, issue.2-3, p.131181, 1999.

M. Garatti, FICO: A Fast Instruction Cache Optimizer, SCOPES, p.388402, 2003.
DOI : 10.1007/978-3-540-39920-9_27

D. Grund and J. Reineke, Abstract Interpretation of FIFO Replacement, SAS '09: Proceedings of the 16th International Symposium on Static Analysis, p.120136, 2009.
DOI : 10.1016/S0304-3975(99)00033-X

J. Gustafsson, Worst case execution time analysis of object-oriented programs, Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002), 2002.
DOI : 10.1109/WORDS.2002.1000038

S. Matthew and . Hecht, Flow Analysis of Computer Programs, 1977.

E. Yu-shing, G. Hu, A. Bernat, and . Wellings, Addressing dynamic dispatching issues in WCET analysis for object-oriented hard real-time systems. Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on, 2002.

J. Ban and N. Kam, Monotone data ow analysis frameworks: a formal theory of global computer program optimization, 1976.

E. Donald and . Knuth, The art of computer programming): fundamental algorithms, 1997.

C. Krintz and B. Calder, Using annotations to reduce dynamic optimization time, SIGPLAN Not, vol.36, issue.5, p.156167, 2001.

A. Le and L. Hendren, Using inter-procedural side-eect information in JIT optimizations, 14th International Conference on Compiler Construction (CC). LNCS, p.287304, 2005.

T. Lindholm and F. Yellin, Java Virtual Machine Specication, 1999.

T. Lundqvist and P. Stenström, Timing anomalies in dynamically scheduled microprocessors, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), 1999.
DOI : 10.1109/REAL.1999.818824

S. Mark, M. Kenneth, and L. Marius, Real-time Java, part 2: Comparing compilation techniques

R. Java, Using java code to program real-time systems

M. Masmano, I. Ripoll, J. Real, A. Crespo, and A. J. Wellings, Implementation of a constant???time dynamic storage allocator, Software: Practice and Experience, vol.4, issue.4, p.389951026, 2008.
DOI : 10.1002/spe.858

F. Nielson, H. R. Nielson, and C. Hankin, Principles of Program Analysis, 1999.
DOI : 10.1007/978-3-662-03811-6

T. Ogasawara, An algorithm with constant execution time for dynamic storage allocation, Proceedings Second International Workshop on Real-Time Computing Systems and Applications, 1995.
DOI : 10.1109/RTCSA.1995.528746

L. James, T. A. Peterson, and . Norman, Buddy systems, Commun. ACM, vol.20, issue.6, pp.421-431, 1977.

K. Pettis, R. C. Hansen, and J. W. Davidson, Prole guided code positioning, SIGPLAN Not, vol.39, issue.4, p.398411, 2004.

I. Puaut, Real-time performance of dynamic memory allocation algorithms, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002, 2002.
DOI : 10.1109/EMRTS.2002.1019184

J. Reineke, D. Grund, C. Berg, and R. Wilhelm, Timing predictability of cache replacement policies. Real-Time Syst, p.99122, 2007.

M. Schoeberl and R. Pedersen, WCET analysis for a Java processor, Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems , JTRES '06, p.202211, 2006.
DOI : 10.1145/1167999.1168033

E. James, R. Smith, and . Nair, The architecture of virtual machines, Computer, vol.38, issue.5, pp.32-38, 2005.

A. Tarski, A lattice-theoretical xpoint theorem and its applications, 1955.

H. Theiling, C. Ferdinand, and R. Wilhelm, Fast and precise WCET prediction by separated cache and path analyses. Real-Time Syst, p.157179, 2000.

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing et al., The worst-case execution-time problemoverview of methods and survey of tools, ACM Trans. Embed. Comput. Syst, vol.7, issue.3, p.153, 2008.

R. Paul, M. S. Wilson, M. Johnstone, D. Neely, and . Boles, Dynamic storage allocation: A survey and critical review, IWMM '95: Proceedings of the International Workshop on Memory Management, p.1116, 1995.

D. Yuxin, M. Jia, and C. Hu, Design and implementation of Java just-in-time compiler, J. Comput. Sci. Technol, vol.15, issue.6, p.584590, 2000.