Travelled to:
1 × Poland
2 × Italy
Collaborated with:
G.Barthe G.Dufay S.M.d.Sousa R.M.Amadio S.Coupet-Grimal S.Dal-Zilio B.P.Serpette
Talks about:
formal (2) java (2) card (2) correspond (1) scenario (1) platform (1) function (1) virtual (1) resourc (1) bytecod (1)
Person: Line Jakubiec
DBLP: Jakubiec:Line
Contributed to:
Wrote 3 papers:
- CSL-2004-AmadioCDJ #bound #bytecode #functional #verification
- A Functional Scenario for Bytecode Verification of Resource Bounds (RMA, SCG, SDZ, LJ), pp. 265–279.
- VMCAI-2002-BartheDJS #virtual machine
- A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines (GB, GD, LJ, SMdS), pp. 32–45.
- ESOP-2001-BartheDJSS #execution #framework #platform #semantics
- A Formal Executable Semantics of the JavaCard Platform (GB, GD, LJ, BPS, SMdS), pp. 302–319.