سال: ۱۳۹۸

محل برگزاری: انگلستان / ENGLAND

Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation

نویسندگان: Einollah Pira, Vahid Rafe, امين نيك انجام
عنوان مجله: RELIABILITY ENGINEERING and SYSTEM SAFETY
از صفحه: ۱
تا صفحه: ۱۸

سال: ۱۳۹۸

محل برگزاری: اتريش / Austria

MDPCluster: a swarm-based community detection algorithm in large-scale graphs

نویسندگان: مهسا فزوني شيرجيني, سعيد فرضي, امين نيك انجام
عنوان مجله: COMPUTING
از صفحه: ۱
تا صفحه: ۳۰

سال: ۱۳۹۸

Stability analysis of the particle dynamics in bat algorithm: standard and modified versions

نویسندگان: مهسا فزوني شيرجيني, امين نيك انجام, مهدي علياري شوره دلي
عنوان مجله: ENGINEERING WITH COMPUTERS
از صفحه: ۱
تا صفحه: ۱۲

سال: ۱۳۹۷

تحليل پايداري الگوريتم خفاش

نویسندگان: مهسا فزوني شيرجيني, امين نيك انجام, مهدي علياري شوره دلي
عنوان مجله: هوش محاسباتي در مهندسي برق
از صفحه: ۶۷
تا صفحه: ۷۴

سال: ۱۳۹۶

محل برگزاری: آمريكا / USA

Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm

نویسندگان: Einollah Pira, وحيد رافع, امين نيك انجام
عنوان مجله: JOURNAL OF SYSTEMS AND SOFTWARE
از صفحه: ۱۸۱
تا صفحه: ۲۰۰

سال: ۱۳۹۶

محل برگزاری: هلند / Netherlands

Deployment of Wireless Intrusion Detection Systems to Provide the Most Possible Coverage in Wireless Sensor Networks Without Infrastructures

نویسندگان: Ali Keramatpour, امين نيك انجام, Hossein Ghaffarian
عنوان مجله: WIRELESS PERSONAL COMMUNICATIONS
از صفحه: ۳۹۶۵
تا صفحه: ۳۹۷۸

سال: ۱۳۹۶

محل برگزاری: هلند / Netherlands

Searching for Violation of Safety and Liveness Properties Using Knowledge Discovery in Complex Systems Specified through Graph Transformations

نویسندگان: Einollah Pira, Vahid Rafe, امين نيك انجام
عنوان مجله: INFORMATION AND SOFTWARE TECHNOLOGY
از صفحه: ۱
تا صفحه: ۳۸

سال: ۱۳۹۵

محل برگزاری: هلند / Netherlands

EMCDM Efficient model checking by data mining for verification of complex software systems specified through architectural styles

نویسندگان: Einollah Pira, Vahid Rafe, امين نيك انجام
عنوان مجله: APPLIED SOFT COMPUTING
از صفحه: ۱۱۸۵
تا صفحه: ۱۲۰۱

سال: ۱۳۹۴

محل برگزاری: هلند / Netherlands

A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations

نویسندگان: Vahid Rafe, Maryam Moradi, Rosa Yousefian, امين نيك انجام
عنوان مجله: APPLIED SOFT COMPUTING
از صفحه: ۱۳۶
تا صفحه: ۱۴۹

سال: ۱۳۹۴

محل برگزاری: هلند / Netherlands

A Hybrid Optimization Algorithm Based on Harmony Search and Differential Evolution for Continuous Domain

نویسندگان: وحيد رافع, زهرا پاينده, امين نيك انجام
عنوان مجله: JOURNAL OF INTELLIGENT and FUZZY SYSTEMS
از صفحه: ۰
تا صفحه: ۰