Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières. - Sylvain Conchon; David Declerck; Luc Maranget; Alain Mebsout (JFLA, 2014)

Compiling Parameterized X86-TSO Concurrent Programs to Cubicle- W. - Sylvain Conchon; David Declerck; Fatiha Zaïdi (ICFEM, 2017)

Parameterized Model Checking Modulo Explicit Weak Memory Models. - Sylvain Conchon; David Declerck; Fatiha Zaïdi (IMPEX/FM&MDD, 2017)

Cubicle- W : Parameterized Model Checking on Weak Memory. - Sylvain Conchon; David Declerck; Fatiha Zaïdi (IJCAR, 2018)

Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles. (Verification via Model Checking of Parameterized Concurrent Programs on Weak Memory Models). - David Declerck (2018)

Parameterized Model Checking on the TSO Weak Memory Model. - Sylvain Conchon; David Declerck; Fatiha Zaïdi (J. Autom. Reason., 2020)