Publications Choisies - Selected papers :

1. Efficient Web Requests Scheduling Considering Resources Sharing, S. Duquennoy, G. Grimaud. Proceeding MASCOTS '10 (IEEE International Symposium). 17-19 Aug. 2010. ISBN: 978-1-4244-8181-1.[doi]
2. Efficient Off-board Deployment and Customization of Virtual Machine Based Embedded Systems, A. Courbot, G. Grimaud, J.J. Vandewalle. ACM Transactions on Embedded Computing Systems. Volume 9 Issue 3. ISSN:1539-9087. february 2010.[doi]
3. Serving embedded content via Web applications: model, design and experimentation., S. Duquennoy, G. Grimaud and J-J. Vandewalle. In ACM International Conference on Embedded Software (EMSOFT'09), Grenoble, France, October 2009.[pdf]
4. Object Memory Management For Constrained Devices With Heterogeneous Memories, K. Marquet, G. Grimaud, LNEE Vol. 38 - Martínez Madrid, Natividad; Seepold, Ralf E.D. - (Avril 2009), ISBN: 978-1-4020-9822-2. [pdf]
5. A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods, A. Courbot, M. Pavlova, G. Grimaud and J.-J. Vandewalle. In Seventh Smart Card Research and Advanced Application IFIP Conference (CARDIS'06), Tarragona, Spain, April 2006 [pdf].
6. Secure extensible type system for efficient embedded operating system by using metatypes G. Grimaud, Y. Hodique and I. Simplot-Ryl, SaNSO 2005 / ICPADS2005 /IEEA, july 2005. [pdf] (Best Paper Award).
7. A Distributed WCET Computation Scheme for Smart Card Operating Systems. N. Bel Hadj Aissa, C. Rippert, D. Deville and G. Grimaud. In Proc. 4th International Workshop on Worst Case Execution Time Analysis (WCET2004), Catania, Sicily, Italy, 2004. [pdf]
8. Smart Card Operating Systems: Past Present and Future. D. Deville, A. Galland, G. Grimaud and S. Jean. In Proc. 5th NORDU/USENIX Conference (NordU2003), Vasteras, Sweden, 2003.[pdf] (Best paper award).
9. Building an "Impossible" Verifier on a Java Card. Damien Deville and Gilles Grimaud. In Proc. 2nd USENIX Workshop on Industrial Experiences with Systems Software (WIESS'02), Boston, USA, 2002. [pdf]
10. FACADE: a typed intermediate language dedicated to smart cards, G. Grimaud, A. Requet, L. Casset, In Proc. conférence ESEC/FSE'99 (ACM SigSoft). [pdf]

Consultez aussi la liste complète des publications de l'équipe RD2P.
here is the complete RD2P publications list.