D. R. Engler, M. F. Kasshoek, and J. O. Toole, Exokernel: An Operating System Architecture for Application-Level Resource Management, Proc. of SOSP'95

B. N. Bershad, C. Chambers, S. J. Eggers, C. Maeda, D. Mcnamee et al., ---an extensible microkernel for application-specific operating system services, Proc. of the 6th ACM SIGOPS European Workshop, 1994.
DOI : 10.1145/202453.202472

M. I. Seltzer, Y. Endo, C. Small, and K. A. Smith, Dealing with Disaster: Surviving Misbehaved Kernel Extensions, Proc. of OSDI'96

Z. Chen, Java Card Technology for Smart Cards: Architecture and Programmer's Guide, 2000.

G. Grimaud, J. Lanet, and J. Vandewalle, FACADE, Software Engineering ? ESEC/FSE, number 1687, pp.476-493, 1999.
DOI : 10.1145/318774.319265

D. Deville, A. Galland, G. Grimaud, and S. Jean, Smart Card operating systems: Past, Present and Future, The 5th NORDU/USENIX Conference, 2003.

C. Rippert, A. Courbot, and G. Grimaud, A low-footprint class loading mechanism for embedded java virtual machines, Proc. of PPPJ'04
URL : https://hal.archives-ouvertes.fr/inria-00113684

C. Rippert and J. Stefani, Building secure embedded kernels with the think architecture, Proc. of ECOOSE'02
URL : https://hal.archives-ouvertes.fr/hal-00310149

B. Ford, G. Back, G. Benson, J. Lepreau, A. Lin et al., The Flux OSKit: A Substrate for Kernel and Language Research, Proc. of SOSP'97

A. Senart, O. Charra, and J. Stefani, Developing dynamically reconfigurable operating system kernels with the think component architecture, Proc. of ECOOSE'02

I. Unité-de-recherche, . Lorraine, . Loria, and . Technopôle-de-nancy, Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt, Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399