Guillaume Claret

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 3

Top Topics

Bayesian Inference

Highly Interactive

Top Venues

Cryptography and Security

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson
Making Tezos smart contracts more reliable with Coq. CoRR (2021)
Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson
Making Tezos Smart Contracts More Reliable with Coq. ISoLA (3) (2020)
Guillaume Claret, Yann Régis-Gianas
Mechanical Verification of Interactive Programs Specified by Use Cases. FormaliSE@ICSE (2015)
Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo
A model-learner pattern for bayesian reasoning. POPL (2013)
Guillaume Claret, Lourdes Del Carmen González-Huesca, Yann Régis-Gianas, Beta Ziliani
Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation. ITP (2013)
Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, Johannes Borgström
Bayesian inference using data flow analysis. ESEC/SIGSOFT FSE (2013)
Guillaume Claret, Michaël Mathieu, David Naccache, Guillaume Seguin
Physical Simulation of Inarticulate Robots. Cryptography and Security (2012)
Guillaume Claret, Michaël Mathieu, David Naccache, Guillaume Seguin
Physical Simulation of Inarticulate Robots CoRR (2011)