LIU, Yan (刘燕)

Post-doc, Research Fellow.
Programming Languages and Software Engineering Research Lab 1 (COM2-109)
School of Computing,
National University of Singapore
Computing 1
13 Computing Drive, Singapore 117417

E-mail: yanliu AT (Preferred)
Tel: (65) 6516 2834


  1. Applying model checking techniques in Pervasive Computing Application, systems for healthcare;
    i. Correctness Analysis towards system design;
    ii. Reliability Analysis towards service delivery;
  2. Rules verification;
  3. Model checking real time systems;

Education and Work Experience

Starting from October 2014, I am holding a Research Fellow position in Department of Computer Science, SOC-NUS. Find me in LinkedIn and

Professional Activities


I am publishing all the resources (report, experiment data etc.) on my page for paper download.

Journal Articles
  1. Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari,
    Towards Formal Modelling and Verification of Pervasive Computing Systems. Bib
    Transactions on Computational Collective Intelligence XVI, pp62-91, 2014.

  2. Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi and Etienne Andre,
    Modeling and Verifying Hierarchical Real-time Systems using Stateful Timed CSP. Bib
    ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 22-1, Artical No. 3, 2013.
Refereed Conference Papers
  1. Yan Liu, Lin Gui, Yang Liu.
    MDP-based Reliability Analysis of an Ambient Assisted Living System. Bib
    19th International Symposium of Formal Methods (FM 2014), Singapore, May 12-16, 2014.(Accepted in Industry Track) Link to experiment data.
  2. Yan Liu.
    Formal Modelling and Verification of Pervasive Computing Systems. Bib
    1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013), Singapore, July 15 - 16, 2013.
  3. Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong and Yan Liu.
    Improved BDD-based Discrete Analysis of Timed Systems. Bib
    The 18th International Symposium on Formal Methods (FM 2012), Paris, France, Auguest 27 - 31, 2012.
  4. Yan Liu, Xian Zhang, Yang Liu, Jun Sun, Jin Song Dong, Jit Biswas and Mounir Mokhtari.
    Formal Analysis of Pervasive Computing Systems. Bib, Slides Selected Best Paper
    The 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012), Paris, France, July 18 - 20, 2012.
  5. Vwen Yen Lee, Yan Liu, Xian Zhang, Clifton Phua, Kelvin Sim, Jiaqi Zhu, Jit Biswas, Jin Song Dong, Mounir Mokhtari.
    ACARP: Auto Correct Activity Recognition Rules using Process Analysis Toolkit (PAT). Bib
    10th International Conference on Smart homes and Health Telematics (ICOST 2012), pages 182-189, Artimino, Italy, June 12 - 15, 2012.
  6. Ling Shi and Yan Liu.
    Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol. Bib, Slides
    The 1st International Workshop on Model Checking Secure and Reliable Systems (MoCSeRS 2010). pages 143-149, Singapore, June, 2010.


Related Conferences Calendar

Last Updated: March 31st, 2015