Hoppa till huvudinnehållet

Publikationer av Ehsan Poorhadi

Refereegranskade

Konferensbidrag

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