19
Publications
2K
Citations
16
H-Index
1997
Active since
Jean-Christophe Filliâtre is an author at Université Paris-Sud specializing in computer science, engineering, and program analysis.
Top concepts
EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationVerificationAutomated ReasoningComputer EngineeringFormal Specification
Publications per year
1997–2016
19
19
A.: Why3: Shepherd your herd of provers
François Bobot, Jean-Christophe Filliâtre, Claude Marché et al. · 2011 · 185 citations · Full text
ACSL: ANSI/ISO C Specification Language
Patrick Baudin, Jean-Christophe Filliâtre, Claude Marché et al. · 2008 · 152 citations
Type-safe modular hash-consing
Jean-Christophe Filliâtre, Sylvain Conchon · 2006 · 84 citations
Rows per page
1–5 of 19