Olfa Mraihi

According to our database1, Olfa Mraihi authored at least 11 papers between 2009 and 2014.

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

2014
Verifying while loops with invariant relations.
Int. J. Crit. Comput. Based Syst., 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

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
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

2009
Relational Methods in the Analysis of While Loops: Observations of Versatility.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009


  Loading...