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 56 to 75 of 127
< previous
next >
Refman
EndNote
Bibtex
RefWorks
Excel
CSV
PDF
Send via email
Issue Date
Title
Author(s)
2013
Generating C# programs from CSP# models
Zhu, H.
;
Dong, J.S.
;
Wadhwa, B.
;
Lin, S.-W.
2004
Generating MSCs from an integrated formal specification language
Dong, J.S.
;
Qin, S.
;
Sun, J.
2006
Generic fault tolerant software architecture reasoning and customization
Yuan, L.
;
Dong, J.S.
;
Sun, J.
;
Basit, H.A.
2006
HighSpec: A tool for building and checking OZTA models
Dong, J.S.
;
Hao, P.
;
Zhang, X.
;
Qin, S.C.
2012
Improved BDD-based discrete analysis of timed systems
Nguyen, T.K.
;
Sun, J.
;
Liu, Y.
;
Dong, J.S.
;
Liu, Y.
2013
Improved reachability analysis in DTMC via divide and conquer
Song, S.
;
Gui, L.
;
Sun, J.
;
Liu, Y.
;
Dong, J.S.
2005
Institution morphisms for relating OWL and Z
Lucanu, D.
;
Li, Y.F.
;
Dong, J.S.
2005
Integrating Object-Z with Timed Automata
Dong, J.S.
;
Duke, R.
;
Hao, P.
2009
Integrating specification and programs for system modeling and verification
Sun, J.
;
Liu, Y.
;
Jin, S.D.
;
Chen, C.
2014
Learning assumptions for compositionalverification of timed systems
Lin, S.-W.
;
Andre, E.
;
Liu, Y.
;
Sun, J.
;
Dong, J.S.
2007
Machine-assisted proof support for validation beyond Simulink
Chen, C.
;
Dong, J.S.
;
Sun, J.
2010
Message from the General Chair
Dong, J.S.
2010
Mild dementia care at home - Integrating activity monitoring, user interface plasticity and scenario verification
Biswas, J.
;
Mokhtari, M.
;
Dong, J.S.
;
Yap, P.
2014
Model checking approach to automated planning
Li, Y.
;
Dong, J.S.
;
Sun, J.
;
Liu, Y.
;
Sun, J.
2008
Model checking CSP revisited: Introducing a process analysis toolkit
Sun, J.
;
Liu, Y.
;
Dong, J.S.
2005
Model checking live sequence charts
Sun, J.
;
Dong, J.S.
2012
Model checking software architecture design
Zhang, J.
;
Liu, Y.
;
Sun, J.
;
Dong, J.S.
;
Sun, J.
Feb-2014
Model checking with fairness assumptions using PAT
Si, Y.
;
Sun, J.
;
Liu, Y.
;
Dong, J.S.
;
Pang, J.
;
Zhang, S.J.
;
Yang, X.
2010
Model-based methods for linking Web service choreography and orchestration
Sun, J.
;
Liu, Y.
;
Dong, J.S.
;
Pu, G.
;
Tan, T.H.
2006
Modeling and customization of fault tolerant architecture using object-Z/XVCL
Ling, Y.
;
Jin, S.D.
;
Jing, S.