Concepedia

Lamia Labed Jilani

LL

5

Publications

103

Citations

5

H-Index

2001

Active since

Affiliations

Université Laval(Current)

Tunis El Manar University

New Jersey Institute of Technology

Institut Supérieur de Gestion de Tunis

West Virginia University

Lamia Labed Jilani is an author at Université Laval specializing in engineering, program analysis, and formal methods.

Top concepts

EngineeringFormal MethodsProgram AnalysisSoftware AnalysisSoftware DesignSystem SoftwareComputer ScienceSoftware TestingSoftware EngineeringSoftware Maintenance

Publications per year

2001–2012

5

Publications

5

Defining and applying measures of distance between specifications

Lamia Labed Jilani, Josée Desharnais, A. Mili · IEEE Transactions on Software Engineering · 2001 · 34 citations

Software Maintenance, Engineering, Requirement Modeling +21

Invariant assertions, invariant relations, and invariant functions

Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani et al. · Science of Computer Programming · 2012 · 23 citations

Invariant Relations, Engineering, Automated Reasoning +5

Retrieving software components that minimize adaptation effort

Lamia Labed Jilani, Josée Desharnais, Marc Frappier et al. · 2002 · 19 citations

Software Maintenance, Engineering, Software Engineering +22

Cots characterization model in a Cots-based development environment

Sihem Ben Sassi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala · 2004 · 17 citations

Software Maintenance, Engineering, Cots Characterization Model +23

A versatile concept for the analysis of loops

Wided Ghardallou, Olfa Mraihi, Asma Louhichi et al. · The Journal of Logic and Algebraic Programming · 2012 · 10 citations

Mathematical Programming, Computational Complexity Theory, Engineering +7

Rows per page

1–5 of 5