Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Asma Louhichi
2010 – today
- 2013
[j4]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: 1-36 (2013)- 2012
- [j3]Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi, Ali Mili: Invariant relations, invariant functions, and loop functions. ISSE 8(3): 195-212 (2012)
- [j2]Wided Ghardallou, Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili: A versatile concept for the analysis of loops. J. Log. Algebr. Program. 81(5): 606-622 (2012)
- 2011
- [c6]Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili: Computing Preconditions and Postconditions of While Loops. ICTAC 2011: 173-193
- 2010
- [j1]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): 1114-1143 (2010)
- [c5]Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Ali Mili: Towards an automated tool for computing loop functions. AICCSA 2010: 1-8
- [c4]Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili: Using invariant functions and invariant relations to compute loop functions. ICSE (2) 2010: 317-318
2000 – 2009
- 2009
- [c3]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: 242-259
- 2007
- [c2]Sana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Asma Louhichi, Henda Hajjami Ben Ghézala: Software Product Line Economics: a Survey. Software Engineering Research and Practice 2007: 651-657
- [c1]Sana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Asma Louhichi, Henda Hajjami Ben Ghézala: Software Product Line Economics Revisited and Partial Validation. Software Engineering Research and Practice 2007: 671-677
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 22:15 CET by the dblp team