Wenjie Du

15 papers C 2Misc 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Enhancing Large-Scale Code Understanding Through Goal Structuring Notation and Large Language Models.
Comput. Informatics
Zezhong Chen, Yuxin Deng, Wenjie Du
2025 J jnl
Trusta: Reasoning about assurance cases with formal methods and large language models.
Sci. Comput. Program.
Zezhong Chen, Yuxin Deng, Wenjie Du
2023 J jnl
Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models.
CoRR
Zezhong Chen, Yuxin Deng, Wenjie Du
2022 J jnl
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems.
Sci. Ann. Comput. Sci.
Wenjie Du, Yuxin Deng, Daniel Gebler
2021 — conf
Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness.
QRS Companion
Yuxin Deng, Zezhong Chen, Wenjie Du, Bifei Mao, Zhizhang Liang, Qiushi Lin, Jinghui Li
2020 C conf
Qsimulation V2.0: An Optimized Quantum Simulator.
ICTAC
Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du
2020 — conf
Verifying Quantum Communication Protocols with Ground Bisimulation.
TACAS (2)
Xudong Qin, Yuxin Deng, Wenjie Du
2016 Misc conf
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems.
SETTA
Wenjie Du, Yuxin Deng, Daniel Gebler
2015 J jnl
Modal Characterisations of Behavioural Pseudometrics.
CoRR
Yuxin Deng, Wenjie Du, Daniel Gebler
2011 J jnl
Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation
CoRR
Yuxin Deng, Wenjie Du
2009 — conf
A Local Algorithm for Checking Probabilistic Bisimilarity.
FCST
Yuxin Deng, Wenjie Du
2009 — conf
On Mobility and Communication.
ISDT
Wenjie Du, Yuxin Deng
2009 — conf
The Kantorovich Metric in Computer Science: A Brief Survey.
QAPL
Yuxin Deng, Wenjie Du
2007 — conf
Probabilistic Barbed Congruence.
QAPL
Yuxin Deng, Wenjie Du
2006 C conf
Realization of Multilayer Occlusion between Real and Virtual Scenes in Augmented Reality.
CSCWD
Yan Feng, Wenjie Du, Xiaoqi Guan, Fei Gao, Yimin Chen