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.
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)
Project Title | Status |
---|---|
ARAS - Assured Reasoning for Autonomous Cyber-Physical Systems | active |