Follow
Ehsan Poorhadi
Ehsan Poorhadi
PhD Student of Computer Science, KTH Royal Institute of Technology
Verified email at kth.se
Title
Cited by
Cited by
Year
Analysing the impact of security attacks on safety using SysML and event-B
E Poorhadi, E Troubitsyna, G Dán
International Symposium on Model-Based Safety and Assessment, 170-185, 2022
82022
Formal modelling of the impact of cyber attacks on railway safety
E Poorhadi, E Troubitysna, G Dán
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops: DECSoS …, 2021
72021
Formalising the impact of security attacks on IoT safety
E Poorhadi, E Troubitysna, G Dan
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS …, 2020
22020
Automating an Analysis of Safety-Security Interactions for Railway Systems
E Poorhadi, E Troubitsyna
International Conference on Reliability, Safety, and Security of Railway …, 2023
2023
Packing cliques in 3‐uniform hypergraphs
R Javadi, E Poorhadi, F Fallah
Journal of Combinatorial Designs 28 (8), 580-603, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–5