An Event-B Development Process for the Distributed BIP Framework. - Badr Siala; Mohamed Tahar Bhiri; Jean-Paul Bodeveix; Mamoun Filali (ICFEM, 2016)

Automatic Refinement for Event-B through Annotated Patterns. - Badr Siala; Jean-Paul Bodeveix; Mamoun Filali; Mohamed Tahar Bhiri (PDP, 2017)

An Event-B framework for the validation of Event-B refinement plugins. - Jean-Paul Bodeveix; Mamoun Filali; Mohamed Tahar Bhiri; Badr Siala (CoRR, 2017)

Décomposition formelle des spécifications centralisées Event-B: application aux systèmes distribués BIP. (Formal decomposition of event-B centralized specifications: application to BIP distributed systems). - Badr Siala (2017)

An Automatic Refinement for Event-B Through Annotated Temporal Logic Patterns. - Badr Siala; Mohamed Tahar Bhiri (ICCCI, 2022)