Asma Louhichi

New Jersey Institute of Technology — United States

Computer Science · Physical Sciences

7h-index83citations14works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(11), Formal Methods in Verification(9), Advanced Software Engineering Methodologies(4), Parallel Computing and Optimization Techniques(3), Advanced Database Systems and Queries(3)

Publications14 total

A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions
EPiC series in computing·2018· 1 citedOpen Access
Verifying while loops with invariant relations
International Journal of Critical Computer-Based Systems·2014· 7 cited
Invariant relations, invariant functions, and loop functions
Innovations in Systems and Software Engineering·2012· 4 cited
Invariant assertions, invariant relations, and invariant functions
Science of Computer Programming·2012· 23 cited
A versatile concept for the analysis of loops
The Journal of Logic and Algebraic Programming·2012· 10 cited
Invariant functions and invariant relations: An alternative to invariant assertions
Journal of Symbolic Computation·2012· 9 cited
Computing Preconditions and Postconditions of While Loops
Lecture notes in computer science·2011· 12 cited
Invariant Relations: An Automated Tool to Analyze Loops
Electronic workshops in computing·2011· 7 citedOpen Access
Using invariant functions and invariant relations to compute loop functions
2010
Towards an automated tool for computing loop functions
2010
Reflexive transitive invariant relations: A basis for computing loop functions
Journal of Symbolic Computation·2009· 9 cited
Relational Methods in the Analysis of While Loops: Observations of Versatility
Lecture notes in computer science·2009
Software Product Line Economics Revisited and Partial Validation.
Software Engineering Research and Practice·2007
Software Product Line Economics: a Survey.
Software Engineering Research and Practice·2007· 1 cited

Frequent Co-authors

Lamia Labed Jilani(14), Olfa Mraihi(12), Ali Mili(12), Wided Ghardallou(6), Khaled Bsaïes(6), Sana Ben Abdallah Ben Lamine(2), Henda Hajjami Ben Ghézala(2), Jules Desharnais(1), Shir Aharon(1), Chaitanya Nadkarni(1)