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 | 8 | 2022 |
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 | 7 | 2021 |
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 | 2 | 2020 |
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 |