Ehsan Poorhadi

According to our database, Ehsan Poorhadi authored at least 4 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Automating an Analysis of Safety-Security Interactions for Railway Systems.

Ehsan Poorhadi, Elena Troubitsyna

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023

2022

Analysing the Impact of Security Attacks on Safety Using SysML and Event-B.

Ehsan Poorhadi, Elena Troubitsyna, György Dán

Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022

2021

Formal Modelling of the Impact of Cyber Attacks on Railway Safety.

Ehsan Poorhadi, Elena Troubitysna, György Dán

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021

2020

Formalising the Impact of Security Attacks on IoT Safety.

Ehsan Poorhadi, Elena Troubitysna, György Dán

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020