Name Amin Nikanjam Affliation khajeh nasir toosi university of technology Degree — Academic Rank - WebSite — Email — Article Presentation Project Book Thesis Speech Innovation TitleJournal 1 Using Evolutionary Algorithms for Reachability Analysis of Complex Software Systems Specified through Graph Transformation RELIABILITY ENGINEERING & SYSTEM SAFETY 191 (2019) 106577 2 Searching for Violation of Safety and Liveness Properties Using Knowledge Discovery in Complex Systems Specified through Graph Transformations INFORMATION AND SOFTWARE TECHNOLOGY 97 (2018) 110-134 3 Deadlock Detection in Complex Software Systems Specified through Graph Transformation Using Bayesian Optimization Algorithm JOURNAL OF SYSTEMS AND SOFTWARE 131 (2017) 181-200 4 EMCDM: Efficient model checking by data mining for verification ofcomplex software systems specified through architectural styles APPLIED SOFT COMPUTING 49 (2016) 1185-1201