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

Refined By:
Department:  DEPARTMENT OF COMPUTER SCIENCE

Results 21-40 of 127 (Search time: 0.005 seconds).

Issue DateTitleAuthor(s)
212010Analyzing hierarchical complex real-time systemsLiu, Y. ; Sun, J.; Dong, J.S. 
222012Analyzing multi-agent systems with probabilistic model checking approachSong, S.; Hao, J.; Liu, Y. ; Sun, J.; Leung, H.-F.; Dong, J.S. 
232006Applying timed interval calculus to simulink diagramsChunqing, C. ; Jin, S.D. 
242012Automatic compositional verification of timed systemsLin, S.-W. ; Liu, Y. ; Sun, J.; Dong, J.S. ; André, É.
252012Automatic generation of provably correct embedded systemsLin, S.-W. ; Liu, Y. ; Hsiung, P.-A.; Sun, J.; Dong, J.S. 
262013Automatically partition software into least privilege components using dynamic data dependency analysisWu, Y.; Sun, J.; Liu, Y.; Dong, J.S. 
272008Bounded model checking of compositional processesSun, J. ; Liu, Y. ; Dong, J.S. ; Sun, J.
282013Build your own model checker in one monthDong, J.S. ; Sun, J.; Liu, Y.
292013CELL: A compositional verification frameworkJi, K.; Liu, Y.; Lin, S.-W. ; Sun, J.; Dong, J.S. ; Nguyen, T.K.
302003Checking and reasoning about Semantic Web through alloyDong, J.S. ; Sun, J.; Wang, H. 
312013Combining model checking and testing with an application to reliability prediction and distributionGui, L.; Sun, J.; Liu, Y.; Si, Y.J.; Dong, J.S. ; Wang, X.Y.
322012Complexity of the soundness problem of bounded workflow netsLiu, G.J.; Sun, J.; Liu, Y. ; Dong, J.S. 
332008Compositional encoding for bounded model checkingSun, J. ; Liu, Y. ; Dong, J.S. ; Sun, J.
342006Computer-aided dispatch system family architecture and verification: An integrated formal approachSun, J.; Dong, J.S. ; Jarzabek, S. ; Wang, H.
352013Constraint-based automatic symmetry detectionZhang, S.J.; Sun, J.; Sun, C.; Liu, Y.; Ma, J.; Dong, J.S. 
362007Context awareness systems design and reasoningDong, J.S. ; Feng, Y.; Sun, J.; Sun, J. 
372010DATICS-2010: Welcome message from workshop organizers: FutureTech 2010Man, K.L.; Mercaldi, M.; Hahanov, V.; Prinetto, P.; Poncino, M.; MacIi, A.; Choi, J.; Li, W.; Schellekens, M.; Popovici, E.; Seon, J.-K.; Rossi, U.; Fummi, F.; Pravadelli, G.; Lam, Y.F.; PavLov, V.; Patel, A.; Huang, J.; Vallee, T.; Boubekeur, M.; Sokolova, A.; Almerares, S.; Donno, M.; Cho, J.-D.; Alam, A.Z.; Provan, G.; Velev, M.N.; Nasir Uddin, M.; Botchkarev, A.; Bosnacki, D.; Hickey, D.; O'Keeffe, M.; Krilavičius, T.; Pastrnak, M.; Herbert, J.; Lu, Z.-M.; Pan, J.-S.; Chang, C.-C.; Horng, M.-F.; Chen, L.; Lim, C.-P.; Tao, N.Q.; Deb, S.; Merniz, S.; Valero, O.; Yi, Y.; Woods, D.; Vedrine, F.; Monsuez, B.; Yen, K.; Matsuura, T.; Timothy Edwards, R.; Tveretina, O.; Fino, M.H.; O'Riordan, A.P.; Labiak, G.; Gaur, M.S.; Chang, J.; Chung, Y.-C.; Derezinska, A.; Cho, K.-R.; Zhang, Y.; Liutkevičius, R.; Zeng, Y.; Vasudevan, D.P.; Bukowiec, A.; Kitsos, P.; Goudarzi, M.; Dong, J.S. ; Bhalla, A.; Al-Khalili, D.; Navabi, Z.; Zinchenko, L.; Anjum, M.A.; Narasimha, D.L.; Hughes, D.; Tadjouddine, E.M.; Wang, J.; Kumar, A.P.S.; Jaisankar, N.; Mansoor, A.; Hollands, S.; Mohammadi, S.; Klein, F.; Westermann, P.; English, T.; Planas, M.M.; Chung, C.; Chakrabarti, A.; Lei, C.-U.; Bamakhrama, M.; Naik, B.R.; Harte, S.; Yin, A.; Giancardi, L.; Mady, A.E.-D.; Joseph, A.; Khandekar, P.D.; Pandey, H.M.
382002Deep semantic links of TCSP and object-Z: TCOZ approachMahony, B.; Dong, J.S. 
392011Demo: Towards bug-free implementation for wireless sensor networksZheng, M.; Sun, J.; Sanán, D.; Liu, Y. ; Dong, J.S. ; Gu, Y.
402006Design synthesis from interaction and state-based specificationsSun, J. ; Dong, J.S.