Static typing & JavaScript libraries: towards a more considerate relationship. - Benjamin Canou; Emmanuel Chailloux; Vincent Botbol (WWW (Companion Volume), 2013)

Static Analysis of Communicating Processes Using Symbolic Transducers. - Vincent Botbol; Emmanuel Chailloux; Tristan Le Gall (VMCAI, 2017)

Analyse statique de programmes concurrents avec variables numériques. (Static analysis of concurrent programs with numerical variables). - Vincent Botbol (2018)

Automated Random Testing of Numerical Constrained Types. - Ghiles Ziat; Matthieu Dien; Vincent Botbol (CP, 2021)

Abstract interpretation of Michelson smart-contracts. - Guillaume Bau; Antoine Miné; Vincent Botbol; Mehdi Bouaziz (SOAP@PLDI, 2022)

Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types. - Ghiles Ziat; Vincent Botbol; Matthieu Dien; Arnaud Gotlieb; Martin Pépin; Catherine Dubois (CoRR, 2022)