Searching for authors named "Line Jakubiec" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

Specifications of the ATM Switch Fabric in Coq
by Line Jakubiec — 1997
…Specifications of the ATM Switch Fabric in Coq Line JAKUBIEC May 31, 1997 Contents 1 Introduction…
Add To MetaCart

Coq and Hardware Verification: a Case Study
by Solange Coupet-Grimal, Line Jakubiec — 1996 — TPHOLs'96, LCNS 1125
…Coq and Hardware Verification : a Case Study Solange Coupet--Grimal and Line Jakubiec…
Cited by 2 (2 self) – Add To MetaCart

Hardware Verification using co-induction in COQ
by Solange Coupet-Grimal, Line Jakubiec — 1999 — In Proceedings of the International Conference on Theorem Proving in Higher-Order Logics
…Hardware Verification using co-induction in COQ Solange Coupet--Grimal and Line Jakubiec…
Cited by 1 (0 self) – Add To MetaCart

A Comparison of the Coq and HOL Proof Systems for Specifying Hardware
by Line Jakubiec, Solange Coupet-Grimal, Paul Curzon — 1997
…A Comparison of the Coq and HOL Proof Systems for Specifying Hardware Line Jakubiecy, Solange…
Cited by 5 (3 self) – Add To MetaCart

A System for Modelling and Proving Circuits
by Michel Allemand, Solange Coupet-Grimal, Line Jakubiec, Jean-Luc Paillet — 1996
… Allemand, Solange Coupet{Grimal, Line Jakubiec and Jean{Luc Paillet Laboratoire d'Informatique de Marseille…
Add To MetaCart

Formalization in Coq of the Java Card Virtual Machine
by Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard Serpette, Simão Sousa, Shen-Wei Yu
…GillesBarthe,GuillaumeDufay,LineJakubiec,BernardSerpette,SimãoSousa,andShen-WeiYu Formalizationin…
Cited by 1 (0 self) – Add To MetaCart

Short Presentation: A Functional Scenario
by For Bytecode Verification, Roberto Amadio, Solange Coupet-grimal, Silvano Dal Zilio, Line Jakubiec — 2004
… Roberto Amadio, Solange Coupet-Grimal, Silvano Dal Zilio and Line Jakubiec We define a simple stack…
Add To MetaCart

A Formal Executable Semantics of the JavaCard Platform
by Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard Serpette, Simo Melo de Sousa
… , Line Jakubiec 12 , Bernard Serpette 1 , and Sim#o Melo de Sousa 13 1 INRIA Sophia…
Cited by 12 (0 self) – Add To MetaCart

A Functional Scenario for Bytecode Verification of Resource Bounds
by Roberto M. Amadio, Solange Coupet-grimal, Silvano Dal Zilio, Line Jakubiec — 2004 — In Jerzy Marcinkowski and Andrzej Tarlecki, editors, Computer Science Logic, 18th International Workshop, CSL 13th Annual Conference of the EACSL, Karpacz
… Coupet-Grimal, Silvano Dal Zilio and Line Jakubiec Laboratoire d’Informatique Fondamentale de Marseille…
Cited by 13 (3 self) – Add To MetaCart

Showing 1 through 9.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB