Ruoyu Zhou

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 10

Top Topics

Verification Method

Top Venues

Publications

Mini Han Wang, Lumin Xing, Yi Pan, Feng Gu, Junbin Fang, Xiangrong Yu, Chi Pui Pang, Kelvin Kam Lung Chong, Carol Yim-Lui Cheung, Xulin Liao, Xiaoxiao Fang, Jie Yang, Ruoyu Zhou, Xiaoshu Zhou, Fengling Wang, Wenjian Liu
AI-Based Advanced Approaches and Dry Eye Disease Detection Based on Multi-Source Evidence: Cases, Applications, Issues, and Future Directions. Big Data Min. Anal. 7 (2) (2024)
Xiaolei Hu, Zuoran Cai, Ruoyu Zhou
Automatic Modulation Classification Based on the Multi-channel Large-kernel Convolutional Neural Network. ICCT (2023)
Ziyu Yan, Long Tan, Xiaoqi Zhang, Kecheng Zhang, Ruoyu Zhou
Deep Learning-Assisted Target Classification Using OTFS Signaling. ICCC Workshops (2023)
Mahwish Arif, Ruoyu Zhou, Hsi-Ming Ho, Timothy M. Jones
Cinnamon: A Domain-Specific Language for Binary Profiling and Monitoring. CGO (2021)
Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones
Timed hyperproperties. Inf. Comput. 280 (2021)
Ruoyu Zhou, Timothy M. Jones
Janus: Statically-Driven and Profile-Guided Automatic Dynamic Binary Parallelisation. CGO (2019)
Ruoyu Zhou, George Wort, Márton Erdos, Timothy M. Jones
The janus triad: exploiting parallelism through dynamic binary modification. VEE (2019)
Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones
On Verifying Timed Hyperproperties. TIME (2019)
Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones
On Verifying Timed Hyperproperties. CoRR (2018)
Ruoyu Zhou, Lianjie Shu, Yan Su
An adaptive minimum spanning tree test for detecting irregularly-shaped spatial clusters. Comput. Stat. Data Anal. 89 (2015)