Yan Liu

Personal Interest

Formal methods, Security of blockchain applications, Program languages.

Education

• Doctor of Philosophy (Ph.D.), NATIONAL UNIVERSITY OF SINGAPORE – Singapore, 2009-2014
  Thesis title: Applying Model Checking to Pervasive Computing Systems


• Bachelor of Engineering in Computer Science and Engineering, SOUTHEAST UNIVERSITY – Nanjing, P.R. China, 2005-2009
  Thesis title: Web Service Selection Based on Qualitative Preference Theories

Units Tutored or Lectured

• FIT5171 System validation and verification, quality and standards


• FIT3013 Formal specification for software engineering, 2018 Semester 2, Monash University


• FIT2102 Programming paradigms, 2018 Semester 2, Monash University

Publications -- Google Scholar Profile, DBLP

Journal Papers:

• K. Mahadewa, K. Wang, G. Bai, L. Shi, Y. Liu, J. S. Dong and Z. Liang, Scrutinizing Implementations of Smart Home Integrations,
  Transactions on Software Engineering (TSE), 2019.


• Y. Liu, X. Zhang, Y. Liu, J. Sun, J. S. Dong, J. Biswas and M. Mokhtari, Towards Formal Modelling and Verification of Pervasive Computing Systems,
  LNCS Transactions on Computational Collective Intelligence (TCCI), pp62-91. 2014.


• J. Sun, Y. Liu, J. S. Dong, Y. Liu, L. Shi and E. Andre, Modeling and Verifying Hierarchical Real-time Systems using Stateful Timed CSP,
  ACM Transactions on Software Engineering and Methodology (TOSEM), v22-1, pp3:1-3:29. 2013.

Conference Papers:

• Y. Liu, Y. Wu, Z. Kalbarczyk, Smart Maintenance via Dynamic Fault Tree Analysis: A Case Study on Singapore MRT System,
  47th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 17), pp511-518.


• Y. Liu, L. Gui, Y. Liu, MDP-based Reliability Analysis of an Ambient Assisted Living System,
  19th International Symposium on Formal Methods (FM 14), pp688-702.


• T. K. Nguyen, J. Sun, Y. Liu, J. S. Dong and Y. Liu, Improved BDD-based Discrete Analysis of Timed Systems,
  The 18th International Symposium on Formal Methods (FM 12), pp326-340.


• Y. Liu, X. Zhang, Y. Liu, J. Sun, J. S. Dong, J. Biswas and M. Mokhtari, Formal Analysis of Pervasive Computing Systems,
  The 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 12), pp169-178. Selected best paper.


• V. Y. Lee, Y. Liu, X. Zhang, C. Phua, K. Sim, J. Zhu, J. Biswas, J. S. Dong, M. Mokhtari, ACARP: Auto Correct Activity Recognition Rules using Process Analysis Toolkit (PAT),
  10th International Conference on Smart homes and Health Telematics (ICOST 12), pp182-189.


• L. Shi and Y. Liu, Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol,
  The 1st International Workshop on Model Checking Secure and Reliable Systems (MoCSeRS 10), pp 143-149.


• Hongbing Wang, Chen Wang, Yan Liu, A Logic-Based Approach to Web Services Composition and Verification,
  IEEE World Congress on Services, Part II (SERVICES II 2009), Bangalore, India, September 21-25, 2009.