| 2008 |
|---|
| 10 | EE | Jin Song Dong,
Ping Hao,
Shengchao Qin,
Jun Sun,
Wang Yi:
Timed Automata Patterns.
IEEE Trans. Software Eng. 34(6): 844-859 (2008) |
| 2006 |
|---|
| 9 | EE | Jin Song Dong,
Ping Hao,
Jun Sun,
Xian Zhang:
A Reasoning Method for Timed CSP Based on Constraint Solving.
ICFEM 2006: 342-359 |
| 8 | EE | Jin Song Dong,
Ping Hao,
Xian Zhang,
Shengchao Qin:
HighSpec: a tool for building and checking OZTA models.
ICSE 2006: 775-778 |
| 2005 |
|---|
| 7 | EE | Jin Song Dong,
Roger Duke,
Ping Hao:
Integrating Object-Z with Timed Automata.
ICECCS 2005: 488-497 |
| 6 | EE | Jin Song Dong,
Ping Hao,
Shengchao Qin,
Xian Zhang:
The Semantics and Tool Support of OZTA.
ICFEM 2005: 66-80 |
| 5 | EE | Jin Song Dong,
Ping Hao,
Brendan P. Mahony:
Formal Designs for Embedded and Hybrid Systems.
International Journal of Software Engineering and Knowledge Engineering 15(2): 373-378 (2005) |
| 2004 |
|---|
| 4 | EE | Ana Simonet,
Michel Simonet,
Cyr Gabin Bassolet,
Sylvain Ferriol,
Cédric Gueydan,
Rémi Patriarche,
Haijin Yu,
Ping Hao,
Yi Liu,
Wen Zhang,
Nan Chen,
Michel Forêt,
Philippe Gaudin,
Georges De Moor,
Geert Thienpont,
Mohamed Ben Saïd,
Paul Landais,
Didier Guillon:
GENNERE: A Generic Epidemiological Network for Nephrology and Rheumatology.
ER 2004: 862-864 |
| 3 | EE | Jin Song Dong,
Ping Hao,
Shengchao Qin,
Jun Sun,
Wang Yi:
Timed Patterns: TCOZ to Timed Automata.
ICFEM 2004: 483-498 |
| 2 | EE | Ping Hao,
Dongming Guo,
Renke Kang:
A Neural Network Approach for Indirect Shape from Shading.
ISNN (2) 2004: 737-742 |
| 2003 |
|---|
| 1 | EE | Ruonan Rao,
Xu Cai,
Ping Hao,
Jinyuan You:
A Reliable Grid Messaging Service Based on JMS.
GCC (2) 2003: 207-210 |
