سامانه مدیریت امور پژوهشی دانشگاه اراک | امین نیک انجام

	عنوان	مجله
1	Graph neural networks for precise bug localization through structural program analysis	Automated Software Engineering
2	Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation	reliability engineering and system safety
3	Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation	RELIAB ENG SYST SAFE
4	Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations	information and software technology
5	Deadlock detection in complex software systems speciﬁed through graph transformation using Bayesian optimization algorithm	System and Software
6	Deployment of Wireless Intrusion Detection Systems to Provide the Most Possible Coverage in Wireless Sensor Networks Without Infrastructures	WIRELESS PERS COMMUN
7	EMCDM: Efﬁcient model checking by data mining for veriﬁcation of complex software systems speciﬁed through architectural styles	Applied Soft Computing
8	A hybrid optimization algorithm based on harmony search and differential evolution for continuous domain	journal of intelligent and fuzzy systems
9	A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations	Applied Soft Computing
10	Galoan: a multi-agent approach to herd cows	Annals of Mathematics and Artificial Intelligence