Zeinab Sharifi

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 2

Top Topics

Functional Units

Formal Analysis

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Appl. Soft Comput.

Publications

Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah
Towards Formal Analysis of Vehicle Platoons Using Actor Model. ETFA (2020)
Mahdi Nasiri, Behrouz Minaei, Zeinab Sharifi
Adjusting data sparsity problem using linear algebra and machine learning algorithm. Appl. Soft Comput. 61 (2017)
Zeinab Sharifi, Mahdi Mosaffa, Siamak Mohammadi, Marjan Sirjani
Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)