Lamia Labed Jilani

51 papers A* 1B 6C 14Journal 11Unranked 19

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