2025
Energy Scheduling of Virtual Power Plants: A Data-Driven Enclosing Polyhedron Method.
IEEE Trans. Ind. Informatics, February, 2025

2024
Leverage Learning Behaviour Data for Students' Learning Performance Prediction and Influence Factor Analysis.
IEEE Trans. Artif. Intell., May, 2024

Local/Global explainability empowered expert-involved frameworks for essential tremor action recognition.
Biomed. Signal Process. Control., 2024

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

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

2014
Automatic verification of active device drivers.
ACM SIGOPS Oper. Syst. Rev., 2014

2012
Automatic Verification of Message-Based Device Drivers
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

2011
Static analysis of device drivers: we can do better!
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

2010
The case for active device drivers.
Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, 2010