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 37 to 56 of 127 < previous   next >
Issue DateTitleAuthor(s)
2010DATICS-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.
2002Deep semantic links of TCSP and object-Z: TCOZ approachMahony, B.; Dong, J.S. 
2011Demo: Towards bug-free implementation for wireless sensor networksZheng, M.; Sun, J.; Sanán, D.; Liu, Y. ; Dong, J.S. ; Gu, Y.
2006Design synthesis from interaction and state-based specificationsSun, J. ; Dong, J.S. 
2010Developing model checkers using PATLiu, Y. ; Sun, J. ; Dong, J.S. 
2011Differencing labeled transition systemsXing, Z. ; Sun, J.; Liu, Y. ; Dong, J.S. 
2013Dynamic synthesis of local time requirement for service compositionTan, T.H.; Andre, E.; Sun, J.; Liu, Y.; Dong, J.S. ; Chen, M.
2008Enhancing Semantic Web Services with inheritanceFerndriger, S.; Bernstein, A.; Dong, J.S. ; Feng, Y.; Li, Y.-F.; Hunter, J.
2007Evolution and runtime monitoring of software systemsLiang, H.; Dong, J.S. ; Sun, J.
2002Extending SOFL to support both top-down and bottom-up approachesLiu, S.; Song Dong, J. 
2005Extracting FSMs from object-Z specifications with history invariantsSun, J. ; Dong, J.S. 
2009Fair model checking with process counter abstractionSun, J. ; Liu, Y. ; Roychoudhury, A. ; Liu, S. ; Dong, J.S. 
2012Formal analysis of pervasive computing systemsLiu, Y.; Zhang, X.; Dong, J.S. ; Liu, Y. ; Sun, J.; Biswas, J.; Mokhtari, M.
2005Formal designs for embedded and hybrid systemsDong, J.S. ; Hao, P.; Mahony, B.
2012Formal modeling and validation of Stateflow diagramsChen, C.; Sun, J.; Liu, Y. ; Dong, J.S. ; Zheng, M.
2006Formal specification-based online monitoringLiang, H.; Sun, J.; Dong, J.S. ; Duke, R.; Seviora, R.E.
2009Formal verification of scalable nonzero indicatorsZhang, S.J.; Liu, Y. ; Sun, J. ; Dong, J.S. ; Chen, W.; Liu, Y.A.
2003Formalizing semantics of XSLT using object-ZYang, H.L.; Dong, J.S. ; Hao, K.G.; Han, J.G.
2006From semantic Web to expressive specifications: A modeling languages spectrumDong, J.S. 
2013Generating C# programs from CSP# modelsZhu, H.; Dong, J.S. ; Wadhwa, B. ; Lin, S.-W.