Deyun Lyu

11 papers A* 1A 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2026 A* conf
Coordinating Speech with Touch Input and Visual Cues in Human-Robot Interaction: A Multimodal System Evaluated through Metamorphic Testing.
HRI
Massimo Donini, Paolo Arcaini, Michael Oliverio, Fuyuki Ishikawa, Alessandro Mazzei, Deyun Lyu, Cristina Gena
2025 J jnl
Automated Generation of Benchmarks for Falsification of STL Specifications.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yipei Yan, Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Jianjun Zhao
2025 J jnl
Fault localization of AI-enabled cyber-physical systems by exploiting temporal neuron activation.
J. Syst. Softw.
Deyun Lyu, Yi Li, Zhenya Zhang, Paolo Arcaini, Xiaoyi Zhang, Fuyuki Ishikawa, Jianjun Zhao
2025 J jnl
SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences.
ACM Trans. Softw. Eng. Methodol.
Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa, Jianjun Zhao
2024 A conf
Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications.
GECCO
Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao
2023 J jnl
AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions.
CoRR
Deyun Lyu, Jiayang Song, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma, Jianjun Zhao
2023 J jnl
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria.
IEEE Trans. Software Eng.
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
2022 — conf
When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward.
ICSE (SEIP)
Jiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma
2021 — conf
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.
CAV (1)
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
2021 — conf
On the Effectiveness of Signal Rescaling in Hybrid System Falsification.
NFM
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
2021 J jnl
When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward.
CoRR
Jiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma