A Logic-Based Approach to Web Services Composition and Verification. - Hongbing Wang; Chen Wang; Yan Liu 012 (SERVICES II, 2009)

Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol. - Ling Shi 002; Yan Liu 012 (SSIRI (Companion), 2010)

Improved BDD-Based Discrete Analysis of Timed Systems. - Truong Khanh Nguyen; Jun Sun 001; Yang Liu 003; Jin Song Dong; Yan Liu 012 (FM, 2012)

Formal Analysis of Pervasive Computing Systems. - Yan Liu 012; Xian Zhang 007; Jin Song Dong; Yang Liu 003; Jun Sun 001; Jit Biswas; Mounir Mokhtari (ICECCS, 2012)

ACARP: Auto Correct Activity Recognition Rules Using Process Analysis Toolkit (PAT). - Vwen Yen Lee; Yan Liu 012; Xian Zhang 007; Clifton Phua; Kelvin Sim; Jiaqi Zhu; Jit Biswas; Jin Song Dong; Mounir Mokhtari (ICOST, 2012)

Formal Modelling and Verification of Pervasive Computing Systems. - Yan Liu 012 (FSFMA, 2013)

Challenges, Experiences and Lessons Learned from Deploying Patient Monitoring and Assistance System at Dementia Care Hostel. - Aung Aung Phyo Wai; Jinhong Kenneth Lin; Alwyn Vwen Yen Lee; Clifton Phua; Thibaut Tiberghien; Hamdi Aloulou; Yan Liu 012; Xian Zhang 007; Jit Biswas; Philip Lin Kiat Yap (ICOST, 2013)

Modeling and verifying hierarchical real-time systems using stateful timed CSP. - Jun Sun 001; Yang Liu 003; Jin Song Dong; Yan Liu 012; Ling Shi 002; Étienne André (ACM Trans. Softw. Eng. Methodol., 2013)

MDP-Based Reliability Analysis of an Ambient Assisted Living System. - Yan Liu 012; Lin Gui 002; Yang Liu 003 (FM, 2014)

Towards Formal Modelling and Verification of Pervasive Computing Systems. - Yan Liu 012; Xian Zhang 007; Yang Liu 003; Jin Song Dong; Jun Sun 001; Jit Biswas; Mounir Mokhtari (Trans. Comput. Collect. Intell., 2014)

Scrutinizing Implementations of Smart Home Integrations. - Kulani Mahadewa; Kailong Wang 001; Guangdong Bai; Ling Shi 002; Yan Liu 012; Jin Song Dong 001; Zhenkai Liang (IEEE Trans. Software Eng., 2021)

CC2Vec: Combining Typed Tokens with Contrastive Learning for Effective Code Clone Detection. - Shihan Dou; Yueming Wu 001; Haoxiang Jia; Yuhao Zhou; Yan Liu 012; Yang Liu 003 (Proc. ACM Softw. Eng., 2024)