Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 3

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 (2)

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

Items per page:
May 2024
Systematic Development of Collaborative Blended Modeling Environments
May 2024
Deep-IDS: A Real-time Intrusion Detector for IoT Nodes using Deep Learning
Apr 2024
Combining Ontology and Large Language Models to Identify Recurring Machine Failures in Free-Text Fields
Apr 2024
Exploring API behaviours through generated examples
Apr 2024
Towards Adopting a Digital Twin Framework (ISO 23247) for Battery Systems
Apr 2024
Context Factors Perceived Important when Looking for Similar Experiences in Decision–Making for Software Components – An Interview Study