Skip to content

Deyun Lyu

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

4

Venues

4

Active years

2021–2026

Best venue rank

A*

Where they publish

Papers

4 indexed papers, newest first.

YearVenueTitleAuthors
2026HRICoordinating Speech with Touch Input and Visual Cues in Human-Robot Interaction: A Multimodal System Evaluated through Metamorphic Testing.Massimo Donini, Paolo Arcaini, Michael Oliverio, Fuyuki Ishikawa, Alessandro Mazzei, Deyun Lyu, Cristina Gena
2024GECCOSearch-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications.Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao
2022ICSEWhen Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward.Jiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma
2021CAVEffective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao