|
Search the dblp DataBase
Line Jakubiec:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec
A Functional Scenario for Bytecode Verification of Resource Bounds. [Citation Graph (0, 0)][DBLP] CSL, 2004, pp:265-279 [Conf]
- Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa
A Formal Executable Semantics of the JavaCard Platform. [Citation Graph (0, 0)][DBLP] ESOP, 2001, pp:302-319 [Conf]
- Solange Coupet-Grimal, Line Jakubiec
Coq and Hardware Verification: A Case Study. [Citation Graph (0, 0)][DBLP] TPHOLs, 1996, pp:125-139 [Conf]
- Solange Coupet-Grimal, Line Jakubiec
Hardware Verification Using Co-induction in COQ. [Citation Graph (0, 0)][DBLP] TPHOLs, 1999, pp:91-108 [Conf]
- Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines. [Citation Graph (0, 0)][DBLP] VMCAI, 2002, pp:32-45 [Conf]
- Solange Coupet-Grimal, Line Jakubiec
Certifying circuits in Type Theory. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2004, v:16, n:4, pp:352-373 [Journal]
Search in 0.002secs, Finished in 0.002secs
|