Browsing by Author DONG JIN SONG

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

Showing results 85 to 104 of 127 < previous   next >
Issue DateTitleAuthor(s)
2011Preface 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.
2012Probabilistic 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.
2008Production 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.
2011PRTS: An approach for model checking probabilistic real-time hierarchical systemsSun, J.; Liu, Y. ; Song, S.; Dong, J.S. ; Li, X.
2013PSyHCoS: Parameter synthesis for hierarchical concurrent real-time systemsAndré, É.; Liu, Y.; Sun, J.; Dong, J.S. ; Lin, S.-W. 
2007Realizing live sequence charts in SystemVerilogWang, H.H.; Sun, J. ; Qin, S.; Dong, J.S. 
2004Relating π-calculus to Object-ZTaguchi, K.; Dong, J.S. ; Ciobanu, G.
2009Scalable multi-core model checking fairness enhanced systemsLiu, Y. ; Sun, J. ; Dong, J.S. 
2009SCP special issue on the grand challenge - PrefaceDong, J.S. ; Sun, J.
2004Semantic space: An infrastructure for smart spacesWang, X.; Dong, J.S. ; Chin, C.; Hettiarachchi, S.R.; Zhang, D.
2006Semantic web languages - Towards an institutional perspectiveLucanu, D.; Li, Y.F. ; Dong, J.S. 
2012SeVe: Automatic tool for verification of security protocolsLuu, A.T.; Sun, J.; Liu, Y. ; Dong, J.S. ; Li, X.; Quan, T.T.
2005Software Engineering approaches to Semantic WebDong, J.S. ; Dan, D.
2004Software modeling techniques and the Semantic WebDong, J.S. 
2009Software monitoring through formal specification animationLiang, H.; Dong, J.S. ; Sun, J.; Wong, W.E.
2005Soundness proof of Z semantics of OWL using institutionsLucanu, D.; Li, Y.F. ; Dong, J.S. 
2010SpecDiff: Debugging formal specificationsXing, Z. ; Sun, J. ; Liu, Y. ; Dong, J.S. 
2008Specifying and verifying event-based fairness enhanced systemsSun, J. ; Liu, Y. ; Dong, J.S. ; Wang, H.H.
2008Specifying and verifying sensor networks: An experiment of formal methodsDong, J.S. ; Sun, J.; Sun, J. ; Taguchi, K.; Zhang, X.
2010SSIRI-C 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion: Message from the general chairDong, J.S.