Wenjie Du

According to our database, Wenjie Du authored at least 12 papers between 2006 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Trusta: Reasoning about assurance cases with formal methods and large language models.

Zezhong Chen, Yuxin Deng, Wenjie Du

Sci. Comput. Program., 2025

2022

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems.

Wenjie Du, Yuxin Deng, Daniel Gebler

Sci. Ann. Comput. Sci., 2022

2021

Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness.

Yuxin Deng, Zezhong Chen, Wenjie Du, Bifei Mao, Zhizhang Liang, Qiushi Lin, Jinghui Li

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2020

Verifying Quantum Communication Protocols with Ground Bisimulation.

Xudong Qin, Yuxin Deng, Wenjie Du

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Qsimulation V2.0: An Optimized Quantum Simulator.

Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

2015

Modal Characterisations of Behavioural Pseudometrics.

Yuxin Deng, Wenjie Du, Daniel Gebler

CoRR, 2015

2011

Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation

Yuxin Deng, Wenjie Du

CoRR, 2011

2009

On Mobility and Communication.

Wenjie Du, Yuxin Deng

Proceedings of the Fifth International Symposium on Domain Theory, 2009

The Kantorovich Metric in Computer Science: A Brief Survey.

Yuxin Deng, Wenjie Du

Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009

A Local Algorithm for Checking Probabilistic Bisimilarity.

Yuxin Deng, Wenjie Du

Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009

2007

Probabilistic Barbed Congruence.

Yuxin Deng, Wenjie Du

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

2006

Realization of Multilayer Occlusion between Real and Virtual Scenes in Augmented Reality.

Yan Feng, Wenjie Du, Xiaoqi Guan, Fei Gao, Yimin Chen

Proceedings of the 10th International Conference on CSCW in Design, 2006