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 98 to 117 of 127 < previous   next >
Issue DateTitleAuthor(s)
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. 
2013State space reduction for sensor networks using two-level partial order reductionZheng, M.; Sanań, D.; Sun, J.; Liu, Y.; Dong, J.S. ; Gu, Y.
2001State, event, time and diagram in system modelingDong, J.S. 
2012Symbolic model-checking of stateful timed CSP using BDD and digitizationNguyen, T.K.; Sun, J.; Liu, Y. ; Dong, J.S. 
2005Synthesis of distributed processes from scenario-based specificationsSun, J. ; Dong, J.S. 
2005TCOZ approach to OWL-s process model designWang, H.; Sun, J.; Dong, J.S. ; Li, Y.F. 
2004TCOZ approach to semantic web services designDong, J.S. ; Li, Y.F. ; Wang, H.
2005The semantics and tool support of OZTADong, J.S. ; Hao, P.; Qin, S.; Zhang, X.
2002The semantics of extended SOFLDong, J.S. ; Liu, S.
2008Timed automata patternsDong, J.S. ; Hao, P.; Qin, S.; Sun, J. ; Yi, W.
2004Timed patterns: TCOZ to timed automataDong, J.S. ; Hao, P.; Qin, S.C. ; Sun, J. ; Yi, W.
2011Towards a model checker for NesC and wireless sensor networksZheng, M.; Sun, J.; Liu, Y. ; Dong, J.S. ; Gu, Y.
2009Towards expressive specification and efficient model checkingJin, S.D. ; Sun, J. 
2013Towards formal modeling and verification of cloud architectures: A case study on hadoopReddy, G.S.; Feng, Y.; Liu, Y.; Dong, J.S. ; Jun, S.; Kanagasabai, R.