Zahra Moezkarimi

According to our database, Zahra Moezkarimi authored at least 7 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Efficient analysis of belief properties in process algebra.

Zahra Moezkarimi, Fatemeh Ghassemi

J. Log. Algebraic Methods Program., 2024

Formal Verification of Consistency for Systems with Redundant Controllers.

Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi, Alessandro Papadopoulos, Marjan Sirjani

Proceedings of the Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, 2024

Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems.

Rong Gu, Zahra Moezkarimi, Marjan Sirjani

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

2022

A policy-aware epistemic framework for social networks.

Zahra Moezkarimi, Fatemeh Ghassemi, Mohammad Reza Mousavi

J. Log. Comput., 2022

2015

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

2014

A PTAS for geometric 2-FTP.

Zahra Moezkarimi, Alireza Bagheri

Inf. Process. Lett., 2014