Skip navigation
IVLE
Email
Library
Map
Calendar
Home
Research Outputs
View research outputs
Deposit publication / dataset
Researchers
Help
FAQs
Contact us
Guidelines
Log in
ScholarBank@NUS
Research Outputs
Browsing by Author
DONG JIN SONG
Enter a last name
Select a letter below to browse by last name or type
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Or
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Showing results 109 to 127 of 127
< previous
Refman
EndNote
Bibtex
RefWorks
Excel
CSV
PDF
Send via email
Issue Date
Title
Author(s)
2005
TCOZ approach to OWL-s process model design
Wang, H.
;
Sun, J.
;
Dong, J.S.
;
Li, Y.F.
2004
TCOZ approach to semantic web services design
Dong, J.S.
;
Li, Y.F.
;
Wang, H.
2005
The semantics and tool support of OZTA
Dong, J.S.
;
Hao, P.
;
Qin, S.
;
Zhang, X.
2002
The semantics of extended SOFL
Dong, J.S.
;
Liu, S.
2008
Timed automata patterns
Dong, J.S.
;
Hao, P.
;
Qin, S.
;
Sun, J.
;
Yi, W.
2004
Timed patterns: TCOZ to timed automata
Dong, J.S.
;
Hao, P.
;
Qin, S.C.
;
Sun, J.
;
Yi, W.
2011
Towards a model checker for NesC and wireless sensor networks
Zheng, M.
;
Sun, J.
;
Liu, Y.
;
Dong, J.S.
;
Gu, Y.
2009
Towards expressive specification and efficient model checking
Jin, S.D.
;
Sun, J.
2013
Towards formal modeling and verification of cloud architectures: A case study on hadoop
Reddy, G.S.
;
Feng, Y.
;
Liu, Y.
;
Dong, J.S.
;
Jun, S.
;
Kanagasabai, R.
2012
Translating PDDL into CSP# - The PAT Approach
Li, Y.
;
Sun, J.
;
Dong, J.S.
;
Liu, Y.
;
Sun, J.
2012
Using monterey phoenix to formalize and verify system architectures
Zhang, J.
;
Liu, Y.
;
Auguston, M.
;
Sun, J.
;
Dong, J.S.
2013
USMMC: A self-contained model checker for UML state machines
Liu, S.
;
Liu, Y.
;
Sun, J.
;
Zheng, M.
;
Wadhwa, B.
;
Dong, J.S.
2006
Verification of computation Orchestration via timed automata
Dong, J.S.
;
Liu, Y.
;
Sun, J.
;
Zhang, X.
2011
Verification of orchestration systems using compositional partial order reduction
Tan, T.H.
;
Liu, Y.
;
Sun, J.
;
Dong, J.S.
2004
Verifying DAML+OIL and beyond in Z/EVES
Dong, J.S.
;
Lee, C.H.
;
Li, Y.F.
;
Wang, H.
2013
Verifying linearizability via optimized refinement checking
Liu, Y.
;
Chen, W.
;
Liu, Y.A.
;
Sun, J.
;
Zhang, S.J.
;
Dong, J.S.
2005
Verifying OWL and ORL ontologies in PVS
Dong, J.S.
;
Feng, Y.
;
Li, Y.F.
2009
Verifying stateful timed CSP using implicit clocks and zone abstraction
Sun, J.
;
Liu, Y.
;
Dong, J.S.
;
Zhang, X.
2003
ZML: XML support for standard Z
Utting, M.
;
Toyn, I.
;
Sun, J.
;
Martin, A.
;
Dong, J.S.
;
Daley, N.
;
Currie, D.