dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jean-Christophe Filliâtre Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre: Verifying Two Lines of C with Why3: An Exercise in Program Verification. VSTTE 2012: 83-97
2011
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaire Dross, Jean-Christophe Filliâtre, Yannick Moy: Correct Code Containing Containers. TAP 2011: 102-118
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis: Wave Equation Numerical Resolution: Mathematics and Program CoRR abs/1112.1795: (2011)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre: Deductive software verification. STTT 13(5): 397-403 (2011)
2010
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre, Cormac Flanagan: Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010 ACM 2010
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis: Formal Proof of a Wave Equation Resolution Scheme: The Method Error. ITP 2010: 147-162
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis: Formal Proof of a Wave Equation Resolution Scheme: the Method Error CoRR abs/1001.4898: (2010)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis: Formal Proof of a Wave Equation Resolution Scheme: the Method Error CoRR abs/1005.0824: (2010)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Barbosa, Jorge Sousa Pinto, Jean-Christophe Filliâtre, Bárbara Vieira: A Deductive Verification Platform for Cryptographic Software. ECEASST 33: (2010)
2009
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvie Boldo, Jean-Christophe Filliâtre, Guillaume Melquiond: Combining Coq and Gappa for Certifying Floating-Point Programs. Calculemus/MKM 2009: 59-74
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRomain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer: Faire bonne figure avec Mlpost. JFLA 2009: 477-507
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRomain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer: Faire bonne figure avec MLPOST. Stud. Inform. Univ. 7(2): 225-252 (2009)
2008
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvain Conchon, Jean-Christophe Filliâtre: Semi-persistent Data Structures. ESOP 2008: 322-336
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre: A functional implementation of the garsia--wachs algorithm: (functional pearl). ML 2008: 91-96
2007
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre, Claude Marché: The Why/Krakatoa/Caduceus Platform for Deductive Program Verification. CAV 2007: 173-177
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvie Boldo, Jean-Christophe Filliâtre: Formal Verification of Floating-Point Programs. IEEE Symposium on Computer Arithmetic 2007: 187-194
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvain Conchon, Jean-Christophe Filliâtre: A persistent union-find data structure. ML 2007: 37-46
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre: Formal proof of a program: Find. Sci. Comput. Program. 64(3): 332-340 (2007)
2006
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner: Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers Springer 2006
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre, Sylvain Conchon: Type-safe modular hash-consing. ML 2006: 12-19
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre: Backtracking iterators. ML 2006: 55-62
2004
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre, Pierre Letouzey: Functors for Proofs and Programs. ESOP 2004: 370-384
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre, Claude Marché: Multi-prover Verification of C Programs. ICFEM 2004: 15-29
2003
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre: Journées francophones des langages applicatifs (JFLA'03), Chamrousse, France, Janvier 2003 INRIA 2003
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre: Verification of non-functional programs using interpretations in type theory. J. Funct. Program. 13(4): 709-745 (2003)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre, François Pottier: Producing all ideals of a forest, functionally. J. Funct. Program. 13(5): 945-956 (2003)
2001
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar: ICS: Integrated Canonizer and Solver. CAV 2001: 246-249
1998
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Christophe Filliâtre: Proof of Imperative Programs in Type Theory. TYPES 1998: 78-92

Coauthor Index

1Manuel Barbosa [20]
2Romain Bardou [17] [18]
3Sylvie Boldo [13] [19] [21] [22] [23] [26]
4François Clément [21] [22] [23] [26]
5Sylvain Conchon [9] [12] [16]
6Claire Dross [27]
7Cormac Flanagan [24]
8Johannes Kanig [17] [18]
9Stéphane Lescuyer [17] [18]
10Pierre Letouzey [7]
11Claude Marché [6] [14]
12Micaela Mayero [21] [22] [23] [26]
13Guillaume Melquiond [19] [21] [22] [23] [26]
14Yannick Moy [27]
15Sam Owre [2]
16Christine Paulin-Mohring [10]
17Jorge Sousa Pinto [20]
18François Pottier [3]
19Harald Ruess (Harald Rueß) [2]
20Natarajan Shankar [2]
21Bárbara Vieira [20]
22Pierre Weis [21] [22] [23] [26]
23Benjamin Werner [10]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page