Physical Simulation of Inarticulate Robots. - Guillaume Claret; Michaël Mathieu; David Naccache; Guillaume Seguin (Cryptography and Security, 2012)

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 (ITP, 2013)

A model-learner pattern for bayesian reasoning. - Andrew D. Gordon 001; Mihhail Aizatulin; Johannes Borgström; Guillaume Claret; Thore Graepel; Aditya V. Nori; Sriram K. Rajamani; Claudio V. Russo (POPL, 2013)

Bayesian inference using data flow analysis. - Guillaume Claret; Sriram K. Rajamani; Aditya V. Nori; Andrew D. Gordon 001; Johannes Borgström (ESEC/SIGSOFT FSE, 2013)

Mechanical Verification of Interactive Programs Specified by Use Cases. - Guillaume Claret; Yann Régis-Gianas (FormaliSE@ICSE, 2015)

Program in Coq. (Programmer en Coq). - Guillaume Claret (2018)

Making Tezos Smart Contracts More Reliable with Coq. - Bruno Bernardo; Raphaël Cauderlier; Guillaume Claret; Arvid Jakobsson; Basile Pesin; Julien Tesson (ISoLA (3), 2020)