Lamia Labed Jilani

According to our database1, Lamia Labed Jilani authored at least 52 papers between 1997 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Toward a Deep Contextual Product Recommendation for SO-DSPL Framework.
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

2022
Innovations in systems and software engineering guest editorial: special issue on software and systems reuse.
Innov. Syst. Softw. Eng., 2022

2021
An Ontology for Service-Oriented Dynamic Software Product Lines Knowledge Management.
Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

A Reinforcement Learning Approach to Feature Model Maintainability Improvement.
Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

2020
Correctness enhancement: a pervasive software engineering paradigm.
Int. J. Crit. Comput. Based Syst., 2020

An ontological Rule-Based Approach for Software Product Lines Evolution.
Proceedings of the International Multi-Conference on: "Organization of Knowledge and Advanced Technologies", 2020

2019
Deriving Programs by Reliability Enhancement.
Proceedings of the 14th International Conference on Software Technologies, 2019

2018
Programming Without Refining.
Proceedings of the Proceedings 18th Refinement Workshop, 2018

2017
Towards a DSPL for Context Aware BPM.
Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

2015
Formalization of Secure Service Oriented Product Line.
Proceedings of the ICSOFT-EA 2015, 2015

Computing Attributes of Software Architectures - A Static Method and Its Validation.
Proceedings of the ENASE 2015, 2015

2014
Verifying while loops with invariant relations.
Int. J. Crit. Comput. Based Syst., 2014

Towards an extended tool for analysis of extended feature models.
Proceedings of the International Symposium on Networks, Computers and Communications, 2014

Automated Quantitative Attributes Prediction from Architectural Description Language.
Proceedings of the ICSOFT-PT 2014, 2014

2013
Invariant assertions, invariant relations, and invariant functions.
Sci. Comput. Program., 2013

Invariant functions and invariant relations: An alternative to invariant assertions.
J. Symb. Comput., 2013

ACME+ for Software Architecture Analysis.
Proceedings of the ICSOFT 2013, 2013

ACME+: An ADL for Quantitative Analysis of Quality Attributes.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2013

Architecture Level Prediction of Software Quality Attributes.
Proceedings of the ENASE 2013, 2013

2012
A versatile concept for the analysis of loops.
J. Log. Algebraic Methods Program., 2012

Invariant relations, invariant functions, and loop functions.
Innov. Syst. Softw. Eng., 2012

2011
Reasoning About Quantitative Architectural Attributes (Invited Paper).
J. Softw., 2011

A Study of E-Government Architectures.
Proceedings of the E-Technologies: Transformation in a Connected World, 2011

Computing Preconditions and Postconditions of While Loops.
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.
J. Symb. Comput., 2010

Using invariant functions and invariant relations to compute loop functions.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions.
Proceedings of the Second International Workshop on Invariant Generation, 2010

Towards an automated tool for computing loop functions.
Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

A model for analyzing architectural attributes.
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.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008
A Software Cost Estimation Meta-model for Systematic Reuse Approaches.
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

2007
Software Product Line Economics Revisited and Partial Validation.
Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

Software Product Line Economics: a Survey.
Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

Towards a Comprehensive View of Secure Software Engineering.
Proceedings of the First International Conference on Emerging Security Information, 2007

S2D-ProM: A Strategy Oriented Process Model for Secure Software Development.
Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

Towards an Engineering Discipline of Computational Society.
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.
Innov. Syst. Softw. Eng., 2006

SoCoEMo-COTS: A Software Economic Model for Commercial Off-the-shelf (COTS) Based Software Development.
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.
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.
Proceedings of the Fifth International Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 2006

Towards a COTS-Based Development Environment.
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.
Proceedings of the Software Product Lines, 9th International Conference, 2005

A Software Cost Estimation Model for Product Line Engineering: SoCoEMo-PLE.
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.
Proceedings of the Third ACIS International Conference on Software Engineering, 2005

Reuse: Case of a Software Cost Estimation Model for Product Line Engineering.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

COTS-based development process meta-modeling.
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

An infrastructure to help development with reuse.
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.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003
COTS Characterization Model in a COTS-Based Development Environment.
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2001
Defining and Applying Measures of Distance Between Specifications.
IEEE Trans. Software Eng., 2001

1997
Retrieving Software Components that Minimize Adaptation Effort.
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Measures of Distances to Perform Approximate Retrieval.
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997


  Loading...