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 90 to 109 of 127 < previous   next >
Issue DateTitleAuthor(s)
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. 
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.