Relational Methods in the Analysis of While Loops: Observations of Versatility. - Asma Louhichi; Olfa Mraihi; Lamia Labed Jilani; Khaled Bsaïes; Ali Mili 001 (RelMiCS, 2009)

Towards an automated tool for computing loop functions. - Lamia Labed Jilani; Olfa Mraihi; Asma Louhichi; Ali Mili 001 (AICCSA, 2010)

A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions. - Asma Louhichi; Olfa Mraihi; Lamia Labed Jilani; Ali Mili 001 (WING@ETAPS/IJCAR, 2010)

Using invariant functions and invariant relations to compute loop functions. - Lamia Labed Jilani; Olfa Mraihi; Asma Louhichi; Wided Ghardallou; Ali Mili 001 (ICSE (2), 2010)

Reflexive transitive invariant relations: A basis for computing loop functions. - Ali Mili 001; Shir Aharon; Chaitanya Nadkarni; Lamia Labed Jilani; Asma Louhichi; Olfa Mraihi (J. Symb. Comput., 2010)

Computing Preconditions and Postconditions of While Loops. - Olfa Mraihi; Wided Ghardallou; Asma Louhichi; Lamia Labed Jilani; Khaled Bsaïes; Ali Mili 001 (ICTAC, 2011)

Invariant relations, invariant functions, and loop functions. - Lamia Labed Jilani; Asma Louhichi; Olfa Mraihi; Ali Mili 001 (Innov. Syst. Softw. Eng., 2012)

A versatile concept for the analysis of loops. - Wided Ghardallou; Olfa Mraihi; Asma Louhichi; Lamia Labed Jilani; Khaled Bsaïes; Ali Mili 001 (J. Log. Algebraic Methods Program., 2012)

Invariant functions and invariant relations: An alternative to invariant assertions. - Lamia Labed Jilani; Olfa Mraihi; Asma Louhichi; Wided Ghardallou; Khaled Bsaïes; Ali Mili 001 (J. Symb. Comput., 2013)

Invariant assertions, invariant relations, and invariant functions. - Olfa Mraihi; Asma Louhichi; Lamia Labed Jilani; Jules Desharnais; Ali Mili 001 (Sci. Comput. Program., 2013)

Verifying while loops with invariant relations. - Asma Louhichi; Wided Ghardallou; Khaled Bsaïes; Lamia Labed Jilani; Olfa Mraihi; Ali Mili 001 (Int. J. Crit. Comput. Based Syst., 2014)