Selected Publications

1. Supporting model based safety and security assessment of high assurance systems

   H Thiagarajan

   Kansas State University, 2022

2. Awas: AADL information flow and error propagation analysis framework

   H Thiagarajan, J Hatcliff, Robby

   Innovations in Systems and Software Engineering 18 (4), 485–504, 2021

3. Model-based risk analysis for an open-source PCA pump using AADL error modeling

   H Thiagarajan, B Larson, J Hatcliff, Y Zhang

   International Symposium on Model-Based Safety and Assessment, 34-50, 2020

4. Bakar Alir: supporting developers in construction of information flow contracts in SPARK

   H Thiagarajan, J Hatcliff, J Belt

   2012 IEEE 12th International Working Conference on Source Code Analysis and Manipulation

5. Dependence analysis for inferring information flow properties in Spark ADA programs

   H Thiagarajan

   Kansas State University, 2011

Presentations

1. Model-based risk analysis for an open-source PCA pump using AADL error modeling

   Presented at International Symposium on Model-Based Safety and Assessment, 2020

2. Bakar Alir: supporting developers in construction of information flow contracts in SPARK

   Presented at IEEE 12th International Working Conference on Source Code Analysis and Manipulation, 2012

For a complete list of publications and citations, please visit my Google Scholar profile.