Hariharan Thiagarajan

According to our database, Hariharan Thiagarajan authored at least 3 papers between 2012 and 2022.

Collaborative distances:

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

2022

Awas: AADL information flow and error propagation analysis framework.

Hariharan Thiagarajan, John Hatcliff, Robby

Innov. Syst. Softw. Eng., 2022

2020

Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling.

Hariharan Thiagarajan, Brian R. Larson, John Hatcliff, Yi Zhang

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

2012

Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK.

Hariharan Thiagarajan, John Hatcliff, Jason Belt, Robby

Proceedings of the 12th IEEE International Working Conference on Source Code Analysis and Manipulation, 2012