×

zbMATH — the first resource for mathematics

Dong, JinSong

Compute Distance To:
Author ID: dong.jinsong Recent zbMATH articles by "Dong, JinSong"
Published as: Dong, J.; Dong, Jin Song; Dong, Jin-Song; Dong, JinSong; Dong, Jinsong
Documents Indexed: 38 Publications since 1997, including 3 Books

Publications by Year

Citations contained in zbMATH

17 Publications have been cited 28 times in 27 Documents Cited by Year
Deep semantic links of TCSP and Object-Z: TCOZ approach. Zbl 1063.68603
Mahony, Brendan; Dong, Jin Song
5
2002
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Zbl 1398.68373
Shi, Ling; Zhao, Yongxin; Liu, Yang; Sun, Jun; Dong, Jin Song; Qin, Shengchao
3
2018
Towards verification of computation orchestration. Zbl 1342.68209
Dong, Jin Song; Liu, Yang; Sun, Jun; Zhang, Xian
3
2014
A formal framework for modeling and validating simulink diagrams. Zbl 1192.68438
Chen, Chunqing; Dong, Jin Song; Sun, Jun
3
2009
Synthesis of distributed processes from scenario-based specifications. Zbl 1120.68422
Sun, Jun; Dong, Jin Song
2
2005
Model checking approach to automated planning. Zbl 1291.68263
Li, Yi; Dong, Jin Song; Sun, Jing; Liu, Yang; Sun, Jun
1
2014
Complexity of the soundness problem of workflow nets. Zbl 1286.90079
Liu, GuanJun; Sun, Jun; Liu, Yang; Dong, JinSong
1
2014
State space reduction for sensor networks using two-level partial order reduction. Zbl 1426.68026
Zheng, Manchun; Sanán, David; Sun, Jun; Liu, Yang; Dong, Jin Song; Gu, Yu
1
2013
SeVe: automatic tool for verification of security protocols. Zbl 1251.68142
Luu, Anh Tuan; Sun, Jun; Liu, Yang; Dong, Jin Song
1
2012
Improved BDD-based discrete analysis of timed systems. Zbl 1372.68175
Nguyen, Truong Khanh; Sun, Jun; Liu, Yang; Dong, Jin Song; Liu, Yan
1
2012
An efficient algorithm for learning event-recording automata. Zbl 1348.68077
Lin, Shang-Wei; André, Étienne; Dong, Jin Song; Sun, Jun; Liu, Yang
1
2011
Semantic web languages – towards an institutional perspective. Zbl 1132.68757
Lucanu, Dorel; Li, Yuan Fang; Dong, Jin Song
1
2006
Reasoning support for semantic web ontology family languages using Alloy. Zbl 1117.68009
Wang, Hai H.; Dong, Jin Song; Sun, Jing; Sun, Jun
1
2006
ZML: XML support for standard Z. Zbl 1028.68507
Utting, Mark; Toyn, Ian; Sun, Jing; Martin, Andrew; Dong, Jin Song; Daley, Nicholas; Currie, David
1
2003
A formal object approach to the design of ZML. Zbl 1012.68573
Sun, Jing; Dong, Jin Song; Liu, Jing; Wang, Hai
1
2002
Overview of the semantics of TCOZ. Zbl 0963.68118
Mahony, Brendan; Dong, Jin Song
1
1999
Features extraction with the consideration of manufacturing processes. Zbl 0945.90587
Dong, J.; Vijayan, S.
1
1997
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Zbl 1398.68373
Shi, Ling; Zhao, Yongxin; Liu, Yang; Sun, Jun; Dong, Jin Song; Qin, Shengchao
3
2018
Towards verification of computation orchestration. Zbl 1342.68209
Dong, Jin Song; Liu, Yang; Sun, Jun; Zhang, Xian
3
2014
Model checking approach to automated planning. Zbl 1291.68263
Li, Yi; Dong, Jin Song; Sun, Jing; Liu, Yang; Sun, Jun
1
2014
Complexity of the soundness problem of workflow nets. Zbl 1286.90079
Liu, GuanJun; Sun, Jun; Liu, Yang; Dong, JinSong
1
2014
State space reduction for sensor networks using two-level partial order reduction. Zbl 1426.68026
Zheng, Manchun; Sanán, David; Sun, Jun; Liu, Yang; Dong, Jin Song; Gu, Yu
1
2013
SeVe: automatic tool for verification of security protocols. Zbl 1251.68142
Luu, Anh Tuan; Sun, Jun; Liu, Yang; Dong, Jin Song
1
2012
Improved BDD-based discrete analysis of timed systems. Zbl 1372.68175
Nguyen, Truong Khanh; Sun, Jun; Liu, Yang; Dong, Jin Song; Liu, Yan
1
2012
An efficient algorithm for learning event-recording automata. Zbl 1348.68077
Lin, Shang-Wei; André, Étienne; Dong, Jin Song; Sun, Jun; Liu, Yang
1
2011
A formal framework for modeling and validating simulink diagrams. Zbl 1192.68438
Chen, Chunqing; Dong, Jin Song; Sun, Jun
3
2009
Semantic web languages – towards an institutional perspective. Zbl 1132.68757
Lucanu, Dorel; Li, Yuan Fang; Dong, Jin Song
1
2006
Reasoning support for semantic web ontology family languages using Alloy. Zbl 1117.68009
Wang, Hai H.; Dong, Jin Song; Sun, Jing; Sun, Jun
1
2006
Synthesis of distributed processes from scenario-based specifications. Zbl 1120.68422
Sun, Jun; Dong, Jin Song
2
2005
ZML: XML support for standard Z. Zbl 1028.68507
Utting, Mark; Toyn, Ian; Sun, Jing; Martin, Andrew; Dong, Jin Song; Daley, Nicholas; Currie, David
1
2003
Deep semantic links of TCSP and Object-Z: TCOZ approach. Zbl 1063.68603
Mahony, Brendan; Dong, Jin Song
5
2002
A formal object approach to the design of ZML. Zbl 1012.68573
Sun, Jing; Dong, Jin Song; Liu, Jing; Wang, Hai
1
2002
Overview of the semantics of TCOZ. Zbl 0963.68118
Mahony, Brendan; Dong, Jin Song
1
1999
Features extraction with the consideration of manufacturing processes. Zbl 0945.90587
Dong, J.; Vijayan, S.
1
1997

Citations by Year