Publications

Conference (^ refers to the co-first author)

• Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications [PDF] [Code]
  Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao
  The Genetic and Evolutionary Computation Conference (GECCO 2024)

• When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward
  (SEIP - Software Engineering in Practice)
  Jiayang Song^, Deyun Lyu^, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma
  The 44th International Conference on Software Engineering (ICSE SEIP 2022)

• Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness
  Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
  The 33th International Conference on Computer-Aided Verification (CAV 2021)

• On the Effectiveness of Signal Rescaling in Hybrid System Falsification [Code]
  Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
  The 13th NASA Formal Methods Symposium (NFM 2021)

Journal

• Fault Localization of AI-Enabled Cyber-Physical Systems by Exploiting Temporal Neuron Activation
  Deyun Lyu, Yi Li, Zhenya Zhang, Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa, Jianjun Zhao
  Journal of Systems and Software, 2025.

• Automated Generation of Benchmarks for Falsification of STL Specifications
  Yipei Yan, Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Jianjun Zhao
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2025.

• SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences
  Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa, Jianjun Zhao
  ACM Transactions on Software Engineering and Methodology, 2024.

• FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria
  Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
  IEEE Transactions on Software Engineering, 2023, 49(4): 1842 - 1859.

• An Verification Framework for Behavioral Safety of Self-Driving Cars
  Huihui Wu, Deyun Lyu, Yanan Zhang, Gang Hou, Masahiko Watanabe, Jie Wang, Weiqiang Kong
  IET Intelligent Transport Systems, 2022, 16(5): 630-647.

• SDLV: Verification of Steering Angle Safety for Self-Driving Cars
  Huihui Wu, Deyun Lyu, Tengxiang Cui, Gang Hou, Masahiko Watanabe, Weiqiang Kong
  Formal Aspects of Computing, 2021, 33, 325-341.

Workshop & Presentation & Poster

• Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications [PDF]
  Top Conference/Journal Special Talk (トップカンファレンス・トップ論文誌特別講演), 日本ソフトウェア科学会第41回大会 (JSSST 41), 2024, Osaka, Japan.

• Towards Building Reliable AI-Enabled Cyber-Physical Systems [PDF]
  Doctoral Symposium, The 26th International Symposium on Formal Methods (FM 2023).

• FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria [PDF]
  Demo/Poster Session (デモ・ポスターセッション), 日本ソフトウェア科学会第39回大会 (JSSST 39), 2022, Nagoya, Japan.

Patent

• Method for adaptively detecting chessboard sub-pixel level corner points
  U.S. Patent No.: 11,900,634.
  Name(s) of Inventor(s): Wei Zhong, Deyun Lyu, Weiqiang Kong, Risheng Liu, Xin Fan, Zhongxuan Luo, Shengquan Li.
  

• Method for fully automatically detecting chessboard corner points
  U.S. Patent No.: 12,094,152.
  Name(s) of Inventor(s): Weiqiang Kong, Deyun Lyu, Wei Zhong, Risheng Liu, Xin Fan, Zhongxuan Luo.
  

• Method for infrared small target detection based on depth map in complex scene
  U.S. Patent No.: 12,108,022.
  Name(s) of Inventor(s): Weiqiang Kong, Deyun Lyu, Wei Zhong, Risheng Liu, Xin Fan, Zhongxuan Luo.