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

[IROS'22] Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking.

[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)

[RESS] Modeling the Probability of Failure on Demand (pfd) of a 1-out-of-2 System in Which One Channel is “Quasi-Perfect”.

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.