Using the Language Lustre for Sequential Circuit Verification. - Ghislaine Thuau; Bachir Berkane (Designing Correct Circuits, 1992)

Vérification des systèmes matériels numériques séquentiels synchrones : application du langage Lustre et de l'outil de vérification Lesar. (Verification of synchronous sequential digital hardware systems. Application of the langage Lustre and the verification tool Lesar). - Bachir Berkane (1992)

A Unified Framework for Describing and Verifying Hardware Synchronous Sequential Systems. - Ghislaine Thuau; Bachir Berkane (Formal Methods Syst. Des., 1993)

A High-Throughput Implementation of the MUSIC Algorithm Using AMD Versal AI Engine. - Peifang Zhou; Bachir Berkane; Vlad Druz; Mark Rollins (FCCM, 2025)