Rosa Yousefian

According to our database, Rosa Yousefian authored at least 3 papers between 2014 and 2016.

Collaborative distances:

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

2016

A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems.

Rosa Yousefian, Shahryar Aboutorabi, Vahid Rafe

J. Intell. Fuzzy Syst., 2016

2015

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

2014

A heuristic solution for model checking graph transformation systems.

Rosa Yousefian, Vahid Rafe, Mohsen Rahmani

Appl. Soft Comput., 2014