Lamia Labed Jilani

According to our database, Lamia Labed Jilani authored at least 54 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Association Rule Learning Based Approach to Automatic Generation of Feature Model Configurations.

Olfa Ferchichi, Raoudha Beltaifa, Lamia Labed

Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024

2023

Toward a Deep Contextual Product Recommendation for SO-DSPL Framework.

Najla Maalaoui, Raoudha Beltaifa, Lamia Labed Jilani

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

Artificial Intelligence Based SysML Block Diagram Extension and Evolution for Product Lines.

Olfa Ferchichi, Raoudha Beltaifa, Lamia Labed Jilani

Proceedings of the 20th ACS/IEEE International Conference on Computer Systems and Applications, 2023

2022

Innovations in systems and software engineering guest editorial: special issue on software and systems reuse.

Lamia Labed Jilani, Sihem Ben Sassi

Innov. Syst. Softw. Eng., 2022

2021

An Ontology for Service-Oriented Dynamic Software Product Lines Knowledge Management.

Najla Maalaoui, Raoudha Beltaifa, Lamia Labed Jilani, Raúl Mazo

Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

A Reinforcement Learning Approach to Feature Model Maintainability Improvement.

Olfa Ferchichi, Raoudha Beltaifa, Lamia Labed Jilani

Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

2020

Correctness enhancement: a pervasive software engineering paradigm.

Besma Khaireddine, Marwa Ben AbdelAli, Lamia Labed Jilani, Aleksandr Zakharchenko, Ali Mili

Int. J. Crit. Comput. Based Syst., 2020

An ontological Rule-Based Approach for Software Product Lines Evolution.

Olfa Ferchichi, Raoudha Beltaifa, Lamia Labed Jilani

Proceedings of the International Multi-Conference on: "Organization of Knowledge and Advanced Technologies", 2020

2019

Deriving Programs by Reliability Enhancement.

Marwa Benabdelali, Lamia Labed Jilani

Proceedings of the 14th International Conference on Software Technologies, 2019

2018

Programming Without Refining.

Marwa Benabdelali, Lamia Labed Jilani, Wided Ghardallou, Ali Mili

Proceedings of the Proceedings 18th Refinement Workshop, 2018

2017

Towards a DSPL for Context Aware BPM.

Bochra Khiari, Lamia Labed Jilani

Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

2015

Formalization of Secure Service Oriented Product Line.

Ines Achour, Lamia Labed, Henda Hajjami Ben Ghézala

Proceedings of the ICSOFT-EA 2015, 2015

Computing Attributes of Software Architectures - A Static Method and Its Validation.

Imen Derbel, Lamia Labed Jilani, Ali Mili

Proceedings of the ENASE 2015, 2015

2014

Verifying while loops with invariant relations.

Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Lamia Labed Jilani, Olfa Mraihi, Ali Mili

Int. J. Crit. Comput. Based Syst., 2014

Towards an extended tool for analysis of extended feature models.

Ines Achour, Lamia Labed, Henda Ben Ghézala

Proceedings of the International Symposium on Networks, Computers and Communications, 2014

Automated Quantitative Attributes Prediction from Architectural Description Language.

Imen Derbel, Lamia Labed Jilani, Ali Mili

Proceedings of the ICSOFT-PT 2014, 2014

2013

Invariant assertions, invariant relations, and invariant functions.

Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Jules Desharnais, Ali Mili

Sci. Comput. Program., 2013

Invariant functions and invariant relations: An alternative to invariant assertions.

Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Khaled Bsaïes, Ali Mili

J. Symb. Comput., 2013

ACME+ for Software Architecture Analysis.

Imen Derbel, Lamia Labed Jilani, Ali Mili

Proceedings of the ICSOFT 2013, 2013

ACME+: An ADL for Quantitative Analysis of Quality Attributes.

Imen Derbel, Lamia Labed Jilani, Ali Mili

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2013

Architecture Level Prediction of Software Quality Attributes.

Imen Derbel, Lamia Labed Jilani, Ali Mili

Proceedings of the ENASE 2013, 2013

2012

A versatile concept for the analysis of loops.

Wided Ghardallou, Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili

J. Log. Algebraic Methods Program., 2012

Invariant relations, invariant functions, and loop functions.

Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi, Ali Mili

Innov. Syst. Softw. Eng., 2012

2011

Reasoning About Quantitative Architectural Attributes (Invited Paper).

Lamia Labed Jilani, Imen Derbel, Khaled Bsaïes, Hamdi Nasreddine, Ali Mili

J. Softw., 2011

A Study of E-Government Architectures.

Rim Helali, Ines Achour, Lamia Labed Jilani, Henda Ben Ghézala

Proceedings of the E-Technologies: Transformation in a Connected World, 2011

Computing Preconditions and Postconditions of While Loops.

Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

2010

Reflexive transitive invariant relations: A basis for computing loop functions.

Ali Mili, Shir Aharon, Chaitanya Nadkarni, Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi

J. Symb. Comput., 2010

Using invariant functions and invariant relations to compute loop functions.

Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions.

Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Ali Mili

Proceedings of the Second International Workshop on Invariant Generation, 2010

Towards an automated tool for computing loop functions.

Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Ali Mili

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

A model for analyzing architectural attributes.

Imen Derbel, Lamia Labed Jilani, Ali Mili

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2009

Relational Methods in the Analysis of While Loops: Observations of Versatility.

Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

A Software Cost Estimation Meta-model for Systematic Reuse Approaches.

Sana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Henda Hajjami Ben Ghézala

Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

2007

Software Product Line Economics Revisited and Partial Validation.

Sana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Asma Louhichi, Henda Hajjami Ben Ghézala

Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

Software Product Line Economics: a Survey.

Sana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Asma Louhichi, Henda Hajjami Ben Ghézala

Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

Towards a Comprehensive View of Secure Software Engineering.

Mehrez Essafi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala

Proceedings of the First International Conference on Emerging Security Information, 2007

S2D-ProM: A Strategy Oriented Process Model for Secure Software Development.

Mehrez Essafi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala

Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

Towards an Engineering Discipline of Computational Society.

Ali Mili, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2006

Modeling security as a dependability attribute: a refinement-based approach.

Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani, Alex Vinokurov, Alexander Thomasian, Rahma Ben Ayed

Innov. Syst. Softw. Eng., 2006

SoCoEMo-COTS: A Software Economic Model for Commercial Off-the-shelf (COTS) Based Software Development.

Sana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Henda Hajjami Ben Ghézala

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

ASASI: An Environment for Addressing Software Application Security Issues.

Mehrez Essafi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala

Proceedings of the International Conference on Systems and Networks Communications (ICSNC 2006), October 29, 2006

MoReCOTS: A Specialized Search Engine for COTS Components on the Web.

Nacim Yanes, Sihem Ben Sassi, Lamia Labed Jilani

Proceedings of the Fifth International Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 2006

Towards a COTS-Based Development Environment.

Sihem Ben Sassi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala

Proceedings of the Fifth International Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 2006

2005

Cost Estimation for Product Line Engineering Using COTS Components.

Sana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Henda Hajjami Ben Ghézala

Proceedings of the Software Product Lines, 9th International Conference, 2005

A Software Cost Estimation Model for Product Line Engineering: SoCoEMo-PLE.

Sana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Henda Hajjami Ben Ghézala

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

A Software Cost Estimation Model for a Product Line Engineering Approach: Supporting tool and UML Modeling.

Sana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Henda Hajjami Ben Ghézala

Proceedings of the Third ACIS International Conference on Software Engineering, 2005

Reuse: Case of a Software Cost Estimation Model for Product Line Engineering.

Sana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Henda Hajjami Ben Ghézala

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

COTS-based development process meta-modeling.

Sihem Ben Sassi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

An infrastructure to help development with reuse.

R. B. Hajri, Lamia Labed Jilani, Henda Hajjami Ben Ghézala

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004

Modeling COTS-Based Development and Related Selection Methods Processes with MAP.

Sihem Ben Sassi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003

COTS Characterization Model in a COTS-Based Development Environment.

Sihem Ben Sassi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2001

Defining and Applying Measures of Distance Between Specifications.

Lamia Labed Jilani, Jules Desharnais, Ali Mili

IEEE Trans. Software Eng., 2001

1997

Retrieving Software Components that Minimize Adaptation Effort.

Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Measures of Distances to Perform Approximate Retrieval.

Rym Mili, Lamia Labed Jilani, Ali Mili

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997