Concepedia

Olfa Mraihi

OM

2

Publications

33

Citations

2

H-Index

2012

Active since

Affiliations

New Jersey Institute of Technology(Current)

Tunis El Manar University

Institut Supérieur de Gestion de Tunis

Olfa Mraihi is an author at New Jersey Institute of Technology specializing in engineering, software analysis, and computer science.

Top concepts

Publications per year

2012–2012

2

Publications

2

Invariant assertions, invariant relations, and invariant functions

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

, , +5

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

, , +7

Rows per page

1–2 of 2