Djihed Afifi

According to our database, Djihed Afifi authored at least 2 papers in 2010.

Collaborative distances:

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

2010

ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems.

Djihed Afifi, David E. Rydeheard, Howard Barringer

Proceedings of the Runtime Verification - First International Conference, 2010

Automated Reasoning in the Simulation of Evolvable Systems.

Djihed Afifi, David E. Rydeheard, Howard Barringer

Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, 2010