Zahra Moezkarimi, Post Doc, Postdoctoral research fellow

Zahra is a postdoctoral researcher at Mälardalen University (MDU), Västerås, Sweden. She is working on modeling and formal verification of Cyber-Physical Systems (CPS). Recently, she has expanded her research to address the unpredictability in the behavior of AI components within AI-enabled Autonomous Cyber-Physical Systems. 

I work on modeling and formal verification of Cyber-Physical Systems, with an interest in data-driven approaches. My main tool for model checking is Rebeca (Reactive Object Language), an actor-based language tailored for modeling and formal verification of reactive, concurrent, and distributed systems. I use the timed extension of Rebeca, Timed-Rebeca, and Rebeca’s user-friendly model checking tool, Afra. 

Recently, I've expanded my research to address the unpredictability in the behavior of AI components within AI-enabled Autonomous Cyber-Physical Systems.

For my PhD, I has worked on privacy policies and information leakage analysis in social networks using Process Algebra and Dynamic Epistemic Logic. My approach was general enough to be used in other domains. I used Maude to prototype my proposed framework.  

[Show all publications]

Guess and then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems (Jul 2024)
Rong Gu, Zahra Moezkarimi, Marjan Sirjani
44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024)

CRYSTAL framework: Cybersecurity assurance for cyber-physical systems (Apr 2024)
Fereidoun Moradi, Sara Abbaspour, Bahman Pourvatan , Zahra Moezkarimi, Marjan Sirjani
Journal of Logical and Algebraic Methods in Programming (JLAMP)

Enhancing CRYSTAL: Preventive Recovery in Brief (Nov 2023)
Fereidoun Moradi, Zahra Moezkarimi, Marjan Sirjani

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
4th International Workshop of Model-Driven Engineering for Software Architecture (MDE4SA)