Enabler-based synchronizer model for clock domain crossing static verification. - Mejid Kebaili; Katell Morin-Allory; Jean-Christophe Brignone; Dominique Borrione (FDL, 2015)

Clock domain crossing formal verification: a meta-model. - Mejid Kebaili; Jean-Christophe Brignone; Katell Morin-Allory (HLDVT, 2016)

A Generic CDC Modeling for Data Stability Verification. - Diana Kalel; Jean-Christophe Brignone; Laurent Fesquet; Katell Morin-Allory (ICECS, 2023)

UPF-Aware CDC Structural Verification on RTL. - Diana Kalel; Jean-Christophe Brignone; Irene Serre; Julian Massicot; Jerome Avezou (NEWCAS, 2023)