Rethinking of I/O-automata composition. - Sarah Chabane; Rabéa Ameur-Boulifa; Mohamed Mezghiche (FDL, 2017)

Towards compositional verification of synchronous reactive systems. - Sarah Chabane; Rabéa Ameur-Boulifa; Mezghiche Mohamed (Int. J. Crit. Comput. Based Syst., 2021)

Addressing Input/Output Composition Through Open Automata Representation. - Rabéa Ameur-Boulifa; Sarah Chabane Mechiouri (CARI, 2024)