An Integrated Hazard Identification Method for Socio-technical Systems based on STPA. - Rui Wang 042; Wei Zheng; Ci Liang; Gilles Motet (GI-Jahrestagung, 2014)

Automated Test Approach Based on All Paths Covered Optimal Algorithm and Sequence Priority Selected Algorithm. - Wei Zheng; Ci Liang; Rui Wang 042; Weijie Kong (IEEE Trans. Intell. Transp. Syst., 2014)

D-S Theory for Argument Confidence Assessment. - Rui Wang 042; Jérémie Guiochet; Gilles Motet; Walter Schön (BELIEF, 2016)

A Framework for Assessing Safety Argumentation Confidence. - Rui Wang 042; Jérémie Guiochet; Gilles Motet (SERENE, 2016)

Confidence Assessment Framework for Safety Arguments. - Rui Wang 042; Jérémie Guiochet; Gilles Motet (SAFECOMP, 2017)

Confidence in safety argument - An assessment framework based on belief function theory. (Confiance dans un argumentaire de sécurité - un cadre d'évaluation basé sur la théorie des fonctions de croyance). - Rui Wang 042 (2018)

Safety case confidence propagation based on Dempster-Shafer theory. - Rui Wang 042; Jérémie Guiochet; Gilles Motet; Walter Schön (Int. J. Approx. Reason., 2019)

Rear-End Collision Risk Analysis for Autonomous Driving. - Ci Liang; Mohamed Ghazel; Yusheng Ci; Nour-Eddin El Faouzi; Rui Wang 042; Wei Zheng (SAFECOMP Workshops, 2023)

Uncertainty Quantification for Semantic Segmentation Models via Evidential Reasoning. - Rui Wang 042; Mengying Wang; Ci Liang; Zhouxian Jiang (SAFECOMP Workshops, 2023)

Object Hallucination Detection in Large Vision Language Models via Evidential Conflict. - Zhekun Liu; Tao Huang; Rui Wang 042; Liping Jing (BELIEF, 2024)

Strong Transferable Adversarial Attacks via Ensembled Asymptotically Normal Distribution Learning. - Zhengwei Fang; Rui Wang 042; Tao Huang; Liping Jing (CVPR, 2024)

Efficient generation of valid test inputs for deep neural networks via gradient search. - Zhouxian Jiang; Honghui Li; Rui Wang 042 (J. Softw. Evol. Process., 2024)

Validity Matters: Uncertainty-Guided Testing of Deep Neural Networks. - Zhouxian Jiang; Honghui Li; Rui Wang 042; Xuetao Tian; Ci Liang; Fei Yan; Junwen Zhang; Zhen Liu (Softw. Test. Verification Reliab., 2024)

Visual hallucination detection in large vision-language models via evidential conflict. - Tao Huang; Zhekun Liu; Rui Wang 042; Yang Zhang; Liping Jing (Int. J. Approx. Reason., 2025)