Franoise Bellegarde
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1997–2005
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | MEMOCODE | Refinemant verification of fair transition systems can contribute to PLTL model checking. | Franoise Bellegarde, Samir Chouali, Jacques Julliand |
| 2003 | MEMOCODE | How to Compute the Refinement Relation for Parameterized Systems. | Franoise Bellegarde, Celina Charlet, Olga Kouchnarenko |
| 2001 | FM | Reformulation: A Way to Combine Dynamic Properties and B Refinement. | Franoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko |
| 2000 | FASE | Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. | Franoise Bellegarde, Jacques Julliand, Olga Kouchnarenko |
| 1997 | ICFP | Type-Driven Defunctionalization. | Jeffrey M. Bell, Franoise Bellegarde, James Hook |