15 citations · 32 across the 9 of their papers we have counts for
10 papers
Stateless and Rule-Based Verification For Compliance Checking Applications
Mohammad Reza Besharati, Mohammad Izadi, Ehsaneddin Asgari
Underlying computational model has an important role in any computation. The state and transition (such as in automata) and rule and value (such as in Lisp and logic programming) a…
Assessing and Supplying the Health of Videos Games via Formal Semantics
Mohammad Reza Besharati, Mohammad Izadi
Video games, just like any other media have both explicit and implicit messages, and they can have impact on physical and mental health of the users. These impacts can be positive…
SELM: Software Engineering of Machine Learning Models
Nafiseh Jafari, Mohammad Reza Besharati, Mohammad Izadi +1
One of the pillars of any machine learning model is its concepts. Using software engineering, we can engineer these concepts and then develop and expand them. In this article, we p…
Langar: An Approach to Evaluate Reo Programming Language
Mohammad Reza Besharati, Mohammad Izadi
Reo is a formal coordination language. In order to assess and evaluate its capabilities, we need a multi-perspective Language Evaluation Framework. Langar (Language Analysis for Re…
A Reo Based Solution for Engineering the Coordination Protocols for Smart Cities
Mohammad Reza Besharati, Mohammad Izadi
Smart Cities, with their problems and challenges, is an emerging smart paradigm. To achieve better quality and usability levels, we need engineering solutions to support smart citi…
Phishing Detection Using Machine Learning Techniques
Vahid Shahrivari, Mohammad Mahdi Darabi, Mohammad Izadi
The Internet has become an indispensable part of our life, However, It also has provided opportunities to anonymously perform malicious activities like Phishing. Phishers try to de…
KARB Solution: Compliance to Quality by Rule Based Benchmarking
Mohammad Reza Besharati, Mohammad Izadi
Instead of proofs or logical evaluations, compliance assessment could be done by benchmarking. Benchmarks, in their nature, are applied. So a set of benchmarks could shape an appli…
A Deep Learning-Based Approach for Measuring the Domain Similarity of Persian Texts
Hossein Keshavarz, Shohreh Tabatabayi Seifi, Mohammad Izadi
In this paper, we propose a novel approach for measuring the degree of similarity between categories of two pieces of Persian text, which were published as descriptions of two sepa…
DAST Model: Deciding About Semantic Complexity of a Text
MohammadReza Besharati, Mohammad Izadi
Measuring text complexity is an essential task in several fields and applications (such as NLP, semantic web, smart education, etc.). The semantic layer of text is more tacit than…
Joining Transition Systems of Records: Some Congruency and Language-Theoretic Results
Mohammad Izadi, Saeed Masoudian, Sahand Mozaffari
Büchi automaton of records (BAR) has been proposed as a basic operational semantics for Reo coordination language. It is an extension of Büchi automaton by using a set of records a…