Zahra Moezkarimi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2024–2025
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSA | 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 |
| 2024 | FORTE | Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems. | Rong Gu, Zahra Moezkarimi, Marjan Sirjani |