Publications
Number of publications matching the search criterion: 4
Journal article (1)
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)
Conference/Workshop Paper (3)
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)
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)
Enhancing CRYSTAL: Preventive Recovery in Brief (Nov 2023) Fereidoun Moradi, Zahra Moezkarimi, Marjan Sirjani
