Frédéric Voisin

According to our database, Frédéric Voisin authored at least 15 papers between 1984 and 2019.

Collaborative distances:

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

2019

Designing Virtual Soundscapes for Alzheimer's Disease Care.

Frédéric Voisin

CoRR, 2019

Designing Soundscapes for Alzheimer's Disease Care, with Preliminary Clinical Observations.

Frédéric Voisin, Arnaud Bidotti, France Mourey

Proceedings of the Perception, Representations, Image, Sound, Music, 2019

2016

Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths.

Romain Aïssat, Frédéric Voisin, Burkhart Wolff

Arch. Formal Proofs, 2016

A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution.

Romain Aïssat, Marie-Claude Gaudel, Frédéric Voisin, Burkhart Wolff

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

1996

A New Proof-Manager and Graphic Interface for the Larch Prover.

Frédéric Voisin

Proceedings of the Algebraic Methodology and Software Technology, 1996

ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools.

Michel Bidoit, Christine Choppy, Frédéric Voisin

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules.

Frédéric Voisin, Michel Bidoit

Proceedings of the Recent Trends in Data Type Specification, 1995

Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU⁺/LP Experience.

Michel Bidoit, Christine Choppy, Frédéric Voisin

Proceedings of the Recent Trends in Data Type Specification, 1995

1993

Set-Theoretic Graph Rewriting.

Jean-Claude Raoult, Frédéric Voisin

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1992

A New Front-End for the Larch Prover.

Frédéric Voisin

Proceedings of the First International Workshop on Larch, 1992

1988

A Bottom-Up Adaption of Earley's Parsing Algorithm.

Frédéric Voisin

Proceedings of the Programming Language Implementation and Logic Programming, 1988

1987

Asspegique: An Integrated Specification Environment.

Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin

Proceedings of the STACS 87, 1987

ASSPEGIQUE: An Integrated Specification Environment.

Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin

Proceedings of the Conditional Term Rewriting Systems, 1987

1986

CIGALE: A Tool for Interactive Grammar Construction and Expression Parsing.

Frédéric Voisin

Sci. Comput. Program., 1986

1984

The ASSPEGIQUE Specification Environment - Motivations and Design.

Michel Bidoit, Christine Choppy, Frédéric Voisin

Proceedings of the Recent Trends in Data Type Specification, 1984