Solange Coupet-Grimal

According to our database, Solange Coupet-Grimal authored at least 13 papers between 1991 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

An effective proof of the well-foundedness of the multiset path ordering.

Solange Coupet-Grimal, William Delobel

Appl. Algebra Eng. Commun. Comput., 2006

2004

Certifying circuits in Type Theory.

Solange Coupet-Grimal, Line Jakubiec

Formal Aspects Comput., 2004

A Uniform and Certified Approach for Two Static Analyses.

Solange Coupet-Grimal, William Delobel

Proceedings of the Types for Proofs and Programs, International Workshop, 2004

A Functional Scenario for Bytecode Verification of Resource Bounds.

Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003

Formal Verification of an Incremental Garbage Collector.

Solange Coupet-Grimal, Catherine Nouvet

J. Log. Comput., 2003

An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions.

Solange Coupet-Grimal

J. Log. Comput., 2003

1999

Hardware Verification Using Co-induction in COQ.

Solange Coupet-Grimal, Line Jakubiec

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

1998

Analysis of a Guard Condition in Type Theory (Extended Abstract).

Roberto M. Amadio, Solange Coupet-Grimal

Proceedings of the Foundations of Software Science and Computation Structure, 1998

1996

Coq and Hardware Verification: A Case Study.

Solange Coupet-Grimal, Line Jakubiec

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

A System for Modelling and Proving Circuits.

Michel Allemand, Solange Coupet-Grimal, Line Jakubiec, Jean-Luc Paillet

Proceedings of the 1996 European Design and Test Conference, 1996

1995

On the Use of Advanced Logic Programming Languages in Computational Linguistics.

Solange Coupet-Grimal, Olivier Ridoux

J. Log. Program., 1995

1993

Représentation sémantique des langues naturelles en Prolog.

Solange Coupet-Grimal

Proceedings of the 2èmes Journées Francophones de Programmation Logique (JFPL 93), 1993

1991

Prolog infinite trees and automata.

Solange Coupet-Grimal

RAIRO Theor. Informatics Appl., 1991