Seuraa
Deyun Lyu
Deyun Lyu
Kyushu University
Vahvistettu sähköpostiosoite verkkotunnuksessa acm.org - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
462021
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
222022
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
222022
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
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
72021
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
62023
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
52022
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–12