A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems-Reference-Cited by-同舟云学术

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

Published:2016-06-13 Issue:1 Volume:31 Page:137-149
ISSN:1064-1246
Container-title:Journal of Intelligent & Fuzzy Systems
language:
Short-container-title:IFS

Author:

Yousefian Rosa¹,Aboutorabi Shahryar²,Rafe Vahid²

Affiliation:

1. Sama Technical and Vocatinal Training College, Islamic Azad University, Khomeinishahr Branch, Isfahan, Iran

2. Department of Computer Engineering, Faculty of Engineering Arak University, Arak 38156-8-8349, Iran

Publisher

IOS Press

Subject

Artificial Intelligence,General Engineering,Statistics and Probability

Reference65 articles.

1. Tutorial introduction to graph transformation: A software engineering perspective;Baresi;in of the First International Conference on Graph Transformation (ICGT),2002

2. Graph Transformations

3. Symbolic model checking;Clarke;Computer Aided Verification,1996

4. Symbolic model checking: States and beyond;Burch;Information and Computation,1992

5. Directed explicit-state model checking in the validation of communication protocols;Edelkamp;International Journal on Software Tools for Technology (STTT),2004

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Checking reachability property of systems specified through graph transformation with the approach of discovery conditional dependency between the rules;Signal and Data Processing;2023-09-01

2. A three-phase approach to improve the functionality of t-way strategy;Soft Computing;2023-04-25

3. An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems;IEEE Access;2023

4. Reachability checking in complex and concurrent software systems using intelligent search methods;Signal and Data Processing;2022-05-01

5. Using deep reinforcement learning to search reachability properties in systems specified through graph transformation;Soft Computing;2022-02-11