Frédéric Voisin

Publication Activity (10 Years)

Years Active: 1984-2019
Publications (10 Years): 5

Top Topics

Disease Diagnosis

Symbolic Execution

Computer Aided Diagnosis

Top Venues

Arch. Formal Proofs

Publications

Frédéric Voisin
Designing Virtual Soundscapes for Alzheimer's Disease Care. CoRR (2019)
Frédéric Voisin, Arnaud Bidotti, France Mourey
Designing Soundscapes for Alzheimer's Disease Care, with Preliminary Clinical Observations. CMMR (2019)
Romain Aïssat, Frédéric Voisin, Burkhart Wolff
Infeasible Paths Elimination by Symbolic Execution Techniques - Proof of Correctness and Preservation of Paths. ITP (2016)
Romain Aïssat, Frédéric Voisin, Burkhart Wolff
Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths. Arch. Formal Proofs 2016 (2016)
Romain Aïssat, Marie-Claude Gaudel, Frédéric Voisin, Burkhart Wolff
A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution. QRS (2016)
Frédéric Voisin
A new Proof-Manager and Graphic Interface for the Larch Prover. TAPSOFT (1997)
Michel Bidoit, Christine Choppy, Frédéric Voisin
ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools. AMAST (1996)
Frédéric Voisin
A New Proof-Manager and Graphic Interface for the Larch Prover. AMAST (1996)
Frédéric Voisin
A New Proof Manager and Graphic Interface for Larch Prover. RTA (1996)
Frédéric Voisin, Michel Bidoit
Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules. COMPASS/ADT (1995)
Michel Bidoit, Christine Choppy, Frédéric Voisin
/LP Experience. COMPASS/ADT (1995)
Jean-Claude Raoult, Frédéric Voisin
Set-Theoretic Graph Rewriting. Dagstuhl Seminar on Graph Transformations in Computer Science (1993)
Frédéric Voisin
A New Front-End for the Larch Prover. Larch (1992)
Frédéric Voisin
A Bottom-Up Adaption of Earley's Parsing Algorithm. PLILP (1988)
Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin
ASSPEGIQUE: An Integrated Specification Environment. CTRS (1987)
Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin
Asspegique: An Integrated Specification Environment. STACS (1987)
Frédéric Voisin
CIGALE: A Tool for Interactive Grammar Construction and Expression Parsing. Sci. Comput. Program. 7 (1) (1986)
Michel Bidoit, Christine Choppy, Frédéric Voisin
The ASSPEGIQUE Specification Environment - Motivations and Design. ADT (1984)