Hariharan Thiagarajan

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

Collaborative distances:

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

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

Awas: AADL Information Flow and Error Propagation Analysis Framework.

Hariharan Thiagarajan, John Hatcliff, Robby

Proceedings of the Software Architecture - 14th European Conference, 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