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 a H2020 project Foundations for Continuous Engineering of Trustworthy Autonomy (FOCETA) and a DSTL project Safety Argument for Learning-enabled Autonomous Underwater Vehicles (SOLITUDE) 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 our Liverpool and DSTL friends 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.
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. A preprint is available on arXiv.