Yan Liu

According to our database, Yan Liu authored at least 11 papers between 2009 and 2021.

Collaborative distances:

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

2021

Scrutinizing Implementations of Smart Home Integrations.

Kulani Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Yan Liu, Jin Song Dong, Zhenkai Liang

IEEE Trans. Software Eng., 2021

2014

Towards Formal Modelling and Verification of Pervasive Computing Systems.

Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari

Trans. Comput. Collect. Intell., 2014

MDP-Based Reliability Analysis of an Ambient Assisted Living System.

Yan Liu, Lin Gui, Yang Liu

Proceedings of the FM 2014: Formal Methods, 2014

2013

Modeling and verifying hierarchical real-time systems using stateful timed CSP.

Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Étienne André

ACM Trans. Softw. Eng. Methodol., 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, Xian Zhang, Jit Biswas, Philip Lin Kiat Yap

Proceedings of the Inclusive Society: Health and Wellbeing in the Community, and Care at Home, 2013

Formal Modelling and Verification of Pervasive Computing Systems.

Yan Liu

Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications, 2013

2012

ACARP: Auto Correct Activity Recognition Rules Using Process Analysis Toolkit (PAT).

Vwen Yen Lee, Yan Liu, Xian Zhang, Clifton Phua, Kelvin Sim, Jiaqi Zhu, Jit Biswas, Jin Song Dong, Mounir Mokhtari

Proceedings of the Impact Analysis of Solutions for Chronic Disease Prevention and Management, 2012

Formal Analysis of Pervasive Computing Systems.

Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, Mounir Mokhtari

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Improved BDD-Based Discrete Analysis of Timed Systems.

Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu

Proceedings of the FM 2012: Formal Methods, 2012

2010

Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol.

Ling Shi, Yan Liu

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

2009

A Logic-Based Approach to Web Services Composition and Verification.

Hongbing Wang, Chen Wang, Yan Liu

Proceedings of the 2009 IEEE World Congress on Services, Part II, 2009