Yan Liu

14 papers B 3C 2Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
TraceAegis: Securing LLM-Based Agents via Hierarchical and Behavioral Anomaly Detection.
CoRR
Jiahao Liu, Bonan Ruan, Xianglin Yang, Zhiwei Lin, Yan Liu, Yang Wang, Tao Wei, Zhenkai Liang
2024 J jnl
CC2Vec: Combining Typed Tokens with Contrastive Learning for Effective Code Clone Detection.
CoRR
Shihan Dou, Yueming Wu, Haoxiang Jia, Yuhao Zhou, Yan Liu, Yang Liu
2024 J jnl
CC2Vec: Combining Typed Tokens with Contrastive Learning for Effective Code Clone Detection.
Proc. ACM Softw. Eng.
Shihan Dou, Yueming Wu, Haoxiang Jia, Yuhao Zhou, Yan Liu, Yang Liu
2021 J jnl
Scrutinizing Implementations of Smart Home Integrations.
IEEE Trans. Software Eng.
Kulani Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Yan Liu, Jin Song Dong, Zhenkai Liang
2014 B conf
MDP-Based Reliability Analysis of an Ambient Assisted Living System.
FM
Yan Liu, Lin Gui, Yang Liu
2014 J jnl
Towards Formal Modelling and Verification of Pervasive Computing Systems.
Trans. Comput. Collect. Intell.
Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari
2013 C conf
Challenges, Experiences and Lessons Learned from Deploying Patient Monitoring and Assistance System at Dementia Care Hostel.
ICOST
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
2013 — conf
Formal Modelling and Verification of Pervasive Computing Systems.
FSFMA
Yan Liu
2013 J jnl
Modeling and verifying hierarchical real-time systems using stateful timed CSP.
ACM Trans. Softw. Eng. Methodol.
Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Étienne André
2012 C conf
ACARP: Auto Correct Activity Recognition Rules Using Process Analysis Toolkit (PAT).
ICOST
Vwen Yen Lee, Yan Liu, Xian Zhang, Clifton Phua, Kelvin Sim, Jiaqi Zhu, Jit Biswas, Jin Song Dong, Mounir Mokhtari
2012 B conf
Formal Analysis of Pervasive Computing Systems.
ICECCS
Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, Mounir Mokhtari
2012 B conf
Improved BDD-Based Discrete Analysis of Timed Systems.
FM
Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu
2010 — conf
Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol.
SSIRI (Companion)
Ling Shi, Yan Liu
2009 — conf
A Logic-Based Approach to Web Services Composition and Verification.
SERVICES II
HongBing Wang, Chen Wang, Yan Liu