Xian Zhang

According to our database, Xian Zhang authored at least 12 papers between 2005 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Towards Formal Modelling and Verification of Pervasive Computing Systems.

Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari

Trans. Comput. Collect. Intell., 2014

Towards verification of computation orchestration.

Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang

Formal Aspects Comput., 2014

2013

Challenges, Experiences and Lessons Learned from Deploying Patient Monitoring and Assistance System at Dementia Care Hostel.

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

Proceedings of the Inclusive Society: Health and Wellbeing in the Community, and Care at Home, 2013

2012

ACARP: Auto Correct Activity Recognition Rules Using Process Analysis Toolkit (PAT).

Vwen Yen Lee, Yan Liu, Xian Zhang, Clifton Phua, Kelvin Sim, Jiaqi Zhu, Jit Biswas, Jin Song Dong, Mounir Mokhtari

Proceedings of the Impact Analysis of Solutions for Chronic Disease Prevention and Management, 2012

Formal Analysis of Pervasive Computing Systems.

Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, Mounir Mokhtari

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2010

Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP.

Xian Zhang, Yang Liu, Mikhail Auguston

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

2009

Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction.

Jun Sun, Yang Liu, Jin Song Dong, Xian Zhang

Proceedings of the Formal Methods and Software Engineering, 2009

2008

Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.

Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang

Proceedings of the Formal Methods and Software Engineering, 2008

2006

HighSpec: a tool for building and checking OZTA models.

Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Verification of Computation Orchestration Via Timed Automata.

Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang

Proceedings of the Formal Methods and Software Engineering, 2006

A Reasoning Method for Timed CSP Based on Constraint Solving.

Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang

Proceedings of the Formal Methods and Software Engineering, 2006

2005

The Semantics and Tool Support of OZTA.

Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang

Proceedings of the Formal Methods and Software Engineering, 2005