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

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