Amani Makhlouf

According to our database1, Amani Makhlouf authored at least 3 papers between 2016 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Environnement d'assistance au développement de transformations de graphes correctes. (Assistance framework for writing correct graph transformations).
PhD thesis, 2019

Two-Level Reasoning About Graph Transformation Programs.
Proceedings of the Graph Transformation - 12th International Conference, 2019

2016
Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations.
Proceedings of the Tests and Proofs - 10th International Conference, 2016


  Loading...