Zahra Moezkarimi

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 6

Top Topics

Formal Verification

Controller Synthesis

Social Networks

Top Venues

J. Log. Algebraic Methods Program.

Inf. Process. Lett.

J. Log. Comput.

Publications

Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi, Alessandro Papadopoulos, Marjan Sirjani
Formal Verification of Consistency for Systems with Redundant Controllers. MARS@ETAPS (2024)
Rong Gu, Zahra Moezkarimi, Marjan Sirjani
Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems. FORTE (2024)
Zahra Moezkarimi, Fatemeh Ghassemi
Efficient analysis of belief properties in process algebra. J. Log. Algebraic Methods Program. 141 (2024)
Fereidoun Moradi, Sara Abbaspour Asadollah, Bahman Pourvatan, Zahra Moezkarimi, Marjan Sirjani
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems. J. Log. Algebraic Methods Program. 139 (2024)
Zahra Moezkarimi, Fatemeh Ghassemi, Mohammad Reza Mousavi
A policy-aware epistemic framework for social networks. J. Log. Comput. 32 (6) (2022)
Ehsan Najafi Yazdi, Alireza Bagheri, Zahra Moezkarimi, Hamidreza Keshavarz
An O(1)-approximation algorithm for the 2-dimensional geometric freeze-tag problem. Inf. Process. Lett. 115 (6-8) (2015)
Zahra Moezkarimi, Alireza Bagheri
A PTAS for geometric 2-FTP. Inf. Process. Lett. 114 (12) (2014)