Yanjin Zhu

According to our database, Yanjin Zhu authored at least 6 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Mesh-LOAM: Real-time Mesh-Based LiDAR Odometry and Mapping.

Yanjin Zhu, Xin Zheng, Jianke Zhu

CoRR, 2023

2021

Body Temperature Monitoring for Regular COVID-19 Prevention Based on Human Daily Activity Recognition.

Lei Zhang, Yanjin Zhu, Mingliang Jiang, Yuchen Wu, Kailian Deng, Qin Ni

Sensors, 2021

2014

Automatic verification of active device drivers.

Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk, Yanjin Zhu

ACM SIGOPS Oper. Syst. Rev., 2014

2012

Automatic Verification of Message-Based Device Drivers

Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

2011

Static analysis of device drivers: we can do better!

Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu

Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

2010

The case for active device drivers.

Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser

Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, 2010