A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution. - Romain Aïssat; Marie-Claude Gaudel; Frédéric Voisin; Burkhart Wolff (QRS, 2016)

Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths. - Romain Aïssat; Frédéric Voisin; Burkhart Wolff (Arch. Formal Proofs, 2016)

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