The following publications are possibly variants of this publication:
- Using invariant functions and invariant relations to compute loop functionsLamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili. ICSE 2010: 317-318 [doi]
- Invariant functions and invariant relations: An alternative to invariant assertionsLamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Ali Mili. JSC, 48:1-36, 2013. [doi]
- Invariant assertions, invariant relations, and invariant functionsOlfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Jules Desharnais, Ali Mili. SCP, 78(9):1212-1239, 2013. [doi]
- Reflexive transitive invariant relations: A basis for computing loop functionsAli Mili, Shir Aharon, Chaitanya Nadkarni, Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi. JSC, 45(11):1114-1143, 2010. [doi]
- A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant FunctionsAsma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Ali Mili. cade 2012: 152-166 [doi]
- Verifying while loops with invariant relationsAsma Louhichi, Wided Ghardallou, Khaled Bsaïes, Lamia Labed Jilani, Olfa Mraihi, Ali Mili. ijccbs, 5(1/2):78-102, 2014. [doi]