11 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.SE2023
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…
cs.NI2022★ 11 cited
Forecasting Loss of Signal in Optical Networks with Machine Learning
Wenjie Du, David Cote, Chris Barber +1
Loss of Signal (LOS) represents a significant cost for operators of optical networks. By studying large sets of real-world Performance Monitoring (PM) data collected from six inter…