Jin Song Dong

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Ping Hao

> Home > Persons > Jin Song Dong

Publications

2008
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/DongHQSY08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/DongHQSY08
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi:
Timed Automata Patterns. IEEE Trans. Software Eng. 34(6): 844-859 (2008)
2006
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/DongHSZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/DongHSZ06
Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang:
A Reasoning Method for Timed CSP Based on Constraint Solving. ICFEM 2006: 342-359
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DongHZQ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DongHZQ06
Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin:
HighSpec: a tool for building and checking OZTA models. ICSE 2006: 775-778
2005
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/DongHM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/DongHM05
Jin Song Dong, Ping Hao, Brendan P. Mahony:
Formal Designs for Embedded and Hybrid Systems. Int. J. Softw. Eng. Knowl. Eng. 15(2): 373-378 (2005)
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/DongDH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/DongDH05
Jin Song Dong, Roger Duke, Ping Hao:
Integrating Object-Z with Timed Automata. ICECCS 2005: 488-497
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/DongHQZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/DongHQZ05
Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang:
The Semantics and Tool Support of OZTA. ICFEM 2005: 66-80
2004
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/DongHQSY04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/DongHQSY04
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi:
Timed Patterns: TCOZ to Timed Automata. ICFEM 2004: 483-498

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.