| 2008 |
|---|
| 20 | | Gilles Grimaud,
François-Xavier Standaert:
Smart Card Research and Advanced Applications, 8th IFIP WG 8.8/11.2 International Conference, CARDIS 2008, London, UK, September 8-11, 2008. Proceedings
Springer 2008 |
| 2007 |
|---|
| 19 | EE | Gilles Grimaud,
Yann Hodique,
Isabelle Simplot-Ryl:
A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns.
AINA Workshops (2) 2007: 440-447 |
| 18 | EE | Kevin Marquet,
Gilles Grimaud:
A DSL approach for object memory management of small devices.
PPPJ 2007: 155-164 |
| 17 | EE | Nadia Bel Hadj Aissa,
Gilles Grimaud,
Vincent Bénony:
Bringing Worst Case Execution Time Awareness to an Open Smart Card OS.
RTCSA 2007: 497-503 |
| 16 | EE | Dorina Ghindici,
Gilles Grimaud,
Isabelle Simplot-Ryl:
An Information Flow Verifier for Small Embedded Systems.
WISTP 2007: 189-201 |
| 15 | EE | Gilles Grimaud,
Yann Hodique,
Isabelle Simplot-Ryl:
On the use of metatypes for safe embedded operating system extension.
IJPEDS 22(1): 1-13 (2007) |
| 2006 |
|---|
| 14 | EE | Gilles Grimaud,
Antoine Honore,
Hervé Meunier,
David Simplot-Ryl:
Efficient Packet Scheduler For Wireless Ad Hoc Networks With Switched Beam Antennas.
AINA (1) 2006: 523-527 |
| 13 | EE | Alexandre Courbot,
Mariela Pavlova,
Gilles Grimaud,
Jean-Jacques Vandewalle:
A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods.
CARDIS 2006: 329-344 |
| 12 | EE | Dorina Ghindici,
Gilles Grimaud,
Isabelle Simplot-Ryl,
Yanguo Liu,
I. Traore:
Integrated Security Verification and Validation: Case Study.
LCN 2006: 1000-1007 |
| 11 | EE | Dorina Ghindici,
Gilles Grimaud,
Isabelle Simplot-Ryl:
Embedding verifiable information flow analysis.
PST 2006: 39 |
| 10 | EE | Christophe Rippert,
Alexandre Courbot,
Gilles Grimaud:
A Low-Footprint Class Loading Mechanism for Embedded Java Virtual Machines
CoRR abs/cs/0611055: (2006) |
| 2005 |
|---|
| 9 | EE | Alexandre Courbot,
Gilles Grimaud,
Jean-Jacques Vandewalle:
Romization: Early Deployment and Customization of Java Systems for Constrained Devices.
CASSIS 2005: 57-76 |
| 8 | EE | Alexandre Courbot,
Gilles Grimaud,
Jean-Jacques Vandewalle,
David Simplot-Ryl:
Application-Driven Customization of an Embedded Java Virtual Machine.
EUC Workshops 2005: 81-90 |
| 7 | EE | Kevin Marquet,
Alexandre Courbot,
Gilles Grimaud:
Ahead of Time Deployment in ROM of a Java-OS.
ICESS 2005: 63-70 |
| 6 | EE | Gilles Grimaud,
Yann Hodique,
Isabelle Simplot-Ryl:
Secure extensible type system for efficient embedded operating system by using metatypes.
ICPADS (2) 2005: 83-87 |
| 2004 |
|---|
| 5 | EE | Christophe Rippert,
Alexandre Courbot,
Gilles Grimaud:
A low-footprint class loading mechanism for embedded Java virtual machines.
PPPJ 2004: 75-82 |
| 2002 |
|---|
| 4 | EE | Damien Deville,
Gilles Grimaud:
Building an "Impossible" Verifier on a Java Card.
WIESS 2002: 16-24 |
| 3 | EE | Gilles Grimaud,
S. Jean:
Code mobile et carte à puce.
Technique et Science Informatiques 21(6): 797-822 (2002) |
| 1999 |
|---|
| 2 | EE | Gilles Grimaud,
Jean-Louis Lanet,
Jean-Jacques Vandewalle:
FACADE: A Typed Intermediate Language Dedicated to Smart Cards.
ESEC / SIGSOFT FSE 1999: 476-493 |
| 1998 |
|---|
| 1 | | Didier Donsez,
Gilles Grimaud,
Sylvain Lecomte:
Recoverable Persistent Memory for SmartCard.
CARDIS 1998: 134-140 |
