1. ScholarBank@NUS

Jin Song Dong

rp09858

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Jin Song Dong
Variants
Dong, J.
Jin, S.D.
Dong, J.-S.
Song Dong, J.
Dong, J.S.
 
Main Affiliation
 
Faculty
 
Email
dcsdjs@nus.edu.sg
 

Publications

Results 121-128 of 128 (Search time: 0.004 seconds).

Issue DateTitleAuthor(s)
1212013USMMC: A self-contained model checker for UML state machinesLiu, S.; Liu, Y.; Sun, J.; Zheng, M.; Wadhwa, B. ; Dong, J.S. 
22006Verification of computation Orchestration via timed automataDong, J.S. ; Liu, Y. ; Sun, J. ; Zhang, X.
32011Verification of orchestration systems using compositional partial order reductionTan, T.H.; Liu, Y. ; Sun, J.; Dong, J.S. 
42004Verifying DAML+OIL and beyond in Z/EVESDong, J.S. ; Lee, C.H.; Li, Y.F. ; Wang, H.
52013Verifying linearizability via optimized refinement checkingLiu, Y.; Chen, W.; Liu, Y.A.; Sun, J.; Zhang, S.J.; Dong, J.S. 
62005Verifying OWL and ORL ontologies in PVSDong, J.S. ; Feng, Y.; Li, Y.F. 
72009Verifying stateful timed CSP using implicit clocks and zone abstractionSun, J. ; Liu, Y. ; Dong, J.S. ; Zhang, X.
82003ZML: XML support for standard ZUtting, M.; Toyn, I.; Sun, J.; Martin, A.; Dong, J.S. ; Daley, N.; Currie, D.