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 21 to 40 of 127 < previous   next >
Issue DateTitleAuthor(s)
2010Analyzing hierarchical complex real-time systemsLiu, Y. ; Sun, J.; Dong, J.S. 
2012Analyzing multi-agent systems with probabilistic model checking approachSong, S.; Hao, J.; Liu, Y. ; Sun, J.; Leung, H.-F.; Dong, J.S. 
2006Applying timed interval calculus to simulink diagramsChunqing, C. ; Jin, S.D. 
2012Automatic compositional verification of timed systemsLin, S.-W. ; Liu, Y. ; Sun, J.; Dong, J.S. ; André, É.
2012Automatic generation of provably correct embedded systemsLin, S.-W. ; Liu, Y. ; Hsiung, P.-A.; Sun, J.; Dong, J.S. 
2013Automatically partition software into least privilege components using dynamic data dependency analysisWu, Y.; Sun, J.; Liu, Y.; Dong, J.S. 
2008Bounded model checking of compositional processesSun, J. ; Liu, Y. ; Dong, J.S. ; Sun, J.
2013Build your own model checker in one monthDong, J.S. ; Sun, J.; Liu, Y.
2013CELL: A compositional verification frameworkJi, K.; Liu, Y.; Lin, S.-W. ; Sun, J.; Dong, J.S. ; Nguyen, T.K.
2003Checking and reasoning about Semantic Web through alloyDong, J.S. ; Sun, J.; Wang, H. 
2013Combining 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.
2012Complexity of the soundness problem of bounded workflow netsLiu, G.J.; Sun, J.; Liu, Y. ; Dong, J.S. 
2008Compositional encoding for bounded model checkingSun, J. ; Liu, Y. ; Dong, J.S. ; Sun, J.
2006Computer-aided dispatch system family architecture and verification: An integrated formal approachSun, J.; Dong, J.S. ; Jarzabek, S. ; Wang, H.
2013Constraint-based automatic symmetry detectionZhang, S.J.; Sun, J.; Sun, C.; Liu, Y.; Ma, J.; Dong, J.S. 
2007Context awareness systems design and reasoningDong, J.S. ; Feng, Y.; Sun, J.; Sun, J. 
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.