Automatic promotional specialization, generalization and analysis of extended feature models with cardinalities in Alloy. - Shohreh Ajoudanian; Seyed-Hassan Mirian-Hosseinabadi (J. Log. Algebraic Methods Program., 2015)

Recommending human resources to project leaders using a collaborative filtering-based recommender system: Case study of gitHub. - Shohreh Ajoudanian; Maryam Nooraei Abadeh (IET Softw., 2019)

A model-driven framework to enhance the consistency of logical integrity constraints: Introducing integrity regression testing. - Maryam Nooraei Abadeh; Shohreh Ajoudanian (Softw. Pract. Exp., 2019)

Reconfigurable edge as a service: enhancing edges using quality-based solutions. - Maryam Nooraei Abadeh; Shohreh Ajoudanian (J. Supercomput., 2021)

A repository of automatic GUI test patterns in Android applications: Specification and Analysis using Alloy modeling language. - Fatemeh Mosayeb; Shohreh Ajoudanian (CoRR, 2022)

Optimized Feature Selection in Software Product Lines using Discrete Bat Algorithm. - Hajar Sadeghi; Shohreh Ajoudanian (Int. J. Comput. Intell. Appl., 2022)

Modelling and analysis of cascading failures in interoperable critical infrastructure systems. - Moslem Fatahi Savadjani; Shohreh Ajoudanian (Int. J. Math. Oper. Res., 2022)

Formal specification of smart grids for cascading-failures analysis using Alloy modelling language. - Elnaz Javadianpoor; Shohreh Ajoudanian (Int. J. Grid Util. Comput., 2024)

Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method. - Saeedeh Ghaedi Heidari; Shohreh Ajoudanian (Innov. Syst. Softw. Eng., 2024)