Asma Louhichi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2010–2011
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | ICTAC | Computing Preconditions and Postconditions of While Loops. | Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaes, Ali Mili |
| 2010 | AICCSA | Towards an automated tool for computing loop functions. | Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Ali Mili |
| 2010 | CADE | A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions. | Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Ali Mili |
| 2010 | ICSE | Using invariant functions and invariant relations to compute loop functions. | Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili |