Solange Coupet-Grimal

Publication Activity (10 Years)

Years Active: 1991-2006
Publications (10 Years): 0

Publications

Solange Coupet-Grimal, William Delobel
An effective proof of the well-foundedness of the multiset path ordering. Appl. Algebra Eng. Commun. Comput. 17 (6) (2006)
Solange Coupet-Grimal, Line Jakubiec
Certifying circuits in Type Theory. Formal Aspects Comput. 16 (4) (2004)
Solange Coupet-Grimal, William Delobel
A Uniform and Certified Approach for Two Static Analyses. TYPES (2004)
Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec
A Functional Scenario for Bytecode Verification of Resource Bounds. CSL (2004)
Solange Coupet-Grimal, Catherine Nouvet
Formal Verification of an Incremental Garbage Collector. J. Log. Comput. 13 (6) (2003)
Solange Coupet-Grimal
An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions. J. Log. Comput. 13 (6) (2003)
Solange Coupet-Grimal, Line Jakubiec
Hardware Verification Using Co-induction in COQ. TPHOLs (1999)
Roberto M. Amadio, Solange Coupet-Grimal
Analysis of a Guard Condition in Type Theory (Extended Abstract). FoSSaCS (1998)
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)
Solange Coupet-Grimal, Olivier Ridoux
On the Use of Advanced Logic Programming Languages in Computational Linguistics. J. Log. Program. 24 (1&2) (1995)
Solange Coupet-Grimal
Représentation sémantique des langues naturelles en Prolog. JFPL (1993)
Solange Coupet-Grimal
Prolog infinite trees and automata. RAIRO Theor. Informatics Appl. 25 (1991)