Alexis Grall

According to our database, Alexis Grall authored at least 2 papers in 2020.

Collaborative distances:

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

2020

Generating Distributed Programs from Event-B Models.

Horatiu Cirstea, Alexis Grall, Dominique Méry

Proceedings of the Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, 2020

Automatic Generation of DistAlgo Programs from Event-B Models.

Alexis Grall

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020