 | 2011 |
| 30 |  | 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 |
| 29 |  | Rim Helali,
Ines Achour,
Lamia Labed Jilani,
Henda Ben Ghézala:
A Study of E-Government Architectures.
MCETECH 2011: 158-172 |
| 28 |  | Lamia Labed Jilani,
Imen Derbel,
Khaled Bsaïes,
Hamdi Nasreddine,
Ali Mili:
Reasoning About Quantitative Architectural Attributes (Invited Paper).
JSW 6(4): 574-583 (2011) |
| 2010 |
| 27 |  | Imen Derbel,
Lamia Labed Jilani,
Ali Mili:
A model for analyzing architectural attributes.
AICCSA 2010: 1-7 |
| 26 |  | Lamia Labed Jilani,
Olfa Mraihi,
Asma Louhichi,
Ali Mili:
Towards an automated tool for computing loop functions.
AICCSA 2010: 1-8 |
| 25 |  | 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 |
| 24 |  | 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 |
| 23 |  | 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 |
| 2008 |
| 22 |  | Sana Ben Abdallah Ben Lamine,
Lamia Labed Jilani,
Henda Hajjami Ben Ghézala:
A Software Cost Estimation Meta-model for Systematic Reuse Approaches.
Software Engineering Research and Practice 2008: 524-530 |
| 2007 |
| 21 |  | Ali Mili,
Alex Vinokurov,
Lamia Labed Jilani,
Frederick T. Sheldon,
Rahma Ben Ayed:
Towards an Engineering Discipline of Computational Society.
HICSS 2007: 281 |
| 20 |  | Mehrez Essafi,
Lamia Labed Jilani,
Henda Hajjami Ben Ghézala:
S2D-ProM: A Strategy Oriented Process Model for Secure Software Development.
ICSEA 2007: 24 |
| 19 |  | Mehrez Essafi,
Lamia Labed Jilani,
Henda Hajjami Ben Ghézala:
Towards a Comprehensive View of Secure Software Engineering.
SECURWARE 2007: 181-186 |
| 18 |  | 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 |
| 17 |  | 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 |
| 2006 |
| 16 |  | Nacim Yanes,
Sihem Ben Sassi,
Lamia Labed Jilani:
MoReCOTS: A Specialized Search Engine for COTS Components on the Web.
ICCBSS 2006: 109-115 |
| 15 |  | Sihem Ben Sassi,
Lamia Labed Jilani,
Henda Hajjami Ben Ghézala:
Towards a COTS-Based Development Environment.
ICCBSS 2006: 167-176 |
| 14 |  | Mehrez Essafi,
Lamia Labed Jilani,
Henda Hajjami Ben Ghézala:
ASASI: An Environment for Addressing Software Application Security Issues.
ICSNC 2006: 19 |
| 13 |  | Sana Ben Abdallah Ben Lamine,
Lamia Labed Jilani,
Henda Hajjami Ben Ghézala:
SoCoEMo-COTS: A Software Economic Model for Commercial Off-the-shelf (COTS) Based Software Development.
Software Engineering Research and Practice 2006: 606-612 |
| 12 |  | Ali Mili,
Frederick T. Sheldon,
Lamia Labed Jilani,
Alex Vinokurov,
Alexander Thomasian,
Rahma Ben Ayed:
Modeling security as a dependability attribute: a refinement-based approach.
ISSE 2(1): 39-48 (2006) |
| 2005 |
| 11 |  | Sihem Ben Sassi,
Lamia Labed Jilani,
Henda Hajjami Ben Ghézala:
COTS-based development process meta-modeling.
AICCSA 2005: 116 |
| 10 |  | R. B. Hajri,
Lamia Labed Jilani,
Henda Hajjami Ben Ghézala:
An infrastructure to help development with reuse.
AICCSA 2005: 139 |
| 9 |  | Sana Ben Abdallah Ben Lamine,
Lamia Labed Jilani,
Henda Hajjami Ben Ghézala:
Reuse: Case of a Software Cost Estimation Model for Product Line Engineering.
SEKE 2005: 657-660 |
| 8 |  | Sana Ben Abdallah Ben Lamine,
Lamia Labed Jilani,
Henda Hajjami Ben Ghézala:
A Software Cost Estimation Model for a Product Line Engineering Approach: Supporting tool and UML Modeling.
SERA 2005: 383-391 |
| 7 |  | Sana Ben Abdallah Ben Lamine,
Lamia Labed Jilani,
Henda Hajjami Ben Ghézala:
Cost Estimation for Product Line Engineering Using COTS Components.
SPLC 2005: 113-123 |
| 6 |  | Sana Ben Abdallah Ben Lamine,
Lamia Labed Jilani,
Henda Hajjami Ben Ghézala:
A Software Cost Estimation Model for Product Line Engineering: SoCoEMo-PLE.
Software Engineering Research and Practice 2005: 649-655 |
| 2004 |
| 5 |  | Sihem Ben Sassi,
Lamia Labed Jilani,
Henda Hajjami Ben Ghézala:
Modeling COTS-Based Development and Related Selection Methods Processes with MAP.
APSEC 2004: 546-553 |
| 2003 |
| 4 |  | Sihem Ben Sassi,
Lamia Labed Jilani,
Henda Hajjami Ben Ghézala:
COTS Characterization Model in a COTS-Based Development Environment.
APSEC 2003: 352-361 |
| 2001 |
| 3 |  | Lamia Labed Jilani,
Jules Desharnais,
Ali Mili:
Defining and Applying Measures of Distance Between Specifications.
IEEE Trans. Software Eng. 27(8): 673-703 (2001) |
| 1997 |
| 2 |  | Lamia Labed Jilani,
Jules Desharnais,
Marc Frappier,
Rym Mili,
Ali Mili:
Retrieving Software Components that Minimize Adaptation Effort.
ASE 1997: 255- |
| 1 |  | Rym Mili,
Lamia Labed Jilani,
Ali Mili:
Measures of Distances to Perform Approximate Retrieval.
RelMiCS 1997: 301-307 |