Exokernel: An Operating System Architecture for Application-Level Resource Management, Proc. of SOSP'95 ,
---an extensible microkernel for application-specific operating system services, Proc. of the 6th ACM SIGOPS European Workshop, 1994. ,
DOI : 10.1145/202453.202472
Dealing with Disaster: Surviving Misbehaved Kernel Extensions, Proc. of OSDI'96 ,
Java Card Technology for Smart Cards: Architecture and Programmer's Guide, 2000. ,
FACADE, Software Engineering ? ESEC/FSE, number 1687, pp.476-493, 1999. ,
DOI : 10.1145/318774.319265
Smart Card operating systems: Past, Present and Future, The 5th NORDU/USENIX Conference, 2003. ,
A low-footprint class loading mechanism for embedded java virtual machines, Proc. of PPPJ'04 ,
URL : https://hal.archives-ouvertes.fr/inria-00113684
Building secure embedded kernels with the think architecture, Proc. of ECOOSE'02 ,
URL : https://hal.archives-ouvertes.fr/hal-00310149
The Flux OSKit: A Substrate for Kernel and Language Research, Proc. of SOSP'97 ,
Developing dynamically reconfigurable operating system kernels with the think component architecture, Proc. of ECOOSE'02 ,
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 ,
BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399 ,