The ASSPEGIQUE Specification Environment - Motivations and Design. - Michel Bidoit; Christine Choppy; Frédéric Voisin (ADT, 1984)

CIGALE: A Tool for Interactive Grammar Construction and Expression Parsing. - Frédéric Voisin (Sci. Comput. Program., 1986)

ASSPEGIQUE: An Integrated Specification Environment. - Michel Bidoit; Francis Capy; Christine Choppy; Stéphane Kaplan; Françoise Schlienger; Frédéric Voisin (CTRS, 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 (STACS, 1987)

A Bottom-Up Adaption of Earley's Parsing Algorithm. - Frédéric Voisin (PLILP, 1988)

A New Front-End for the Larch Prover. - Frédéric Voisin (Larch, 1992)

Set-Theoretic Graph Rewriting. - Jean-Claude Raoult; Frédéric Voisin (Dagstuhl Seminar on Graph Transformations in Computer Science, 1993)

Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU+/LP Experience. - Michel Bidoit; Christine Choppy; Frédéric Voisin (COMPASS/ADT, 1995)

Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules. - Frédéric Voisin; Michel Bidoit (COMPASS/ADT, 1995)

ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools. - Michel Bidoit; Christine Choppy; Frédéric Voisin (AMAST, 1996)

A New Proof-Manager and Graphic Interface for the Larch Prover. - Frédéric Voisin (AMAST, 1996)

A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution. - Romain Aïssat; Marie-Claude Gaudel; Frédéric Voisin; Burkhart Wolff (QRS, 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)

Designing Soundscapes for Alzheimer's Disease Care, with Preliminary Clinical Observations. - Frédéric Voisin; Arnaud Bidotti; France Mourey (CMMR, 2019)

Designing Virtual Soundscapes for Alzheimer's Disease Care. - Frédéric Voisin (CoRR, 2019)

Efficient Uniform Sampling of Traces in Presence of Infeasibilities. - Marie-Claude Gaudel; Frédéric Voisin (The Practice of Formal Methods (I), 2024)