سامانه پژوهشی دانشگاه شهید مدنی آذربایجان | امين نيك انجام

نام و نام خانوادگی	امین نیک انجام
شغل	عضو هیئت علمی سایر دانشگاههای داخل کشور / دانشگاه خواجه نصیرالدین طوسی
تحصیلات	—
مرتبه علمی	—
صفحه شخصی	—
پست الکترونیک	—

	عنوان	مجله
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

امین نیک انجام