Ping Hao (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

10 Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Automata Patterns. IEEE Trans. Software Eng. 34(6): 844-859 (2008)

9 Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang: A Reasoning Method for Timed CSP Based on Constraint Solving. ICFEM 2006: 342-359

8 Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin: HighSpec: a tool for building and checking OZTA models. ICSE 2006: 775-778

7 Jin Song Dong, Roger Duke, Ping Hao: Integrating Object-Z with Timed Automata. ICECCS 2005: 488-497

6 Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang: The Semantics and Tool Support of OZTA. ICFEM 2005: 66-80

5 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)

3 Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Patterns: TCOZ to Timed Automata. ICFEM 2004: 483-498

Selection of 7 from 10 records - Ping Hao has 29 coauthors

10		Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Automata Patterns. IEEE Trans. Software Eng. 34(6): 844-859 (2008)
9		Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang: A Reasoning Method for Timed CSP Based on Constraint Solving. ICFEM 2006: 342-359
8		Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin: HighSpec: a tool for building and checking OZTA models. ICSE 2006: 775-778
7		Jin Song Dong, Roger Duke, Ping Hao: Integrating Object-Z with Timed Automata. ICECCS 2005: 488-497
6		Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang: The Semantics and Tool Support of OZTA. ICFEM 2005: 66-80
5		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)
3		Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Patterns: TCOZ to Timed Automata. ICFEM 2004: 483-498