Verification of Timed BPEL 2.0 Models. - Elie Fares; Jean-Paul Bodeveix; Mamoun Filali (BMMDS/EMMSAD, 2011)

Design of a BPEL Verification Tool. - Elie Fares; Jean-Paul Bodeveix; Mamoun Filali (WS-FM, 2011)

An Automatic Technique for Checking the Simulation of Timed Systems. - Elie Fares; Jean-Paul Bodeveix; Mamoun Filali-Amine; Manuel Garnacho (ATVA, 2013)

Event algebra for transition systems composition application to timed automata. - Elie Fares; Jean-Paul Bodeveix; Mamoun Filali (Acta Informatica, 2018)

Pattern-Based Refinement Generation Through Domain Specific Languages. - Elie Fares; Jean-Paul Bodeveix; Mamoun Filali (ABZ, 2023)

Correct Pattern-Based Development Through Refinements and Weakest Preconditions Calculus. - Elie Fares; Jean-Paul Bodeveix; Mamoun Filali (FACS, 2024)

Verifying HyperLTL Properties in Event-B. - Jean-Paul Bodeveix; Thomas Carle; Elie Fares; Mamoun Filali; Thai Son Hoang (ABZ, 2024)