Verifying Smart Contracts with Cubicle. - Sylvain Conchon; Alexandrina Korneva; Fatiha Zaïdi (FM Workshops (1), 2019)

Formally Documenting Tenderbake (Short Paper). - Sylvain Conchon; Alexandrina Korneva; Çagdas Bozman; Mohamed Iguernlala; Alain Mebsout (FMBC@CAV, 2021)

The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model Checker. - Sylvain Conchon; Alexandrina Korneva (SEFM, 2023)

The Cubicle Fuzzy Loop: A Testing Framework for Cubicle. (La boucle de fuzzing CFL: un cadre de test pour Cubicle). - Alexandrina Korneva (2023)