Spremljaj
Hariharan Thiagarajan
Hariharan Thiagarajan
Kansas State University
Preverjeni e-poštni naslov na ksu.edu
Naslov
Navedeno
Navedeno
Leto
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
102020
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 …, 2012
82012
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
72021
Supporting model based safety and security assessment of high assurance systems
H Thiagarajan
Kansas State University, 2022
32022
Dependence analysis for inferring information flow properties in Spark ADA programs
H Thiagarajan
Kansas State University, 2011
2011
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–5