Olfa Mraihi

11 papers C 2Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2014 J jnl
Verifying while loops with invariant relations.
Int. J. Crit. Comput. Based Syst.
Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Lamia Labed Jilani, Olfa Mraihi, Ali Mili
2013 J jnl
Invariant assertions, invariant relations, and invariant functions.
Sci. Comput. Program.
Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Jules Desharnais, Ali Mili
2013 J jnl
Invariant functions and invariant relations: An alternative to invariant assertions.
J. Symb. Comput.
Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Ali Mili
2012 J jnl
A versatile concept for the analysis of loops.
J. Log. Algebraic Methods Program.
Wided Ghardallou, Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
2012 J jnl
Invariant relations, invariant functions, and loop functions.
Innov. Syst. Softw. Eng.
Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi, Ali Mili
2011 C conf
Computing Preconditions and Postconditions of While Loops.
ICTAC
Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
2010 — conf
A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions.
WING@ETAPS/IJCAR
Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Ali Mili
2010 J jnl
Reflexive transitive invariant relations: A basis for computing loop functions.
J. Symb. Comput.
Ali Mili, Shir Aharon, Chaitanya Nadkarni, Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi
2010 C conf
Towards an automated tool for computing loop functions.
AICCSA
Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Ali Mili
2010 — conf
Using invariant functions and invariant relations to compute loop functions.
ICSE (2)
Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili
2009 — conf
Relational Methods in the Analysis of While Loops: Observations of Versatility.
RelMiCS
Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling