| 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 | 98 | 2013 |
| Improved BDD-based discrete analysis of timed systems TK Nguyen, J Sun, Y Liu, JS Dong, Y Liu FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 24 | 2012 |
| 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 | 19 | 2012 |
| 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 | 18 | 2017 |
| 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, ... Impact Analysis of Solutions for Chronic Disease Prevention and Management …, 2012 | 13 | 2012 |
| MDP-based reliability analysis of an ambient assisted living system Y Liu, L Gui, Y Liu FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 12 | 2014 |
| Scrutinizing implementations of smart home integrations K Mahadewa, K Wang, G Bai, L Shi, Y Liu, JS Dong, Z Liang IEEE Transactions on Software Engineering 47 (12), 2667-2683, 2019 | 9 | 2019 |
| 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 | 8 | 2010 |
| 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 | 7 | 2009 |
| 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 | 4 | 2014 |
| Applying Model Checking to Pervasive Computing Systems LIU YAN | 2 | 2014 |
| Formal Modelling and Verification of Pervasive Computing Systems Y Liu 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013), 2013 | | 2013 |
Jin Song DongProfessor of Computer Science, National University of SingaporeVerified email at nus.edu.sg
