Line Jakubiec
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1996–2004
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | CSL | A Functional Scenario for Bytecode Verification of Resource Bounds. | Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec |
| 2002 | VMCAI | A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines. | Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simo Melo de Sousa |
| 2001 | ESOP | A Formal Executable Semantics of the JavaCard Platform. | Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simo Melo de Sousa |
| 1996 | DATE | A System for Modelling and Proving Circuits. | Michel Allemand, Solange Coupet-Grimal, Line Jakubiec, Jean-Luc Paillet |