Skip to main content
Till KTH:s startsida Till KTH:s startsida

Publications by Ehsan Poorhadi

Peer reviewed

Conference papers

[1]
E. Poorhadi and E. Troubitsyna, "Automating an Analysis of Safety-Security Interactions for Railway Systems," in Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Proceedings, 2023, pp. 3-21.
[2]
E. Poorhadi, E. Troubitsyna and G. Dán, "Analysing the Impact of Security Attacks on Safety Using SysML and Event-B," in MODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2022, 2022, pp. 170-185.
[3]
E. Poorhadi, E. Troubitsyna and G. Dán, "Formal Modelling of the Impact of Cyber Attacks on Railway Safety," in Computer Safety, Reliability, And Security (SAFECOMP 2021), 2021, pp. 117-127.
[4]
E. Poorhadi, E. Troubitsyna and G. Dán, "Formalising the Impact of Security Attacks on IoT Safety," in SAFECOMP 2020: Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020, pp. 69-81.
Latest sync with DiVA:
2024-06-18 00:10:10