Solange Coupet-Grimal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1996–2004
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | CSL | A Functional Scenario for Bytecode Verification of Resource Bounds. | Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec |
| 1998 | FOSSACS | Analysis of a Guard Condition in Type Theory (Extended Abstract). | Roberto M. Amadio, Solange Coupet-Grimal |
| 1996 | DATE | A System for Modelling and Proving Circuits. | Michel Allemand, Solange Coupet-Grimal, Line Jakubiec, Jean-Luc Paillet |