Publications

Ehsan Poorhadi, Elena Troubitsyna (2023). Automating an Analysis of Safety-Security Interactions for Railway Systems. In RSSRail.

Ehsan Poorhadi, Elena Troubitsyna, György Dán (2022). Analysing the Impact of Security Attacks on Safety Using SysML and Event-B. In IMBSA.

Ehsan Poorhadi, Elena Troubitsyna, György Dán (2021). Formal modelling of the impact of cyber attacks on railway safety. In SAFECOMP, DECSoS.

Ehsan Poorhadi, Elena Troubitsyna, György Dán (2020). Formalising the impact of security attacks on IoT safety. In SAFECOMP, DECSoS.

Ramin Javadi, Ehsan Poorhadi, Farshad Fallah (2020). Packing cliques in 3‐uniform hypergraphs. Journal of Combinatorial Designs.