Relational Mathematics for Relative Correctness. - Jules Desharnais; Nafi Diallo; Wided Ghardallou; Marcelo F. Frias; Ali Jaoua; Ali Mili 001 (RAMiCS, 2015)

Correctness and Relative Correctness. - Nafi Diallo; Wided Ghardallou; Ali Mili 001 (ICSE (2), 2015)

Program Derivation by Correctness Enhacements. - Nafi Diallo; Wided Ghardallou; Jules Desharnais; Ali Mili 001 (Refine@FM, 2015)

Debugging without Testing. - Wided Ghardallou; Nafi Diallo; Ali Mili 001; Marcelo F. Frias (ICST, 2016)

Software Evolution by Correctness Enhancement. - Wided Ghardallou; Nafi Diallo; Ali Mili 001 (SEKE, 2016)

Relative Correctness: A Bridge Between Proving and Testing. - Wided Ghardallou; Ali Mili 001; Nafi Diallo (VECoS, 2016)

Program Repair by Stepwise Correctness Enhancement. - Nafi Diallo; Wided Ghardallou; Ali Mili 001 (PrePost@IFM, 2016)

What is a fault? and why does it matter? - Nafi Diallo; Wided Ghardallou; Jules Desharnais; Marcelo F. Frias; Ali Jaoua; Ali Mili 001 (Innov. Syst. Softw. Eng., 2017)

Projecting programs on specifications: Definition and implications. - Jules Desharnais; Nafi Diallo; Wided Ghardallou; Ali Mili 001 (Sci. Comput. Program., 2017)

Convergence: Integrating termination and abort-freedom. - Nafi Diallo; Wided Ghardallou; Jules Desharnais; Ali Mili 001 (J. Log. Algebraic Methods Program., 2018)