Jean-Christophe Filliâtre

Artificial Intelligence · 2007–2013

A researcher in the Science corpus: 4 papers; trusts 7 researchers and is trusted by 7 researchers here, as inferred from the citation graph.

Subfields

Whom Jean-Christophe Filliâtre trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Mike Barnett
  2. François Bobot
  3. Lilian Burdy
  4. Claude Marché
  5. Gary T. Leavens
  6. David R. Cok
  7. Yoonsik Cheon
  8. R. Deline

Who trusts Jean-Christophe Filliâtre overall

  1. Bo Jiang
  2. François Bobot
  3. Ivica Nikolic
  4. Patrick Baudin
  5. Karthikeyan Bhargavan
  6. Claude Marché
  7. Ye Liu
  8. A. Paskevich
  9. Aashish Kolluri
  10. Wing Kwong Chan

Papers from Jean-Christophe Filliâtre's perspective

Ordered by how strongly the researchers Jean-Christophe Filliâtre trusts endorse each paper. Same corpus, a different order for every researcher.

  1. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
  2. An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))
  3. The SMT-LIB Standard Version 2.0
  4. seL4: Formal Verification of an OS Kernel
  5. ESC/Java2: Uniting ESC/Java and JML (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
  6. Dafny: An Automatic Program Verifier for Functional Correctness (Logic Programming and Automated Reasoning)
  7. Boogie: A Modular Reusable Verifier for Object-Oriented Programs (Formal Methods for Components and Objects)
  8. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
  9. The Why/Krakatoa/Caduceus Platform for Deductive Program Verification (International Conference on Computer Aided Verification)
  10. Interactive Theorem Proving and Program Development (Texts in Theoretical Computer Science. An EATCS Series)

Their papers