Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Olfa Mraihi
Observed institutions:
Tunis University,
New Jersey Institute of Technology,
Institut Supérieur de Gestion de Tunis,
Université Laval,
Institut de Recherche en Gestion des Organisations,
Tunis El Manar University
show all 6
OpenAlex ID:
A5066229458
Invariant assertions, invariant relations, and invariant functions
2012
·
Olfa Mraihi
, Asma Louhichi
, et al.
·
Science of Computer Programming
·
25
PDF
Computing Preconditions and Postconditions of While Loops
2011
·
Olfa Mraihi
, Wided Ghardallou
, et al.
·
Lecture notes in computer science
·
12
A versatile concept for the analysis of loops
2012
·
Wided Ghardallou
, Olfa Mraihi
, et al.
·
The Journal of Logic and Algebraic Programming
·
9
Invariant functions and invariant relations: An alternative to invariant assertions
2012
·
Lamia Labed Jilani
, Olfa Mraihi
, et al.
·
Journal of Symbolic Computation
·
8
Reflexive transitive invariant relations: A basis for computing loop functions
2009
·
Ali Mili
, Shir Aharon
, et al.
·
Journal of Symbolic Computation
·
8
Verifying while loops with invariant relations
2014
·
Asma Louhichi
, Wided Ghardallou
, et al.
·
International Journal of Critical Computer-Based Systems
·
6
Invariant Relations: An Automated Tool to Analyze Loops
2011
·
Asma Louhichi
, Olfa Mraihi
, et al.
·
Electronic workshops in computing
·
6
PDF
Invariant relations, invariant functions, and loop functions
2012
·
Lamia Labed Jilani
, Asma Louhichi
, et al.
·
Innovations in Systems and Software Engineering
·
4
A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions
2018
·
Asma Louhichi
, Olfa Mraihi
, et al.
·
EPiC series in computing
·
1
PDF
Using invariant functions and invariant relations to compute loop functions
2010
·
Lamia Labed Jilani
, Olfa Mraihi
, et al.
·
ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
Towards an automated tool for computing loop functions
2010
·
Lamia Labed Jilani
, Olfa Mraihi
, et al.
·
IEEE/ACS International Conference on Computer Systems and Applications (AICCSA)
Relational Methods in the Analysis of While Loops: Observations of Versatility
2009
·
Asma Louhichi
, Olfa Mraihi
, et al.
·
Lecture notes in computer science
Show more works
View as search
Works count:
13
Citation count:
79
H-index:
6
I10-index:
2
Year
Topic
Type
