A heuristic solution for model checking graph transformation systems. - Rosa Yousefian; Vahid Rafe; Mohsen Rahmani (Appl. Soft Comput., 2014)

A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations. - Vahid Rafe; Maryam Moradi; Rosa Yousefian; Amin Nikanjam (Appl. Soft Comput., 2015)

A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems. - Rosa Yousefian; Shahryar Aboutorabi; Vahid Rafe (J. Intell. Fuzzy Syst., 2016)