Automated Model-Based Attack Tree Analysis Using HiP-HOPS. - Declan Whiting; Ioannis Sorokos; Yiannis Papadopoulos; Gilbert Regan; Eoin O'Carroll (IMBSA, 2019)

SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures. - Koorosh Aslansefat; Ioannis Sorokos; Declan Whiting; Ramin Tavakoli Kolagari; Yiannis Papadopoulos (IMBSA, 2020)

SafeML: Safety Monitoring of Machine Learning Classifiers through Statistical Difference Measure. - Koorosh Aslansefat; Ioannis Sorokos; Declan Whiting; Ramin Tavakoli Kolagari; Yiannis Papadopoulos (CoRR, 2020)