Solange Coupet-Grimal - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2006

An effective proof of the well-foundedness of the multiset path orderingSolange Coupet-Grimal, William Delobel. aaecc, 17(6):453-469, 2006. [doi]

2004

A Functional Scenario for Bytecode Verification of Resource BoundsRoberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec. csl 2004: 265-279 [doi]

Certifying circuits in Type TheorySolange Coupet-Grimal, Line Jakubiec. fac, 16(4):352-373, 2004. [doi]

A Uniform and Certified Approach for Two Static AnalysesSolange Coupet-Grimal, William Delobel. TYPES 2006: 115-137 [doi]

2003

An Axiomatization of Linear Temporal Logic in the Calculus of Inductive ConstructionsSolange Coupet-Grimal. logcom, 13(6):801-813, 2003. [doi]

Formal Verification of an Incremental Garbage CollectorSolange Coupet-Grimal, Catherine Nouvet. logcom, 13(6):815-833, 2003. [doi]

1999

Hardware Verification Using Co-induction in COQSolange Coupet-Grimal, Line Jakubiec. tphol 1999: 91-108 [doi]

1998

Analysis of a Guard Condition in Type Theory (Extended Abstract)Roberto M. Amadio, Solange Coupet-Grimal. fossacs 1998: 48-62 [doi]

1996

A System for Modelling and Proving CircuitsMichel Allemand, Solange Coupet-Grimal, Line Jakubiec, Jean-Luc Paillet. date 1996: 605 [doi]

Coq and Hardware Verification: A Case StudySolange Coupet-Grimal, Line Jakubiec. tphol 1996: 125-139

1995

On the Use of Advanced Logic Programming Languages in Computational LinguisticsSolange Coupet-Grimal, Olivier Ridoux. jlp, 24(1&2):121-159, 1995.

1993

Représentation sémantique des langues naturelles en PrologSolange Coupet-Grimal. jfplc 1993: 69-91

1991

Prolog infinite trees and automataSolange Coupet-Grimal. ita, 25:397-418, 1991.

Sign in or sign up to see more results.

runs on WebDSL