Olfa Mraihi

According to our database, Olfa Mraihi authored at least 11 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Verifying while loops with invariant relations.

Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Lamia Labed Jilani, Olfa Mraihi, Ali Mili

Int. J. Crit. Comput. Based Syst., 2014

2013

Invariant assertions, invariant relations, and invariant functions.

Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Jules Desharnais, Ali Mili

Sci. Comput. Program., 2013

Invariant functions and invariant relations: An alternative to invariant assertions.

Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Ali Mili

J. Symb. Comput., 2013

2012

A versatile concept for the analysis of loops.

Wided Ghardallou, Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili

J. Log. Algebraic Methods Program., 2012

Invariant relations, invariant functions, and loop functions.

Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi, Ali Mili

Innov. Syst. Softw. Eng., 2012

2011

Computing Preconditions and Postconditions of While Loops.

Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

2010

Reflexive transitive invariant relations: A basis for computing loop functions.

Ali Mili, Shir Aharon, Chaitanya Nadkarni, Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi

J. Symb. Comput., 2010

Using invariant functions and invariant relations to compute loop functions.

Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions.

Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Ali Mili

Proceedings of the Second International Workshop on Invariant Generation, 2010

Towards an automated tool for computing loop functions.

Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Ali Mili

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2009

Relational Methods in the Analysis of While Loops: Observations of Versatility.

Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009