Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Tianhua Xu
2010 – today
- 2013
[j1]Haifeng Wang, Felix Schmid, Lei Chen, Clive Roberts, Tianhua Xu: A Topology-Based Model for Railway Train Control Systems. IEEE Transactions on Intelligent Transportation Systems 14(2): 819-827 (2013)- 2012
- [c7]Jintao Liu, Tao Tang, Lin Zhao, Tianhua Xu, Wei Zheng: Functional Safety Analysis Method for CTCS Level 3 Based on Hybrid Automata. ISORC Workshops 2012: 7-12
- [c6]Tianhua Xu, Zhiming Liu, Tao Tang, Wei Zheng, Lin Zhao: Component Based Design of Fault Tolerant Devices in Cyber Physical System. ISORC Workshops 2012: 37-42
- 2011
- [c5]Yupeng Liu, Tao Tang, Jintao Liu, Lin Zhao, Tianhua Xu: Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic. ISADS 2011: 67-72
- [c4]Xian Li, Ming Chai, Lin Zhao, Tao Tang, Tianhua Xu: Safety Monitoring for ETCS with 4-valued LTL. ISADS 2011: 86-91
- [c3]Yan Cao, Qiuzi Lu, Tianhua Xu, Tao Tang, Haifeng Wang, Yongcheng Xu: Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems. SSIRI (Companion) 2011: 136-143
- 2010
- [c2]Lin Zhao, Tao Tang, Jinzhao Wu, Tianhua Xu: Runtime Verification with Multi-valued Formula Rewriting. TASE 2010: 77-86
2000 – 2009
- 2007
- [c1]Tianhua Xu, Tao Tang: The modeling and Analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) with Colored Petri Nets. ISADS 2007: 83-92
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-01 22:19 CEST by the dblp team