Jean-Christophe Filliâtre

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Simpler proofs with decentralized invariants Journal of Logical and Algebraic Methods in Programming	2021-08-03	Paper
Trusting computations: a mechanized proof from partial differential equations to actual program Computers & Mathematics with Applications	2017-08-21	Paper
The spirit of ghost code Formal Methods in System Design	2017-03-28	Paper
Why3 -- where programs meet provers Programming Languages and Systems	2013-08-05	Paper
Wave equation numerical resolution: a comprehensive mechanized proof of a C program Journal of Automated Reasoning	2013-07-05	Paper
One logic to use them all Automated Deduction – CADE-24	2013-06-14	Paper
Correct code containing containers Tests and Proofs	2011-07-07	Paper
Formal proof of a wave equation resolution scheme: the method error Interactive Theorem Proving	2010-09-14	Paper
Combining Coq and Gappa for Certifying Floating-Point Programs Lecture Notes in Computer Science	2009-07-09	Paper
Semi-persistent Data Structures Programming Languages and Systems	2008-04-11	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2007-09-28	Paper
Formal proof of a program: find Science of Computer Programming	2007-01-11	Paper
Verification of non-functional programs using interpretations in type theory Journal of Functional Programming	2004-05-18	Paper
Producing all ideals of a forest, functionally Journal of Functional Programming	2004-03-29	Paper
scientific article; zbMATH DE number 1798183 (Why is no real title available?)	2002-11-04	Paper
scientific article; zbMATH DE number 1420787 (Why is no real title available?)	2000-03-22	Paper

Research outcomes over time

This page was built for person: Jean-Christophe Filliâtre