Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Résultat de recherche
-
When Separation Arithmetic is Enough
Filliâtre, J. C., Paskevich, A. & Danvy, O., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
coma, an Intermediate Verification Language with Explicit Abstraction Barriers
Paskevich, A., Patault, P. & Filliâtre, J. C., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
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 févr. 2024, Dans: Art, Science, and Engineering of Programming. 9, 1, 3.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Optimizing Prestate Copies in Runtime Verification of Function Postconditions
Filliâtre, J. C. & Pascutto, C., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Ortac: Runtime Assertion Checking for OCaml (Tool Paper)
Filliâtre, J. C. & Pascutto, C., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Simpler proofs with decentralized invariants
Filliâtre, J. C., 1 juin 2021, Dans: Journal of Logical and Algebraic Methods in Programming. 121, 100645.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Abstraction and Genericity in Why3
Filliâtre, J. C. & Paskevich, A., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Mesurer la hauteur d’un arbre
Filliâtre, J. C., 1 janv. 2020, p. 160-167. 8 p.Résultats de recherche: Contribution à une conférence › Papier › Revue par des pairs
-
GOSPEL—providing OCaml with a formal specification language
Charguéraud, A., Filliâtre, J. C., Lourenço, C. & Pereira, M., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Vérification de programmes OCaml fortement impératifs avec Why3
Filliâtre, J. C., Pereira, M. & de Sousa, S. M., 1 janv. 2018, p. 151-164. 14 p.Résultats de recherche: Contribution à une conférence › Papier › Revue par des pairs