Skip to main navigation Skip to search Skip to main content
No photo of Jean-Christophe Filliatre

View Scopus Profile

Jean-Christophe Filliatre

  • 1695
    Citations
1999 …2026

Research activity per year

Fingerprint

Dive into the research topics where Jean-Christophe Filliatre is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • When Separation Arithmetic is Enough

    Filliâtre, J. C., Paskevich, A. & Danvy, O., 1 Jan 2026, Integrated Formal Methods - 20th International Conference, iFM 2025, Proceedings. Damiani, F. & Farrell, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 23-37 15 p. (Lecture Notes in Computer Science; vol. 16194 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • coma, an Intermediate Verification Language with Explicit Abstraction Barriers

    Paskevich, A., Patault, P. & Filliâtre, J. C., 1 Jan 2025, Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Vafeiadis, V. (ed.). Springer Science and Business Media Deutschland GmbH, p. 175-201 27 p. (Lecture Notes in Computer Science; vol. 15695 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly

    Andrès, L., Marques, F., Carcano, A., Chambart, P., Santos, J. F. & Filliâtre, J. C., 1 Feb 2024, In: Art, Science, and Engineering of Programming. 9, 1, 3.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    5 Citations (Scopus)

  • Optimizing Prestate Copies in Runtime Verification of Function Postconditions

    Filliâtre, J. C. & Pascutto, C., 1 Jan 2022, Runtime Verification - 22nd International Conference, RV 2022, Proceedings. Dang, T. & Stolz, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 85-104 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13498 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Ortac: Runtime Assertion Checking for OCaml (Tool Paper)

    Filliâtre, J. C. & Pascutto, C., 1 Jan 2021, Runtime Verification - 21st International Conference, RV 2021, Proceedings. Feng, L. & Fisman, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 244-253 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12974 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    3 Citations (Scopus)

  • Simpler proofs with decentralized invariants

    Filliâtre, J. C., 1 Jun 2021, In: Journal of Logical and Algebraic Methods in Programming. 121, 100645.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    6 Citations (Scopus)

  • Abstraction and Genericity in Why3

    Filliâtre, J. C. & Paskevich, A., 1 Jan 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 122-142 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12476 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    10 Citations (Scopus)

  • Mesurer la hauteur d’un arbre

    Translated title of the contribution: Measuring the height of a treeFilliâtre, J. C., 1 Jan 2020, p. 160-167. 8 p.

    Research output: Contribution to conference › Paper › peer-review

  • GOSPEL—providing OCaml with a formal specification language

    Charguéraud, A., Filliâtre, J. C., Lourenço, C. & Pereira, M., 1 Jan 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 484-501 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11800 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    12 Citations (Scopus)

  • Vérification de programmes OCaml fortement impératifs avec Why3

    Translated title of the contribution: Verification of highly imperative OCaml programs with Why3Filliâtre, J. C., Pereira, M. & de Sousa, S. M., 1 Jan 2018, p. 151-164. 14 p.

    Research output: Contribution to conference › Paper › peer-review

    1 Citation (Scopus)
View all 58 research outputs