Lamia Labed Jilani

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 11

Top Topics

Software Engineering

Description Language

Top Venues

Int. J. Crit. Comput. Based Syst.

Publications

Olfa Ferchichi, Raoudha Beltaifa, Lamia Labed Jilani
Artificial Intelligence Based SysML Block Diagram Extension and Evolution for Product Lines. AICCSA (2023)
Najla Maalaoui, Raoudha Beltaifa, Lamia Labed Jilani
Toward a Deep Contextual Product Recommendation for SO-DSPL Framework. ENASE (2023)
Lamia Labed Jilani, Sihem Ben Sassi
Innovations in systems and software engineering guest editorial: special issue on software and systems reuse. Innov. Syst. Softw. Eng. 18 (1) (2022)
Najla Maalaoui, Raoudha Beltaifa, Lamia Labed Jilani, Raúl Mazo
An Ontology for Service-Oriented Dynamic Software Product Lines Knowledge Management. ENASE (2021)
Olfa Ferchichi, Raoudha Beltaifa, Lamia Labed Jilani
A Reinforcement Learning Approach to Feature Model Maintainability Improvement. ENASE (2021)
Olfa Ferchichi, Raoudha Beltaifa, Lamia Labed Jilani
An ontological Rule-Based Approach for Software Product Lines Evolution. OCTA (2020)
Besma Khaireddine, Marwa Ben AbdelAli, Lamia Labed Jilani, Aleksandr Zakharchenko, Ali Mili
Correctness enhancement: a pervasive software engineering paradigm. Int. J. Crit. Comput. Based Syst. 10 (1) (2020)
Marwa Benabdelali, Lamia Labed Jilani
Deriving Programs by Reliability Enhancement. ICSOFT (2019)
Marwa Benabdelali, Lamia Labed Jilani, Wided Ghardallou, Ali Mili
Programming Without Refining. Refine@FM (2018)
Bochra Khiari, Lamia Labed Jilani
Towards a DSPL for Context Aware BPM. AICCSA (2017)
Imen Derbel, Lamia Labed Jilani, Ali Mili
Computing Attributes of Software Architectures - A Static Method and Its Validation. ENASE (2015)
Imen Derbel, Lamia Labed Jilani, Ali Mili
Automated Quantitative Attributes Prediction from Architectural Description Language. ICSOFT PT (2014)
Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Lamia Labed Jilani, Olfa Mraihi, Ali Mili
Verifying while loops with invariant relations. Int. J. Crit. Comput. Based Syst. 5 (1/2) (2014)
Imen Derbel, Lamia Labed Jilani, Ali Mili
Architecture Level Prediction of Software Quality Attributes. ENASE (2013)
Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Jules Desharnais, Ali Mili
Invariant assertions, invariant relations, and invariant functions. Sci. Comput. Program. 78 (9) (2013)
Imen Derbel, Lamia Labed Jilani, Ali Mili
ACME+: An ADL for Quantitative Analysis of Quality Attributes. ENASE (Selected Papers) (2013)
Imen Derbel, Lamia Labed Jilani, Ali Mili
ACME+ for Software Architecture Analysis. ICSOFT (2013)
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 (2013)
Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi, Ali Mili
Invariant relations, invariant functions, and loop functions. Innov. Syst. Softw. Eng. 8 (3) (2012)
Wided Ghardallou, Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
A versatile concept for the analysis of loops. J. Log. Algebraic Methods Program. 81 (5) (2012)
Lamia Labed Jilani, Imen Derbel, Khaled Bsaïes, Hamdi Nasreddine, Ali Mili
Reasoning About Quantitative Architectural Attributes (Invited Paper). J. Softw. 6 (4) (2011)
Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili
Computing Preconditions and Postconditions of While Loops. ICTAC (2011)
Rim Helali, Ines Achour, Lamia Labed Jilani, Henda Ben Ghézala
A Study of E-Government Architectures. MCETECH (2011)
Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili
Using invariant functions and invariant relations to compute loop functions. ICSE (2) (2010)
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) (2010)
Imen Derbel, Lamia Labed Jilani, Ali Mili
A model for analyzing architectural attributes. AICCSA (2010)
Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Ali Mili
Towards an automated tool for computing loop functions. AICCSA (2010)
Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Ali Mili
A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions. WING@ETAPS/IJCAR (2010)
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)
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)
Ali Mili, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed
Towards an Engineering Discipline of Computational Society. HICSS (2007)
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)
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)
Mehrez Essafi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala
S2D-ProM: A Strategy Oriented Process Model for Secure Software Development. ICSEA (2007)
Mehrez Essafi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala
Towards a Comprehensive View of Secure Software Engineering. SECURWARE (2007)
Mehrez Essafi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala
ASASI: An Environment for Addressing Software Application Security Issues. ICSNC (2006)
Sihem Ben Sassi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala
Towards a COTS-Based Development Environment. ICCBSS (2006)
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. Innov. Syst. Softw. Eng. 2 (1) (2006)
Nacim Yanes, Sihem Ben Sassi, Lamia Labed Jilani
MoReCOTS: A Specialized Search Engine for COTS Components on the Web. ICCBSS (2006)
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)
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)
R. B. Hajri, Lamia Labed Jilani, Henda Hajjami Ben Ghézala
An infrastructure to help development with reuse. AICCSA (2005)
Sihem Ben Sassi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala
COTS-based development process meta-modeling. AICCSA (2005)
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)
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)
Sana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Henda Hajjami Ben Ghézala
Cost Estimation for Product Line Engineering Using COTS Components. SPLC (2005)
Sihem Ben Sassi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala
Modeling COTS-Based Development and Related Selection Methods Processes with MAP. APSEC (2004)
Sihem Ben Sassi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala
COTS Characterization Model in a COTS-Based Development Environment. APSEC (2003)
Lamia Labed Jilani, Jules Desharnais, Ali Mili
Defining and Applying Measures of Distance Between Specifications. IEEE Trans. Software Eng. 27 (8) (2001)
Rym Mili, Lamia Labed Jilani, Ali Mili
Measures of Distances to Perform Approximate Retrieval. RelMiCS (1997)
Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili
Retrieving Software Components that Minimize Adaptation Effort. ASE (1997)