Xian Zhang

12 papers A* 1B 1C 7Journal 2Unranked 1
YearRankTypeTitle / Venue / Authors
2014 J jnl
Towards Formal Modelling and Verification of Pervasive Computing Systems.
Trans. Comput. Collect. Intell.
Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari
2014 J jnl
Towards verification of computation orchestration.
Formal Aspects Comput.
Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang
2013 C conf
Challenges, Experiences and Lessons Learned from Deploying Patient Monitoring and Assistance System at Dementia Care Hostel.
ICOST
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
2012 C conf
ACARP: Auto Correct Activity Recognition Rules Using Process Analysis Toolkit (PAT).
ICOST
Vwen Yen Lee, Yan Liu, Xian Zhang, Clifton Phua, Kelvin Sim, Jiaqi Zhu, Jit Biswas, Jin Song Dong, Mounir Mokhtari
2012 B conf
Formal Analysis of Pervasive Computing Systems.
ICECCS
Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, Mounir Mokhtari
2010 — conf
Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP.
SSIRI
Xian Zhang, Yang Liu, Mikhail Auguston
2009 C conf
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction.
ICFEM
Jun Sun, Yang Liu, Jin Song Dong, Xian Zhang
2008 C conf
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.
ICFEM
Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang
2006 C conf
A Reasoning Method for Timed CSP Based on Constraint Solving.
ICFEM
Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang
2006 A* conf
HighSpec: a tool for building and checking OZTA models.
ICSE
Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin
2006 C conf
Verification of Computation Orchestration Via Timed Automata.
ICFEM
Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang
2005 C conf
The Semantics and Tool Support of OZTA.
ICFEM
Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang