A. Colin and I. Puaut, Worst-case execution time analysis of the RTEMS real-time operating system, Proceedings 13th Euromicro Conference on Real-Time Systems
DOI : 10.1109/EMRTS.2001.934029

A. Colin and I. Puaut, Worst case execution time analysis for a processor with branch prediction. Real-Time Systems, pp.249-274, 2000.

A. Colin and I. Puaut, A modular and retargetable framework for tree-based WCET analysis, Proceedings 13th Euromicro Conference on Real-Time Systems, 2001.
DOI : 10.1109/EMRTS.2001.933995

A. Courbot, Calcul réparti de temps d'exécution au pire cas pour petits objects portables et sécurisés, 2003.

K. Crary and S. Weirich, Resource bound certification, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '00, 2000.
DOI : 10.1145/325694.325716
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.5985

D. Deville, A. Galland, G. Grimaud, and S. Jean, Smart Card operating systems: Past, Present and Future, the 5 th NORDU/USENIX Conference, V ¨ ster?sster? ster?s, Sweden, 2003.

E. W. Dijkstra, A note on two problems in connexion with graphs, Numerische Mathematik, vol.4, issue.1, pp.269-271, 1959.
DOI : 10.1007/BF01386390

J. Engblom, P. Altenbernd, and A. Ermedahl, Facilitating worst-case execution times analysis for optimized code, Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168), 1998.
DOI : 10.1109/EMWRTS.1998.685079
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.1068

J. Engblom, A. Ermedahl, and F. Stappert, Comparing different worst-case execution time analysis methods

D. R. Engler, The Exokernel operating system architecture, Massachusetts Institute of Technology (MIT), 1999.

D. R. Engler and M. F. Kaashoek, Exterminate all operating system abstractions, Proceedings 5th Workshop on Hot Topics in Operating Systems (HotOS-V), 1995.
DOI : 10.1109/HOTOS.1995.513459

A. Galland and M. Baudet, ´ Economiser l'or du banquier In 3 ` eme Conférence Française sur les Systèmes d'Exploitation (CFSE) ? French Chapter, 2003.

G. Grimaud and D. Deville, Evaluation d'un micro-noyau dédié aux cartesàcartes`cartesà microprocesseur. Deuxì eme Conférence Française sur les Systèmes d'Exploitation, 2001.

G. Grimaud, J. Lanet, and J. Vandewalle, FAÇ ADE: A Typed Intermediate Language Dedicated to Smart Cards, Software Engineering?ESEC/FSE, 1999.

O. Kömmerling and M. G. Kuhn, Design principles for tamper-resistant smartcard processors, USENIX Workshop on Smartcard Technology, pp.9-20, 1999.

J. L. Lawall, G. Muller, and L. P. Barreto, Capturing OS expertise in an event type system, Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC , EW10, pp.54-61, 2002.
DOI : 10.1145/1133373.1133384

C. L. Liu and J. W. Layland, Scheduling algorithms for multiprogramming in a hard-real-time environment, pp.46-61, 1973.

T. S. Messerges, E. A. Dabbish, and R. H. Sloan, Investigations of power analysis attacks on smartcards, USENIX Workshop on Smartcard Technology, pp.151-162, 1999.

C. George and . Necula, Proof-carrying code, Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Langauges (POPL '97), pp.106-119, 1997.

J. Regehr, Using Hierarchical Scheduling to Support Soft Real-Time Applications on General-Purpose Operating Systems, 2001.

A. Requet, L. Casset, and G. Grimaud, Application of the B formal method to the proof of a type verification algorithm, Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000), 2000.
DOI : 10.1109/HASE.2000.895449

S. Thibault, J. Marant, and G. Muller, Adapting distributed applications using extensible networks, Proceedings. 19th IEEE International Conference on Distributed Computing Systems (Cat. No.99CB37003), 1999.
DOI : 10.1109/ICDCS.1999.776525
URL : https://hal.archives-ouvertes.fr/inria-00073204