Yan Liu
Title
Cited by
Cited by
Year
Modeling and verifying hierarchical real-time systems using stateful timed CSP
J Sun, Y Liu, JS Dong, Y Liu, L Shi, É André
ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (1), 1-29, 2013
822013
Improved BDD-based discrete analysis of timed systems
TK Nguyen, J Sun, Y Liu, JS Dong, Y Liu
International Symposium on Formal Methods, 326-340, 2012
192012
Formal analysis of pervasive computing systems
Y Liu, X Zhang, JS Dong, Y Liu, J Sun, J Biswas, M Mokhtari
2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012
172012
ACARP: auto correct activity recognition rules using process analysis toolkit (PAT)
VY Lee, Y Liu, X Zhang, C Phua, K Sim, J Zhu, J Biswas, JS Dong, ...
International Conference on Smart Homes and Health Telematics, 182-189, 2012
102012
Smart maintenance via dynamic fault tree analysis: A case study on Singapore MRT system
Y Liu, Y Wu, Z Kalbarczyk
2017 47th Annual IEEE/IFIP International Conference on Dependable Systems …, 2017
92017
MDP-based reliability analysis of an ambient assisted living system
Y Liu, L Gui, Y Liu
International Symposium on Formal Methods, 688-702, 2014
92014
Modeling and verification of transmission protocols: A case study on CSMA/CD protocol
L Shi, Y Liu
2010 Fourth International Conference on Secure Software Integration and …, 2010
82010
A Logic-Based Approach to Web Services Composition and Verification
H Wang, C Wang, Y Liu
2009 World Conference on Services-II, 103-110, 2009
72009
Towards formal modelling and verification of pervasive computing systems
Y Liu, X Zhang, Y Liu, JS Dong, J Sun, J Biswas, M Mokhtari
Transactions on Computational Collective Intelligence XVI, 62-91, 2014
42014
Applying Model Checking to Pervasive Computing Systems
LIU YAN
12014
Formal Modelling and Verification of Pervasive Computing Systems
Y Liu
1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013), 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–11