Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification. - Zeinab Sharifi; Mahdi Mosaffa; Siamak Mohammadi; Marjan Sirjani (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Adjusting data sparsity problem using linear algebra and machine learning algorithm. - Mahdi Nasiri; Behrouz Minaei; Zeinab Sharifi (Appl. Soft Comput., 2017)

Towards Formal Analysis of Vehicle Platoons Using Actor Model. - Zeinab Sharifi; Ramtin Khosravi; Marjan Sirjani; Ehsan Khamespanah (ETFA, 2020)