A PTAS for geometric 2-FTP. - Zahra Moezkarimi; Alireza Bagheri (Inf. Process. Lett., 2014)

An O(1)-approximation algorithm for the 2-dimensional geometric freeze-tag problem. - Ehsan Najafi Yazdi; Alireza Bagheri; Zahra Moezkarimi; Hamidreza Keshavarz (Inf. Process. Lett., 2015)

A policy-aware epistemic framework for social networks. - Zahra Moezkarimi; Fatemeh Ghassemi; Mohammad Reza Mousavi 001 (J. Log. Comput., 2022)

Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems. - Rong Gu; Zahra Moezkarimi; Marjan Sirjani (FORTE, 2024)

Formal Verification of Consistency for Systems with Redundant Controllers. - Bjarne Johansson; Bahman Pourvatan; Zahra Moezkarimi; Alessandro Papadopoulos; Marjan Sirjani (MARS@ETAPS, 2024)

Efficient analysis of belief properties in process algebra. - Zahra Moezkarimi; Fatemeh Ghassemi (J. Log. Algebraic Methods Program., 2024)

CRYSTAL framework: Cybersecurity assurance for cyber-physical systems. - Fereidoun Moradi; Sara Abbaspour Asadollah; Bahman Pourvatan; Zahra Moezkarimi; Marjan Sirjani (J. Log. Algebraic Methods Program., 2024)

Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca. - Zahra Moezkarimi; Fatemeh Ghassemi (Rebeca for Actor Analysis in Action, 2025)

Harnessing ChatGPT for Model Transformation in Software Architecture: From UML State Diagrams to Rebeca Models for Formal Verification. - Zahra Moezkarimi; Kevin Eriksson; Albin Alm Johansson; Alessio Bucaioni; Marjan Sirjani (ICSA Companion, 2025)