BHDL: Circuit Design in B. - Ammar Aljer; Philippe Devienne; Sophie Tison; Jean-Louis Boulanger; Georges Mariano (ACSD, 2003)

Co-Design and Refinement for Safety Critical Systems. - Ammar Aljer; Philippe Devienne (DFT, 2004)

Modular Software Architecture for Local Smart Building Servers. - Lamine Lagsaiar; Isam Shahrour; Ammar Aljer; Aziz Soulhi (Sensors, 2021)