42 citations · 72 across the 4 of their papers we have counts for
4 papers
Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models
Zezhong Chen, Yuxin Deng, Wenjie Du
Assurance cases can be used to argue for the safety of products in safety engineering. In safety-critical areas, the construction of assurance cases is indispensable. Trustworthine…
Modal Characterisations of Behavioural Pseudometrics
Yuxin Deng, Wenjie Du, Daniel Gebler
For the model of probabilistic labelled transition systems that allow for the co-existence of nondeterminism and probabilities, we present two notions of bisimulation metrics: one…
Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation
Yuxin Deng, Wenjie Du
Many behavioural equivalences or preorders for probabilistic processes involve a lifting operation that turns a relation on states into a relation on distributions of states. We sh…
Study of Bc -> BP,BV Decays with QCD Factorization
Junfeng Sun, Yueling Yang, Wenjie Du +1
The Bc -> BP,BV decays are studied with the QCD factorization approach (where P and V denote pseudoscalar and vector mesons, respectively). Considering the contributions of both cu…