| |
| 2007 | ||
|---|---|---|
| 4 | EE | Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng: Improvements for the Symbolic Verification of Timed Automata. FORTE 2007: 196-210 |
| 2005 | ||
| 3 | EE | Rongjie Yan, Guangyuan Li, Zhisong Tang: Symbolic Model Checking of Finite Precision Timed Automata. ICTAC 2005: 272-287 |
| 2003 | ||
| 2 | EE | Guangyuan Li, Zhisong Tang: Translating a Continuous-Time Temporal Logic into Timed Automata. APLAS 2003: 322-338 |
| 2002 | ||
| 1 | EE | Guangyuan Li, Zhisong Tang: Modelling Real-Time Systems with Continuous-Time Temporal Logic. ICFEM 2002: 231-236 |
| 1 | Yunquan Peng | [4] |
| 2 | Zhisong Tang | [1] [2] [3] |
| 3 | Rongjie Yan | [3] [4] |
| 4 | Wenliang Zhang | [4] |