| 2006 |
|---|
| 12 | EE | Solange Coupet-Grimal,
William Delobel:
An effective proof of the well-foundedness of the multiset path ordering.
Appl. Algebra Eng. Commun. Comput. 17(6): 453-469 (2006) |
| 2004 |
|---|
| 11 | EE | Roberto M. Amadio,
Solange Coupet-Grimal,
Silvano Dal-Zilio,
Line Jakubiec:
A Functional Scenario for Bytecode Verification of Resource Bounds.
CSL 2004: 265-279 |
| 10 | EE | Solange Coupet-Grimal,
William Delobel:
A Uniform and Certified Approach for Two Static Analyses.
TYPES 2004: 115-137 |
| 9 | EE | Solange Coupet-Grimal,
Line Jakubiec:
Certifying circuits in Type Theory.
Formal Asp. Comput. 16(4): 352-373 (2004) |
| 2003 |
|---|
| 8 | EE | Solange Coupet-Grimal:
An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions.
J. Log. Comput. 13(6): 801-813 (2003) |
| 7 | EE | Solange Coupet-Grimal,
Catherine Nouvet:
Formal Verification of an Incremental Garbage Collector.
J. Log. Comput. 13(6): 815-833 (2003) |
| 1999 |
|---|
| 6 | EE | Solange Coupet-Grimal,
Line Jakubiec:
Hardware Verification Using Co-induction in COQ.
TPHOLs 1999: 91-108 |
| 1998 |
|---|
| 5 | EE | Roberto M. Amadio,
Solange Coupet-Grimal:
Analysis of a Guard Condition in Type Theory (Extended Abstract).
FoSSaCS 1998: 48-62 |
| 1996 |
|---|
| 4 | | Solange Coupet-Grimal,
Line Jakubiec:
Coq and Hardware Verification: A Case Study.
TPHOLs 1996: 125-139 |
| 1995 |
|---|
| 3 | | Solange Coupet-Grimal,
Olivier Ridoux:
On the Use of Advanced Logic Programming Languages in Computational Linguistics.
J. Log. Program. 24(1&2): 121-159 (1995) |
| 1993 |
|---|
| 2 | | Solange Coupet-Grimal:
Représentation sémantique des langues naturelles en Prolog.
JFPL 1993: 69-91 |
| 1991 |
|---|
| 1 | | Solange Coupet-Grimal:
Prolog infinite trees and automata.
ITA 25: 397-418 (1991) |
