Modeling and Verifying the CKB Blockchain Consensus Protocol von Sun, Meng, Lu, Yuteng, Feng, Yichun, Zhang, Qi, Liu, Shaoying

Volltext

Towards mutation testing of Reinforcement Learning systems von Lu, Yuteng, Sun, Weidi, Sun, Meng

Volltext

Mutation testing of unsupervised learning systems von Lu, Yuteng, Shao, Kaicheng, Zhao, Jia, Sun, Weidi, Sun, Meng

Volltext

HashC: Making deep learning coverage testing finer and faster von Sun, Weidi, Xue, Xiaoyong, Lu, Yuteng, Zhao, Jia, Sun, Meng

Volltext

DeepGlobal: A framework for global robustness verification of feedforward neural networks von Sun, Weidi, Lu, Yuteng, Zhang, Xiyue, Sun, Meng

Volltext

HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems von Sun, Weidi, Lu, Yuteng, Luan, Xiaokun, Sun, Meng

Volltext

Mutation Testing of Reinforcement Learning Systems von Lu, Yuteng, Sun, Weidi, Sun, Meng

Volltext

MTUL: Towards Mutation Testing of Unsupervised Learning Systems von Lu, Yuteng, Shao, Kaicheng, Sun, Weidi, Sun, Meng

Volltext

HashC: Making DNNs' Coverage Testing Finer and Faster von Sun, Weidi, Xue, Xiaoyong, Lu, Yuteng, Sun, Meng

Volltext

DeepGlobal: A Global Robustness Verifiable FNN Framework von Sun, Weidi, Lu, Yuteng, Zhang, Xiyue, Sun, Meng

Volltext

Global Robustness Verification Networks von Sun, Weidi, Lu, Yuteng, Zhang, Xiyue, Zhu, Zhanxing, Sun, Meng

Volltext bestellen

Global Robustness Verification Networks von Sun, Weidi, Lu, Yuteng, Zhang, Xiyue, Zhu, Zhanxing, Sun, Meng

Volltext

Coating stirring device von LU YUTENG

Volltext bestellen

Asphalt mixture rut sample forming machine von LU YUTENG, WEI CHAOFENG

Volltext bestellen

Rebar repeated bending tester von LU YUTENG, WEI CHAOFENG

Volltext bestellen

Process for making shallow slot segregation structure von QIDONG HUANG, YUTENG LU

Volltext bestellen

High-strength bolt detector von LU YUTENG, HUANG LIANGFEI, HUANG WENZHUAN

Volltext bestellen

Integrated bonding strength detector von CEN RONGQUAN, XIE HAIBO, LU YUTENG, HUANG LIANGFEI

Volltext bestellen

Steel bar corrosion detector von LU YUTENG, HUANG LIANGFEI, HUANG WENZHUAN

Volltext bestellen

Wireless environment sensing system and method von ZHANG BAIZHE, LU YUTENG, GONG HE, HE BAODONG, XIE XUXI, GE FAN

Volltext bestellen