Olfa Mraihi

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Temporal Relations

Projective Invariants

Top Venues

J. Log. Algebraic Methods Program.

Int. J. Crit. Comput. Based Syst.

Innov. Syst. Softw. Eng.

Sci. Comput. Program.

Publications

Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Lamia Labed Jilani, Olfa Mraihi, Ali Mili
Verifying while loops with invariant relations. Int. J. Crit. Comput. Based Syst. 5 (1/2) (2014)
Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Jules Desharnais, Ali Mili
Invariant assertions, invariant relations, and invariant functions. Sci. Comput. Program. 78 (9) (2013)
Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Ali Mili
Invariant functions and invariant relations: An alternative to invariant assertions. J. Symb. Comput. 48 (2013)
Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi, Ali Mili
Invariant relations, invariant functions, and loop functions. Innov. Syst. Softw. Eng. 8 (3) (2012)
Wided Ghardallou, Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
A versatile concept for the analysis of loops. J. Log. Algebraic Methods Program. 81 (5) (2012)
Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
Computing Preconditions and Postconditions of While Loops. ICTAC (2011)
Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili
Using invariant functions and invariant relations to compute loop functions. ICSE (2) (2010)
Ali Mili, Shir Aharon, Chaitanya Nadkarni, Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi
Reflexive transitive invariant relations: A basis for computing loop functions. J. Symb. Comput. 45 (11) (2010)
Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Ali Mili
Towards an automated tool for computing loop functions. AICCSA (2010)
Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Ali Mili
A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions. WING@ETAPS/IJCAR (2010)
Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
Relational Methods in the Analysis of While Loops: Observations of Versatility. RelMiCS (2009)