Solange Coupet-Grimal

13 papers B 2Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2006 J jnl
An effective proof of the well-foundedness of the multiset path ordering.
Appl. Algebra Eng. Commun. Comput.
Solange Coupet-Grimal, William Delobel
2004 B conf
A Functional Scenario for Bytecode Verification of Resource Bounds.
CSL
Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec
2004 — conf
A Uniform and Certified Approach for Two Static Analyses.
TYPES
Solange Coupet-Grimal, William Delobel
2004 J jnl
Certifying circuits in Type Theory.
Formal Aspects Comput.
Solange Coupet-Grimal, Line Jakubiec
2003 J jnl
An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions.
J. Log. Comput.
Solange Coupet-Grimal
2003 J jnl
Formal Verification of an Incremental Garbage Collector.
J. Log. Comput.
Solange Coupet-Grimal, Catherine Nouvet
1999 — conf
Hardware Verification Using Co-induction in COQ.
TPHOLs
Solange Coupet-Grimal, Line Jakubiec
1998 B conf
Analysis of a Guard Condition in Type Theory (Extended Abstract).
FoSSaCS
Roberto M. Amadio, Solange Coupet-Grimal
1996 — conf
A System for Modelling and Proving Circuits.
ED&TC
Michel Allemand, Solange Coupet-Grimal, Line Jakubiec, Jean-Luc Paillet
1996 — conf
Coq and Hardware Verification: A Case Study.
TPHOLs
Solange Coupet-Grimal, Line Jakubiec
1995 J jnl
On the Use of Advanced Logic Programming Languages in Computational Linguistics.
J. Log. Program.
Solange Coupet-Grimal, Olivier Ridoux
1993 — conf
Représentation sémantique des langues naturelles en Prolog.
JFPL
Solange Coupet-Grimal
1991 J jnl
Prolog infinite trees and automata.
RAIRO Theor. Informatics Appl.
Solange Coupet-Grimal