Yan Liu

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 2

Top Topics

Daily Activities

Home Environments

Pervasive Computing

Top Venues

Trans. Comput. Collect. Intell.

IEEE Trans. Software Eng.

Proc. ACM Softw. Eng.

Publications

Shihan Dou, Yueming Wu, Haoxiang Jia, Yuhao Zhou, Yan Liu, Yang Liu
CC2Vec: Combining Typed Tokens with Contrastive Learning for Effective Code Clone Detection. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Kulani Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Yan Liu, Jin Song Dong, Zhenkai Liang
Scrutinizing Implementations of Smart Home Integrations. IEEE Trans. Software Eng. 47 (12) (2021)
Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari
Towards Formal Modelling and Verification of Pervasive Computing Systems. Trans. Comput. Collect. Intell. 16 (2014)
Yan Liu, Lin Gui, Yang Liu
MDP-Based Reliability Analysis of an Ambient Assisted Living System. FM (2014)
Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Étienne André
Modeling and verifying hierarchical real-time systems using stateful timed CSP. ACM Trans. Softw. Eng. Methodol. 22 (1) (2013)
Yan Liu
Formal Modelling and Verification of Pervasive Computing Systems. FSFMA (2013)
Aung Aung Phyo Wai, Jinhong Kenneth Lin, Alwyn Vwen Yen Lee, Clifton Phua, Thibaut Tiberghien, Hamdi Aloulou, Yan Liu, Xian Zhang, Jit Biswas, Philip Lin Kiat Yap
Challenges, Experiences and Lessons Learned from Deploying Patient Monitoring and Assistance System at Dementia Care Hostel. ICOST (2013)
Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu
Improved BDD-Based Discrete Analysis of Timed Systems. FM (2012)
Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, Mounir Mokhtari
Formal Analysis of Pervasive Computing Systems. ICECCS (2012)
Vwen Yen Lee, Yan Liu, Xian Zhang, Clifton Phua, Kelvin Sim, Jiaqi Zhu, Jit Biswas, Jin Song Dong, Mounir Mokhtari
ACARP: Auto Correct Activity Recognition Rules Using Process Analysis Toolkit (PAT). ICOST (2012)
Ling Shi, Yan Liu
Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol. SSIRI (Companion) (2010)
Hongbing Wang, Chen Wang, Yan Liu
A Logic-Based Approach to Web Services Composition and Verification. SERVICES II (2009)