Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Filliâtre, Jean-Christophe
184  Ergebnisse:
Personensuche X
?
1

Optimizing Prestate Copies in Runtime Verification of Funct..:

, In: Runtime Verification; Lecture Notes in Computer Science,
Filliâtre, Jean-Christophe ; Pascutto, Clément - p. 85-104 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Simpler proofs with decentralized invariants:

Filliâtre, Jean-Christophe
Journal of Logical and Algebraic Methods in Programming.  121 (2021)  - p. 100645 , 2021
Link: https://doi.org/10.1016/..
 
?
3

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

, In: Runtime Verification; Lecture Notes in Computer Science,
Filliâtre, Jean-Christophe ; Pascutto, Clément - p. 244-253 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Abstraction and Genericity in Why3:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science,
Filliâtre, Jean-Christophe ; Paskevich, Andrei - p. 122-142 , 2020
Link: https://doi.org/10.1007/..
 
?
5

GOSPEL—Providing OCaml with a Formal Specification Language:

, In: Lecture Notes in Computer Science; Formal Methods – The Next 30 Years,
Charguéraud, Arthur ; Filliâtre, Jean-Christophe ; Lourenço, Cláudio. - p. 484-501 , 2019
Link: https://doi.org/10.1007/..
 
?
6

The spirit of ghost code:

Filliâtre, Jean-Christophe ; Gondelman, Léon ; Paskevich, Andrei
Formal Methods in System Design.  48 (2016)  3 - p. 152-174 , 2016
Link: https://doi.org/10.1007/..
 
?
7

Let's verify this with Why3:

Bobot, François ; Filliâtre, Jean-Christophe ; Marché, Claude.
International Journal on Software Tools for Technology Transfer.  17 (2014)  6 - p. 709-727 , 2014
Link: https://doi.org/10.1007/..
 
?
8

CAOVerif: An open-source deductive verification platform fo..:

Almeida, José Bacelar ; Barbosa, Manuel ; Filliâtre, Jean-Christophe..
Science of Computer Programming.  91 (2014)  - p. 216-233 , 2014
Link: https://doi.org/10.1016/..
 
?
9

Trusting computations: A mechanized proof from partial diff..:

Boldo, Sylvie ; Clément, François ; Filliâtre, Jean-Christophe...
Computers & Mathematics with Applications.  68 (2014)  3 - p. 325-352 , 2014
Link: https://doi.org/10.1016/..
 
?
10

Wave Equation Numerical Resolution: A Comprehensive Mechani..:

Boldo, Sylvie ; Clément, François ; Filliâtre, Jean-Christophe...
Journal of Automated Reasoning.  50 (2012)  4 - p. 423-456 , 2012
Link: https://doi.org/10.1007/..
 
?
11

Deductive software verification:

Filliâtre, Jean-Christophe
International Journal on Software Tools for Technology Transfer.  13 (2011)  5 - p. 397-403 , 2011
Link: https://doi.org/10.1007/..
 
?
12

Session details: PLVP'10:

Filliâtre, Jean-Christophe ; Flanagan, Cormac
ACM SIGPLAN Notices.  44 (2010)  11 - p. , 2010
Link: https://doi.org/10.1145/..
 
?
13

Session details: PLVP'10:

Filliâtre, Jean-Christophe ; Flanagan, Cormac
ACM SIGPLAN Notices.  44 (2010)  11 - p. , 2010
Link: https://dl.acm.org/doi/1..
 
?
14

Proceedings of the 4th ACM SIGPLAN workshop on Programming ..:

Filliâtre, Jean-Christophe ; Flanagan, Cormac , 2010
Link: https://dl.acm.org/doi/1..
 
?
15

Who : a verifier for effectful higher-order programs:

, In: Proceedings of the 2009 ACM SIGPLAN workshop on ML,
Kanig, Johannes ; Filliâtre, Jean-Christophe - p. 39-48 , 2009
Link: https://dl.acm.org/doi/1..
 
1-15