Line Jakubiec

According to our database, Line Jakubiec authored at least 8 papers between 1996 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Message composition based on concepts and goals.

Michael Zock, Paul Sabatier, Line Jakubiec

Int. J. Speech Technol., 2008

2004

Certifying circuits in Type Theory.

Solange Coupet-Grimal, Line Jakubiec

Formal Aspects Comput., 2004

A Functional Scenario for Bytecode Verification of Resource Bounds.

Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2002

A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines.

Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa

Proceedings of the Verification, 2002

2001

A Formal Executable Semantics of the JavaCard Platform.

Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa

Proceedings of the Programming Languages and Systems, 2001

1999

Hardware Verification Using Co-induction in COQ.

Solange Coupet-Grimal, Line Jakubiec

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

1996

Coq and Hardware Verification: A Case Study.

Solange Coupet-Grimal, Line Jakubiec

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

A System for Modelling and Proving Circuits.

Michel Allemand, Solange Coupet-Grimal, Line Jakubiec, Jean-Luc Paillet

Proceedings of the 1996 European Design and Test Conference, 1996