Frdric Voisin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1987–2016
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ITP | Infeasible Paths Elimination by Symbolic Execution Techniques - Proof of Correctness and Preservation of Paths. | Romain Assat, Frdric Voisin, Burkhart Wolff |
| 2016 | QRS | A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution. | Romain Assat, Marie-Claude Gaudel, Frdric Voisin, Burkhart Wolff |
| 1995 | COMPASS | Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU | Michel Bidoit, Christine Choppy, Frdric Voisin |
| 1995 | COMPASS | Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules. | Frdric Voisin, Michel Bidoit |
| 1987 | STACS | Asspegique: An Integrated Specification Environment. | Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stphane Kaplan, Franoise Schlienger, Frdric Voisin |