Frédéric Voisin

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