Hamid Jahanian

According to our database, Hamid Jahanian authored at least 6 papers between 2019 and 2022.

Collaborative distances:

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

2022

From Function to Failure.

Hamid Jahanian

CoRR, 2022

2021

Parametric Faults in Safety Critical Programs.

Hamid Jahanian

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

2020

Failure Mode Reasoning in Model Based Safety Analysis.

Hamid Jahanian, David Parker, Marc Zeller, Annabelle McIver, Yiannis Papadopoulos

Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

Reasoning with Failures.

Hamid Jahanian, Annabelle McIver

Proceedings of the Formal Methods and Software Engineering, 2020

2019

Failure Mode Reasoning.

Hamid Jahanian

Proceedings of the 4th International Conference on System Reliability and Safety, 2019

A Note on Failure Mode Reasoning.

Hamid Jahanian

Proceedings of the Formal Methods and Software Engineering, 2019