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 120 to 128 of 128
< previous
Refman
EndNote
Bibtex
RefWorks
Excel
CSV
PDF
Send via email
Issue Date
Title
Author(s)
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.