Folgen
Deyun Lyu
Deyun Lyu
Kyushu University
Bestätigte E-Mail-Adresse bei s.kyushu-u.ac.jp - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
Z Zhang, D Lyu, P Arcaini, L Ma, I Hasuo, J Zhao
International Conference on Computer Aided Verification, 595-618, 2021
412021
When cyber-physical systems meet AI: A benchmark, an evaluation, and a way forward
J Song, D Lyu, Z Zhang, Z Wang, T Zhang, L Ma
Proceedings of the 44th International Conference on Software Engineering …, 2022
192022
FalsifAI: Falsification of AI-enabled hybrid control systems guided by time-aware coverage criteria
Z Zhang, D Lyu, P Arcaini, L Ma, I Hasuo, J Zhao
IEEE Transactions on Software Engineering 49 (4), 1842-1859, 2022
172022
SDLV: Verification of steering angle safety for self-driving cars
H Wu, D Lv, T Cui, G Hou, M Watanabe, W Kong
Formal Aspects of Computing 33, 325-341, 2021
132021
A verification framework for behavioral safety of self‐driving cars
H Wu, D Lyu, Y Zhang, G Hou, M Watanabe, J Wang, W Kong
IET Intelligent Transport Systems 16 (5), 630-647, 2022
72022
On the effectiveness of signal rescaling in hybrid system falsification
Z Zhang, D Lyu, P Arcaini, L Ma, I Hasuo, J Zhao
NASA Formal Methods Symposium, 392-399, 2021
62021
Autorepair: Automated repair for ai-enabled cyber-physical systems under safety-critical conditions
D Lyu, J Song, Z Zhang, Z Wang, T Zhang, L Ma, J Zhao
arXiv preprint arXiv:2304.05617, 2023
52023
Method for fully automatically detecting chessboard corner points
LUOZ KONG Weiqiang, LV Deyun, Wei Zhong, LIU Risheng, Xin Fan
US Patent 12,094,152, 2024
1*2024
Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications
D Lyu, Z Zhang, P Arcaini, F Ishikawa, T Laurent, J Zhao
Proceedings of the Genetic and Evolutionary Computation Conference, 1435-1444, 2024
12024
Method for adaptively detecting chessboard sub-pixel level corner points
LIS Wei Zhong, LV Deyun, KONG Weiqiang, LIU Risheng, Xin Fan, LUO Zhongxuan
US Patent 11,900,634, 2024
12024
Method for infrared small target detection based on depth map in complex scene
LUOZ KONG Weiqiang, LV Deyun, Wei Zhong, LIU Risheng, Xin Fan
US Patent 12,108,022, 2024
2024
SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences
D Lyu, Z Zhang, P Arcaini, XY Zhang, F Ishikawa, J Zhao
ACM Transactions on Software Engineering and Methodology, 2024
2024
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–12