Asma Louhichi

	2011
7		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
6		Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Ali Mili: Towards an automated tool for computing loop functions. AICCSA 2010: 1-8
5		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
4		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)
	2009
3		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
2		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
1		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

1	Shir Aharon	[4]
2	Khaled Bsaïes	[3] [7]
3	Wided Ghardallou	[5] [7]
4	Henda Hajjami Ben Ghézala (Henda Hadjami Ben Ghézala, Henda Ben Ghézala)	[1] [2]
5	Lamia Labed Jilani	[1] [2] [3] [4] [5] [6] [7]
6	Sana Ben Abdallah Ben Lamine	[1] [2]
7	Ali Mili	[3] [4] [5] [6] [7]
8	Olfa Mraihi	[3] [4] [5] [6] [7]
9	Chaitanya Nadkarni	[4]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page