Tianhua Xu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2007–2025
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SmartComp | Large Language Model Based Roundabout Dataset Augmentation for Trajectory Prediction. | Xiaotong Zhou, Zhenhui Yuan, Yi Han, Tianhua Xu, Jaiwei Wang |
| 2012 | ISORC | Functional Safety Analysis Method for CTCS Level 3 Based on Hybrid Automata. | Jintao Liu, Tao Tang, Lin Zhao, Tianhua Xu, Wei Zheng |
| 2012 | ISORC | Component Based Design of Fault Tolerant Devices in Cyber Physical System. | Tianhua Xu, Zhiming Liu, Tao Tang, Wei Zheng, Lin Zhao |
| 2011 | ISADS | Safety Monitoring for ETCS with 4-valued LTL. | Xian Li, Ming Chai, Lin Zhao, Tao Tang, Tianhua Xu |
| 2011 | ISADS | Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic. | Yupeng Liu, Tao Tang, Jintao Liu, Lin Zhao, Tianhua Xu |
| 2010 | TASE | Runtime Verification with Multi-valued Formula Rewriting. | Lin Zhao, Tao Tang, Jinzhao Wu, Tianhua Xu |
| 2007 | ISADS | The modeling and Analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) with Colored Petri Nets. | Tianhua Xu, Tao Tang |