Guillaume Claret

According to our database, Guillaume Claret authored at least 7 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2020

Making Tezos Smart Contracts More Reliable with Coq.

Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2018

Program in Coq. (Programmer en Coq).

Guillaume Claret

PhD thesis, 2018

2015

Mechanical Verification of Interactive Programs Specified by Use Cases.

Guillaume Claret, Yann Régis-Gianas

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

2013

Bayesian inference using data flow analysis.

Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, Johannes Borgström

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

A model-learner pattern for bayesian reasoning.

Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation.

Guillaume Claret, Lourdes Del Carmen González-Huesca, Yann Régis-Gianas, Beta Ziliani

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

Physical Simulation of Inarticulate Robots.

Guillaume Claret, Michaël Mathieu, David Naccache, Guillaume Seguin

Proceedings of the Cryptography and Security: From Theory to Applications, 2012