Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier. - Wolfgang Ahrendt; Richard Bubel; Joshua Ellul; Gordon J. Pace; Raúl Pardo; Vincent Rebiscoul; Gerardo Schneider (FSEN, 2019)

Deriving Abstract Interpreters from Skeletal Semantics. - Thomas P. Jensen; Vincent Rebiscoul; Alan Schmitt (EXPRESS/SOS, 2023)

Analyses statiques pour sémantiques squelettiques. (Static analysis for skeletal semantics). - Vincent Rebiscoul (2024)