Skip navigation
Home
Research Outputs
View research outputs
Deposit publication / dataset
Researchers
Help
FAQs
Contact us
Guidelines
Log in
ScholarBank@NUS
Research Outputs
Browsing by Author
Jin Song Dong
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 99 to 118 of 128
< previous
next >
Refman
EndNote
Bibtex
RefWorks
Excel
CSV
PDF
Send via email
Issue Date
Title
Author(s)
2004
Software modeling techniques and the Semantic Web
Dong, J.S.
2009
Software monitoring through formal specification animation
Liang, H.
;
Dong, J.S.
;
Sun, J.
;
Wong, W.E.
2005
Soundness proof of Z semantics of OWL using institutions
Lucanu, D.
;
Li, Y.F.
;
Dong, J.S.
2010
SpecDiff: Debugging formal specifications
Xing, Z.
;
Sun, J.
;
Liu, Y.
;
Dong, J.S.
2008
Specifying and verifying event-based fairness enhanced systems
Sun, J.
;
Liu, Y.
;
Dong, J.S.
;
Wang, H.H.
2008
Specifying and verifying sensor networks: An experiment of formal methods
Dong, J.S.
;
Sun, J.
;
Sun, J.
;
Taguchi, K.
;
Zhang, X.
2010
SSIRI-C 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion: Message from the general chair
Dong, J.S.
2013
State space reduction for sensor networks using two-level partial order reduction
Zheng, M.
;
Sanań, D.
;
Sun, J.
;
Liu, Y.
;
Dong, J.S.
;
Gu, Y.
2001
State, event, time and diagram in system modeling
Dong, J.S.
2012
Symbolic model-checking of stateful timed CSP using BDD and digitization
Nguyen, T.K.
;
Sun, J.
;
Liu, Y.
;
Dong, J.S.
2005
Synthesis of distributed processes from scenario-based specifications
Sun, J.
;
Dong, J.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.