Zahra Moezkarimi

According to our database, Zahra Moezkarimi authored at least 9 papers between 2014 and 2025.

Collaborative distances:

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

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

Proceedings of the 22nd IEEE International Conference on Software Architecture, 2025

Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca.

Zahra Moezkarimi, Fatemeh Ghassemi

Proceedings of the Rebeca for Actor Analysis in Action, 2025

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