D. Mulchandani, Java for embedded systems, IEEE Internet Computing, vol.2, issue.3, pp.30-39, 1998.
DOI : 10.1109/4236.683797

L. Lagosanto, \Next-generation embedded java operating system for smart cards, 4th Gemplus Developer Conference, 2002.

G. Grimaud and J. Vandewalle, \Introducing research issues for next generation Java-based smart card platforms, Proc. Smart Objects Conference (sOc'2003), 2003.

L. Burdy, A. Requet, and J. Lanet, Java Applet Correctness: A Developer-Oriented Approach, FME 2003: Formal Methods: International Symposium of Formal Methods Europe, pp.422-439, 2003.
DOI : 10.1007/978-3-540-45236-2_24

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

K. Ishizaki, M. Kawahito, T. Yasue, M. Takeuchi, T. Ogasawara et al., Design, implementation, and evaluation of optimizations in a just-in-time compiler, Proceedings of the ACM 1999 conference on Java Grande , JAVA '99, pp.119-128, 1999.
DOI : 10.1145/304065.304111

T. A. Proebsting, G. Townsend, P. Bridges, J. H. Hartman, T. Newsham et al., Watterson, \Toba: Java for applications: A way ahead of time (wat) compiler, Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997.

G. Muller, B. Moura, F. Bellard, and C. Consel, \Harissa: a exible and ecient java environment mixing bytecode and compiled code, Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997.

R. Vall-ee-rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon et al., \Soot -a java optimization framework, Proceedings of CASCON 1999, pp.125-135, 1999.

J. Hummel, A. Azevedo, D. Kolson, and A. Nicolau, Annotating the Java bytecodes in support of optimization, Concurrency: Practice and Experience, vol.9, issue.11, pp.1003-1016, 1997.
DOI : 10.1002/(SICI)1096-9128(199711)9:11<1003::AID-CPE346>3.0.CO;2-G

A. Azevedo, A. Nicolau, and J. Hummel, Java annotation-aware just-in-time (AJIT) complilation system, Proceedings of the ACM 1999 conference on Java Grande , JAVA '99, pp.142-151, 1999.
DOI : 10.1145/304065.304115

M. Pavlova, \Java bytecode logic and specication, tech. rep, 2005.

B. Meyer, Object-Oriented Software Construction 16. \Java In The Small, 1997.