Publications
Please refer to my Google Scholar profile for the full list of publications. If you have any problems obtaining these publications, please feel free to contact me.
Featured Publications of Explainable and Trustworthy AI:
[ACM TOSEM] Hierarchical Distribution-Aware Testing of Deep Learning.
[ICCV'23] SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability.
[UAI'21] BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations.
[IEEE TR] Coverage Guided Testing for Recurrent Neural Networks.
Featured Publications of Probabilistic Verification of Autonomous Systems
[Nature Comm. Eng. ] Bayesian Learning for the Robust Verification of Autonomous Robots
[ASE'20] Interval Change-Point Detection for Runtime Probabilistic Model Checking.
[AAAI'19] Probabilistic Model Checking of Robots Deployed in Extreme Environments.
Featured Publications of Bayesian Reliability Assessment of Safety-Critical Systems
[IEEE TSE] The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments.
[IST] Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles. (journal extension of the ISSRE'19 work, best paper nominee)
Featured Publications of Safety Assurance for Learning-Enabled Systems
[ITSC'23] STPA for Learning-Enabled Systems: A Survey and a New Practice.
[ACM TECS] Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance. (journal extension of the AISafety'21 work, best paper award)
[SafeComp'20] A Safety Framework for Critical Systems Utilising Deep Neural Networks.