Romain Aïssat

According to our database, Romain Aïssat authored at least 3 papers between 2016 and 2017.

Collaborative distances:

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

2017

Détection de Chemins Infaisables : un Modèle Formel et un Algorithme. (Infeasible Path Detection : a Formal Model and an Algorithm).

Romain Aïssat

PhD thesis, 2017

2016

A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution.

Romain Aïssat, Marie-Claude Gaudel, Frédéric Voisin, Burkhart Wolff

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Infeasible Paths Elimination by Symbolic Execution Techniques - Proof of Correctness and Preservation of Paths.

Romain Aïssat, Frédéric Voisin, Burkhart Wolff

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016