Shir Aharon

According to our database, Shir Aharon authored at least 4 papers between 2008 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Reflexive transitive invariant relations: A basis for computing loop functions.

Ali Mili, Shir Aharon, Chaitanya Nadkarni, Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi

J. Symb. Comput., 2010

2009

Mathematics for reasoning about loop functions.

Ali Mili, Shir Aharon, Chaitanya Nadkarni

Sci. Comput. Program., 2009

2008

Harnessing a Refinement Theory to Compute Loop Functions.

Ali Mili, Rahma Ben Ayed, Shir Aharon, Chaitanya Nadkarni

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

An Algorithm for Computing Loop Functions.

Ali Mili, Shir Aharon, Chaitanya Nadkarni

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008