Responsabilité éditoriale - Editoral Activity :

Publications et brevets - Papers and Patents :

2010

1. Key-Study to Execute Code Using Demand Paging and NAND Flash at Smart Card Scale, G. Cogniaux and G. Grimaud. Smart Card Research and Advanced Application, 9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010. Passau, Germany. April 14-16. 2010. LNCS Vol. 6035. ISBN 978-3-642-12509-6.[doi]
2. 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]
3. 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]
4. Impact of Pages Sizes to Execute Code Using Demand Paging and NAND Flash at Smart Card Scale, G. Cogniaux, G. Grimaud. In 4th International Workshop on Intelligent, Mobile and Internet Services in Ubiquitous Computing (IMIS'10), Krakow, Poland, Feb. 2010.[doi]

2009

1. 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. (URL)
2. Consistency and scalability in event notification for embedded Web applications, S. Duquennoy, G. Grimaud and J-J. Vandewalle. In 11th IEEE International Symposium on Web Systems Evolution (WSE'09), Edmonton, Canada, September 2009. (URL)
3. The Web of Things: interconnecting devices with high usability and performance, S. Duquennoy, G. Grimaud and J-J. Vandewalle. In 6th IEEE International Conference on Embedded Software and Systems (ICESS'09), HangZhou, Zhejiang, China, May 2009. (URL)
4. Smews: Smart and Mobile Embedded Web Server, S. Duquennoy, G. Grimaud and J.-J. Vandewalle In 3rd International Workshop on Intelligent, Mobile and Internet Services in Ubiquitous Computing (IMIS'09), Fukuoka, Japan, 2009. (best paper award) (URL)
5. 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

2008

1. Embedding Web servers in pocket devices, S. Duquennoy and G. Grimaud. In Smart University - The art of Java Card 3.0 Programming, Sophia Antipolis, France, 09 2008.
2. Cross-layer enhancement of Web servers dedicated to small devices, S. Duquennoy, G. Grimaud and J.-J. Vandewalle, Technical Report 0349, INRIA, 02 2008 (URL).
3. Haute performance pour serveurs Web embarqués, S. Duquennoy, G. Grimaud and J.-J. Vandewalle, In Proc. 9èmes Journées Doctorales en Informatique et Réseau (JDIR'08), Villeneuve d'Ascq, France, 2008 (URL).
4. Déploiements sécurisés de logiciels critiques au sein d'environnements contraints, Habilitation thesis 2008, Gilles. Grimaud.

2007

1. Contracts as a support to static analysis of open systems., N. Bel Hadj Aissa, D. Ghindici, G. Grimaud and I. Simplot-Ryl . In Proc. The First Workshop on Formal Languages and Analysis of Contract-Oriented Software FLACOS 2007, Oslo, Norway , October 2007 (URL).
2. A DSL approach for object memory management of small devices, K. Marquet and G. Grimaud. in Proc. of Workshop on Programming Languages and Operating Systems (PLOS 2007), Skamania Lodge Stevenson, Washington, USA, 2007.
3. Garbage Collection for Tiny Devices: A Complexity Study.,K. Marquet and G. Grimaud. In Proc. International Conference on Sensor Technologies and Applications (SENSORCOMM 2007), Valencia, Spain, 2007.
4. A DSL Approach for Object memory Management of Small Devices, K. Marquet and G. Grimaud. In Proc. International Conference on Principles and Practice of Programming In Java (PPPJ 2007), Lisboa, Portugal, 2007.
5. Bringing Worst Case Execution Time Awarness to an Open Smart Card OS, N. Bel Hadj Aissa, G. Grimaud, V. Bénony. RTCSA'07, The 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Daegu (Korea), August 21-24, 2007.
6. An object memory management solution for small devices with heterogeneous memories, Gilles Grimaud, Kevin Marquet, In Proc. Fifth Workshop on Intelligent Solutions in Embedded Systems, Madrid (Spain), June 21-22, 2007 (URL).
7. A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns, Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl, In proceedings the The 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe-07), Niagara Falls (Canada), May 2007.
8. An information flow verifier for small embedded systems. Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl. In Proc. Workshop in Information Security Theory and Practices WISTP 2007 Smart Cards, LNCS 4462: Mobile and Ubiquitous Computing Systems, pages 189-201, Heraklion (Crete, Greece), May 2007 (URL).
9. On the Use of metatypes for safe embedded operating system extension, Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl. International Journal of Parallel, Emergent and Distributed Systems (IJPEDS) 22, 1 (2007), 1--13.

2006

1. A Distributed and Verifiable Loop Bounding Algorithm for WCET Computation on Constrained Embedded Systems, Nadia Bel Hadj Aissa, Gilles Grimaud and David Simplot-Ryl, In Proceedings of the 14th International Conference on Real-Time and Network Systems, Poitiers (France), May 30th 2006.
2. Can small and open embedded systems benefit from escape analysis?, Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl, In proceedings of the Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006).
3. A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns,Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl, Research Report 5937, INRIA, France, 06 2006 (URL).
4. Integrated Security Verification and Validation: Case Study, Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl, Issa Traore and Yanguo Liu. In Proceedings of the Second IEEE LCN Workshop on Network Security (WNS 2006), held in conjunction with the 31st Annual IEEE Conference on Local Computer Networks (LCN 2006), Tampa, Florida, Nov. 2006 (URL).
5. Embedding Verifiable Information Flow Analysis, Dorina Ghindici, Gilles Grimaud and Isabelle Simplot-Ryl. In Proceedings of the 4th Annual International Conference on Privacy, Security and Trust PST'06, pages 343-352, Toronto, Canada, Nov. 2006 (URL).
6. Embedding Verifiable Information Flow Analysis, Dorina Ghindici , Gilles Grimaud and Isabelle Simplot-Ryl, Technical Report 2006-03, LIFL, Univ. Lille 1, France, april 2006 (URL).
7. 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 (URL) .
8. Efficient Packet Scheduler For Wireless Ad Hoc Networks With Switched Beam Antennas, Antoine Honore, Hervé Meunier, Gilles Grimaud and David Simplot-Ryl. In Proceedings of IEEE 20th International Conference on Advanced Information Networking and Applications (AINA 2006), Vienna, Austria, 2006.

2005

1. Romization: Early Deployment and Customization of Java Systems for Restrained Devices, A. Courbot, G. Grimaud and J.-J. Vandewalle. In International workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS05), Nice, France, December 2005 (URL) .
2. Ahead of time deployment in ROM of an embedded Java-OS, K. Marquet, A. Courbot, G. Grimaud, In proceeding of International Conference on Embedded Software and Systems '05, Xi'an, China, December, 2005 (URL) .
3. Application-Driven Customization of an Embedded Java Virtual Machine., A. Courbot, G. Grimaud, J.-J. Vandewalle and D. Simplot-Ryl, In proceedings of the Second International Symposium on Ubiquitous Intelligence and Smart Worlds (UISW2005), LNCS, Springer-Verlag, Nagasaki, Japan, December 2005 (URL) .
4. Optimization of the root set for object-oriented memory management of smart devices.,K. Marquet, G. Grimaud, D. Simplot-Ryl, MOS Workshop / ECOOP 2005.
5. 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).
6. Safe Collaboration in Extensible Operating Systems: A Study on Real Time Extensions D. Deville, Y. Hodique and I. Simplot-Ryl. Proc. of First International Workshop on System and Networking for Smart Objects (SaNSO 2005), january 2005.
7. [patent] A Method Of Loading Software In Object Oriented Iintermediate Language Into A Handheld Set, Gilles Grimaud Kevin Marquet, Jean-Jacques Vandewalle, FR-0406493

2004

1. Distributing the WCET computation for embedded operating systems N. Bel Hadj Aissa, C. Rippert and G. Grimaud. WIP session, RTSS'04, Lisbone, Portugal, December 2004.
2. Alternative Schemes for Low-footprint Operating Systems Building. C. Rippert, D. Deville and G. Grimaud. Technical report RR-5220, INRIA, France, June 2004 (URL) .
3. 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]
4. Trusted Collaborative Real Time Scheduling in a Smart Card Exokernel. D. Deville, C. Rippert and G. Grimaud. Technical report RR-5161, INRIA, France, April 2004.
5. Flexible Bindings for Type-safe Embedded Operating Systems. D. Deville, C. Rippert and G. Grimaud. In Proc. ECOOP Workshop on Programming Languages and Operating Systems (ECOOP-PLOS 2004), Oslo, Norway, 2004.[pdf]
6. A Low-Footprint Class Loading Mechanism for Embedded Java Virtual Machines. C. Rippert, Alexandre Courbot and Gilles Grimaud. In 3rd ACM International Conference on the Principles and Practice of Programming in Java, Las Vegas, USA, 2004.[pdf]
7. On Board Compiling in the Very Small. D. Deville and G. Grimaud. In International workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS04), Marseille, France, 2004. (Conférence invitée).[pdf]

2003

1. Extensions Temps-Réel pour Exo-Noyau Embarqué. D. Deville, A. Courbot and G. Grimaud. In Proc. 3ème Conférence Française sur les Systèmes d'Exploitation (CFSE'3), La Colle sur Loup, France, 2003. (en français).[pdf]
2. Assessing the future of Smart Card Operating Systems. D. Deville, A. Galland, G. Grimaud and S. Jean. In Proc. International Conference on Research in Smart Cards (ESMART03), Nice, France, 2003.[pdf]
3. Introducing Research Issues for Next Generation Java-based Smart Card Platforms. G. Grimaud and J.-J. Vandewalle. In Proc. Smart Objects Conference (sOc'2003), Grenoble, France, 2003.[pdf]
4. 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. (Best paper award).[pdf]

2002

1. Carte à Puce et Code Mobile. G. Grimaud and S. Jean. Technique et Science Informatique, 21(6):797-822, 2002. (en français).[pdf]
2. 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]
3. Practical JavaCard Bytecode Compression. Gabriel Bizzotto and Gilles Grimaud. In Proc. Journées Francophones des Jeunes Chercheurs en Systèmes d'Exploitation (ASF 2002), Hammamet (Tunisia), April 2002.[pdf]
4. Contrôle des Ressources dans les Cartes à Microprocesseur. A. Galland, D. Deville, G. Grimaud and B. Folliot. In Proc. 1er Congrès Logiciel Temps Réel Embarqués (LTRE'02), Toulouse, France, 2002. (en français).[pdf]
5. [Patent] Efficient Representation of Code Verifier Structures., D. Deville, G. Grimaud, A. Requet, IP #EP119267(avril 2002), #WO0112278 (avril 2002).

2001

1. Évaluation d'un Micro-noyau Dédié aux Cartes à Microprocesseur. G. Grimaud and D. Deville. In Proc. 2ème Conférence Française sur les Systèmes d'Exploitation (CFSE'01), Paris, France, 2001. (en français).[pdf]
2. [patent] Procédé de compression de code intermédiaire à la volé pour carte à microprocesseur, G. Bizzotto, Gilles Grimaud, IP #WO
3. [patent] Procédé d'Identification d'Étiquettes Électroniques par Rondes Adaptatives, D. Brienne, G. Grimaud, R. Kalinowski, M. Latteux, and D. Simplot, IP #WO0101326 (Janvier 2001).
4. [patent] Contrôle d'accès par capacités pour applications notamment coopérantes dans une carte à puce, G. Grimaud, D. Hagimont, J.J. Vandwalle, IP #WO142887 (juin 2001), #EP1240570 (Sept. 2002), #US20030065982 (avril 2003)

2000

1. CAMILLE : un Système d'Exploitation Ouvert pour Carte à Microprocesseur. G. Grimaud. PhD thesis, Univ. Lille 1, France, December 2000. (en français).[pdf]
2. Application of the B Formal Method to the Proof of a Type Verification Algorithm. A. Requet, L. Casset and G. Grimaud. In Proc. 5th IEEE High Assurance Systems Engineering Symposium (HASES 2000), Albuquerque, USA, 2000. [pdf]
3. Interoperability of Services in Multi-applications Smart Cards, New Approaches for Security and Flexibility. G. Grimaud and S. Jean. In Proc. 1st Eurosmart Security Conference, Marseille, France, 2000.
4. [patent] Migration de différents langage sources vers un support d'exécution, G. Grimaud, J.J. Vandwalle, IP #WO0075776

1999

1. 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]
2. GUM E2 : Une approche orientée carte à microprocesseur pour la gestion sécurisée de la mobilité de l'utilisateur dans les échanges électroniques, S. Jean, G. Grimaud, In Proc. TET'99
3. Introduction à une architecture nouvelle pour les cartes à microprocesseur ouvertes. G. Grimaud, In Proc. CSFE'99. [pdf]
4. Implementation of Transactional Mechanisms for Open SmartCard, S. Lecomte, G. Grimaud, D. Donsez, In Proc. GDC'99.

1998

1. Recoverable Persistant Memory for Smart Card, S. Lecomte, G. Grimaud, D. Donsez, In Proc. CARDIS'98 (LNCS Volume 1820/2000, ISBN 978-3-540-67923-3, p. 134-140).

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