Using Reo Formalism for Compliance Checking of Architecture Evolution with Evolutionary Rules. - Zainab Liaghat; MohammadReza Besharati; Mohammad Izadi; Ehsan Khamespanah (SoMeT, 2019)

DAST Model: Deciding About Semantic Complexity of a Text. - MohammadReza Besharati; Mohammad Izadi (CoRR, 2019)

A Crisis Situations Decision-Making Systems Software Development Process With Rescue Experiences. - Alireza Nowroozi; Peyman Teymoori; Toktam Ramezanifarkhani; MohammadReza Besharati; Mohammad Izadi (IEEE Access, 2020)

KARB Solution: Compliance to Quality by Rule Based Benchmarking. - MohammadReza Besharati; Mohammad Izadi (CoRR, 2020)

A Reo Based Solution for Engineering the Coordination Protocols for Smart Cities. - MohammadReza Besharati; Mohammad Izadi (CoRR, 2020)

SELM: Software Engineering of Machine Learning Models. - Nafiseh Jafari; MohammadReza Besharati; Maryam Hourali (SoMeT, 2021)

Langar: An Approach to Evaluate Reo Programming Language. - MohammadReza Besharati; Mohammad Izadi (CoRR, 2021)

Modeling of Resource Allocation Mechanisms in Distributed Computing Systems using Petri Nets and Stochastic Activity Networks (SAN): a Review and Reo-based Suggestion. - MohammadReza Besharati; Ali Sepehri Khameneh (CoRR, 2021)

SELM: Software Engineering of Machine Learning Models. - Nafiseh Jafari; MohammadReza Besharati; Mohammad Izadi; Maryam Hourali (CoRR, 2021)

Assessing and Supplying the Health of Videos Games via Formal Semantics. - MohammadReza Besharati; Mohammad Izadi (CoRR, 2021)

Stateless and Rule-Based Verification For Compliance Checking Applications. - MohammadReza Besharati; Mohammad Izadi; Ehsaneddin Asgari (CoRR, 2022)

Distributed Software Evolution: a Survey. - MohammadReza Besharati (CoRR, 2022)

DD-KARB: data-driven compliance to quality by rule based benchmarking. - MohammadReza Besharati; Mohammad Izadi (J. Big Data, 2022)