| 2004 |
|---|
| 6 | EE | Roberto M. Amadio,
Solange Coupet-Grimal,
Silvano Dal-Zilio,
Line Jakubiec:
A Functional Scenario for Bytecode Verification of Resource Bounds.
CSL 2004: 265-279 |
| 5 | EE | Solange Coupet-Grimal,
Line Jakubiec:
Certifying circuits in Type Theory.
Formal Asp. Comput. 16(4): 352-373 (2004) |
| 2002 |
|---|
| 4 | EE | Gilles Barthe,
Guillaume Dufay,
Line Jakubiec,
Simão Melo de Sousa:
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines.
VMCAI 2002: 32-45 |
| 2001 |
|---|
| 3 | EE | Gilles Barthe,
Guillaume Dufay,
Line Jakubiec,
Bernard P. Serpette,
Simão Melo de Sousa:
A Formal Executable Semantics of the JavaCard Platform.
ESOP 2001: 302-319 |
| 1999 |
|---|
| 2 | EE | Solange Coupet-Grimal,
Line Jakubiec:
Hardware Verification Using Co-induction in COQ.
TPHOLs 1999: 91-108 |
| 1996 |
|---|
| 1 | | Solange Coupet-Grimal,
Line Jakubiec:
Coq and Hardware Verification: A Case Study.
TPHOLs 1996: 125-139 |
