Rosa Yousefian

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 2

Top Topics

Graph Transformation

Software Systems

Greedy Algorithm

Heuristic Solution

Top Venues

Appl. Soft Comput.

J. Intell. Fuzzy Syst.

Publications

Rosa Yousefian, Shahryar Aboutorabi, Vahid Rafe
A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems. J. Intell. Fuzzy Syst. 31 (1) (2016)
Vahid Rafe, Maryam Moradi, Rosa Yousefian, Amin Nikanjam
A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations. Appl. Soft Comput. 33 (2015)
Rosa Yousefian, Vahid Rafe, Mohsen Rahmani
A heuristic solution for model checking graph transformation systems. Appl. Soft Comput. 24 (2014)