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 81-100 of 128 (Search time: 0.006 seconds).

Issue DateTitleAuthor(s)
812012Parameter synthesis for hierarchical concurrent real-time systemsAndre, E.; Liu, Y. ; Sun, J.; Dong, J.-S. 
822011PAT 3: An extensible architecture for building multi-domain model checkersLiu, Y. ; Sun, J.; Dong, J.S. 
832009PAT: Towards flexible verification under fairnessSun, J. ; Liu, Y. ; Dong, J.S. ; Pang, J.
842012Planning as model checking tasksLi, Y.; Sun, J.; Dong, J.S. ; Liu, Y. ; Sun, J.
852010Preface of the 2010 IAENG International Conference on Electrical Engineering special session: Design, analysis and tools for integrated circuits and systemsMan, 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.; Zahirul Alam, A.H.M.; Provan, G.; Velev, M.N.; Uddin, M.N.; 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.; Edwards, R.T.; 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.; El-Din Mady, A.; Joseph, A.; Khandekar, P.D.; Pandey, H.M.; Bharti, V.; O'Mullane, M.; Chen, C.
862011Preface of the 2011 IAENG International Conference on Electrical Engineering Special Session: Design, analysis and tools for integrated circuits and systemsMan, K.L.; Mercaldi, M.; Ma, J.; Hahanov, V.; Prinetto, P.; Poncino, M.; Macii, A.; Choi, J.; Li, W.; Schellekens, M.; Popovici, E.; Dong, J.S. ; Al-Khalili, D.; Navabi, Z.; Zinchenko, L.; Anjum, M.A.; Narasimha, D.L.; Hughes, D.; Wang, J.; Sathish Kumar, A.P.; Jaisankar, N.; Mansoor, A.; Hollands, S.; Mohammadi, S.; Klein, F.; Lim, E.; Lee, K.; Mahanti, P.; Wan, K.; Tillo, T.; Wu, Y.; Huang, W.C.; Sasaki, M.; Sahula, V.; Boolchandani, D.; Wang, Z.; Shandilya, S.K.; Voeten, J.P.M.; Lei, C.-U.; English, T.; Planas, M.M.; Chung, C.; Harte, S.; Yin, A.; Giancardi, L.; Mady, A.E.-D.; Khandekar, P.D.; Pandey, H.M.; Bharti, V.; Wang, Y.; Lu, C.
872012Probabilistic model checking multi-agent behaviors in dispersion games using counter abstractionHao, J.; Song, S.; Liu, Y. ; Sun, J.; Gui, L.; Dong, J.S. ; Leung, H.-F.
882008Production of a monoclonal antibody specific for the major outer membrane protein of Campylobacter jejuni and characterization of the epitopeQian, H.; Pang, E.; Du, Q.; Chang, J.; Dong, J. ; Kwang, J. ; Say, L.T.; Fook, K.N.; Ai, L.T.
892011PRTS: An approach for model checking probabilistic real-time hierarchical systemsSun, J.; Liu, Y. ; Song, S.; Dong, J.S. ; Li, X.
902013PSyHCoS: Parameter synthesis for hierarchical concurrent real-time systemsAndré, É.; Liu, Y.; Sun, J.; Dong, J.S. ; Lin, S.-W. 
912007Realizing live sequence charts in SystemVerilogWang, H.H.; Sun, J. ; Qin, S.; Dong, J.S. 
922004Relating π-calculus to Object-ZTaguchi, K.; Dong, J.S. ; Ciobanu, G.
132009Scalable multi-core model checking fairness enhanced systemsLiu, Y. ; Sun, J. ; Dong, J.S. 
142009SCP special issue on the grand challenge - PrefaceDong, J.S. ; Sun, J.
152004Semantic space: An infrastructure for smart spacesWang, X.; Dong, J.S. ; Chin, C.; Hettiarachchi, S.R.; Zhang, D.
162006Semantic web languages - Towards an institutional perspectiveLucanu, D.; Li, Y.F. ; Dong, J.S. 
172012SeVe: Automatic tool for verification of security protocolsLuu, A.T.; Sun, J.; Liu, Y. ; Dong, J.S. ; Li, X.; Quan, T.T.
182005Software Engineering approaches to Semantic WebDong, J.S. ; Dan, D.
192004Software modeling techniques and the Semantic WebDong, J.S. 
202009Software monitoring through formal specification animationLiang, H.; Dong, J.S. ; Sun, J.; Wong, W.E.