Programming Without Refining. - Marwa Benabdelali; Lamia Labed Jilani; Wided Ghardallou; Ali Mili 001 (Refine@FM, 2018)

Deriving Programs by Reliability Enhancement. - Marwa Benabdelali; Lamia Labed Jilani (ICSOFT, 2019)

Correctness enhancement: a pervasive software engineering paradigm. - Besma Khaireddine; Marwa Ben AbdelAli; Lamia Labed Jilani; Aleksandr Zakharchenko; Ali Mili 001 (Int. J. Crit. Comput. Based Syst., 2020)