Line Jakubiec

Publication Activity (10 Years)

Years Active: 1996-2008
Publications (10 Years): 0

Publications

Michael Zock, Paul Sabatier, Line Jakubiec
Message composition based on concepts and goals. Int. J. Speech Technol. 11 (3-4) (2008)
Solange Coupet-Grimal, Line Jakubiec
Certifying circuits in Type Theory. Formal Aspects Comput. 16 (4) (2004)
Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec
A Functional Scenario for Bytecode Verification of Resource Bounds. CSL (2004)
Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines. VMCAI (2002)
Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa
A Formal Executable Semantics of the JavaCard Platform. ESOP (2001)
Solange Coupet-Grimal, Line Jakubiec
Hardware Verification Using Co-induction in COQ. TPHOLs (1999)
Solange Coupet-Grimal, Line Jakubiec
Coq and Hardware Verification: A Case Study. TPHOLs (1996)
Michel Allemand, Solange Coupet-Grimal, Line Jakubiec, Jean-Luc Paillet
A System for Modelling and Proving Circuits. ED&TC (1996)