News
This website stops updating after 1st-Jan-2022. Please ref to my new website at https://www.xzhao.me/
News of 2021
09/2021: Our paper on “Embedding and Extraction of Knowledge in Tree Ensemble Classifiers” is accepted by the Springer journal of Machine Learning.
08/2021: Our AISafety’21 paper won the best paper award, while we are working hard on its journal version! Hopefully it will come out soon.
07/2021: A huge congrats to our PhD student Wei Huang (co-supervised by Xiaowei and me) who is the winner of Siemens AI-Dependability-Assessment-Student-Challenge. News on the school website.
06/2021: Our paper “Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles” is accepted at the workshop AISafety’21 co-located with IJCAI’21. Here is the accepted version.
05/2021: A first XAI paper of mine “BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations” is accepted by UAI2021, thanks to the great efforts of my co-authors. BayLIME (the accepted preprint) is a Bayesian modification of LIME that exploits prior knowledge and Bayesian reasoning to improve the consistency in repeated explanations, the robustness to kernel settings and explanation fidelity.
05/2021: Our journal paper “Coverage Guided Testing for Recurrent Neural Networks” (preprint) got accepted by IEEE Tran. on Reliability. Congratulations to our star PhD student Wei Huang and all co-authors!
04/2021: An abstract paper is accepted by DSN2021 – “Detecting Operational Adversarial Examples for Reliable Deep Learning”, here is a preprint version. Hopefully the more exciting parts, results to the research questions articulated, will come soon.
03/2021: Glad that our paper “Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence” is accepted by DSN2021 (48 accepted out of 295 submissions – 16.3%). Great work by my CSR colleagues Kizito and Lorenzo! Here is a preprint version.
02/2021: It is my great pleasure to be part of the UAI2021 this year as a PC member. Looking forward to reviewing exciting papers from the prestigious community.
01/2021: Give a talk at the FOCETA WP3 workshop on behalf of our Liverpool side. The topic is on reliability assessment for Deep Learning software considering evidence of robustness verification and operational testing.
News of 2020
10/2020: About to start a new PDRA post at the Computer Science Department, University of Liverpool in Jan. 2021, working on projects with Prof. Sven Schewe and Dr. Xiaowei Huang. Looking forward to it!
08/2020: Our journal paper “Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles” (an extension of our ISSRE2019 paper) is accepted by Information and Software Technology. Our friends from CSR, City UoL made a significant contribution. Here is a preprint version.
07/2020： Our paper “Interval Change-Point Detection for Runtime Probabilistic Model Checking” is accepted by ASE2020. A first joint paper with our York friends at TASP – hopefully many more to come! Here is the accepted manuscript.
04/2020: Our paper “A Safety Framework for Critical Systems Utilising Deep Neural Networks” is accepted by SafeComp2020. Many thanks to my co-authors for their great efforts. Here is a preprint.
02/2020: Give a talk at the TASP: Trustworthy Adaptive and Autonomous Systems & Processes research group, University of York. The topic is “Robust Bayesian Estimators for Transition Parameters in Probabilistic Model Checking”, here is the slides.
News of 2019
12/2019: Start a new project “COVE: Continual Verification and Assurance of Robotic Systems Under Uncertainty” as a Co-Investigator. Looking forward to working with Dr. Radu Calinescu and Dr. Simos Gerasimou!
11/2019: Our paper “On Reliability Assessment When a Software-based System Is Replaced by a Thought-to-be-Better One” is accepted by Reliability Engineering and System Safety. It is another joint work, during my PhD study, with colleagues from the Centre for Software Reliability (CSR) at City University of London. Here is a preprint version.
09/2019: Our paper “UAS Operators Safety and Reliability Survey: Emerging Technologies Towards the Certification of Autonomous UAS” is accepted by ICSRS2019. Here is the accepted version.
07/2019: Our paper “Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing”, a joint work with colleagues from the Centre for Software Reliability (CSR) at City University of London, is accepted by ISSRE2019 as a Best Paper Nominee. Here is the accepted version.
06/2019: Our paper “Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management”, a joint work with colleagues from the University of Liverpool, is accepted by SEFM2019. Here is the accepted version.
02/2019: Presented our paper “Probabilistic Model Checking of Robots Deployed in Extreme Environments” at the 33rd AAAI Conference on Artificial Intelligence, Honolulu, Hawaii, 2019.
01/2019: As the start of my AAIP Programme Fellowship, I paid a very first visit to Dr. Radu Calinescu’s team at the University of York, which was a great experience.