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 44 to 63 of 127
< previous
next >
Refman
EndNote
Bibtex
RefWorks
Excel
CSV
PDF
Send via email
Issue Date
Title
Author(s)
2008
Enhancing Semantic Web Services with inheritance
Ferndriger, S.
;
Bernstein, A.
;
Dong, J.S.
;
Feng, Y.
;
Li, Y.-F.
;
Hunter, J.
2007
Evolution and runtime monitoring of software systems
Liang, H.
;
Dong, J.S.
;
Sun, J.
2002
Extending SOFL to support both top-down and bottom-up approaches
Liu, S.
;
Song Dong, J.
2005
Extracting FSMs from object-Z specifications with history invariants
Sun, J.
;
Dong, J.S.
2009
Fair model checking with process counter abstraction
Sun, J.
;
Liu, Y.
;
Roychoudhury, A.
;
Liu, S.
;
Dong, J.S.
2012
Formal analysis of pervasive computing systems
Liu, Y.
;
Zhang, X.
;
Dong, J.S.
;
Liu, Y.
;
Sun, J.
;
Biswas, J.
;
Mokhtari, M.
2005
Formal designs for embedded and hybrid systems
Dong, J.S.
;
Hao, P.
;
Mahony, B.
2012
Formal modeling and validation of Stateflow diagrams
Chen, C.
;
Sun, J.
;
Liu, Y.
;
Dong, J.S.
;
Zheng, M.
2006
Formal specification-based online monitoring
Liang, H.
;
Sun, J.
;
Dong, J.S.
;
Duke, R.
;
Seviora, R.E.
2009
Formal verification of scalable nonzero indicators
Zhang, S.J.
;
Liu, Y.
;
Sun, J.
;
Dong, J.S.
;
Chen, W.
;
Liu, Y.A.
2003
Formalizing semantics of XSLT using object-Z
Yang, H.L.
;
Dong, J.S.
;
Hao, K.G.
;
Han, J.G.
2006
From semantic Web to expressive specifications: A modeling languages spectrum
Dong, J.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.