Browsing DSpace | ScholarBank@NUS

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 119 to 127 of 127 < previous

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

Issue Date	Title	Author(s)
2012	Using monterey phoenix to formalize and verify system architectures	Zhang, J.; Liu, Y.; Auguston, M.; Sun, J.; Dong, J.S.
2013	USMMC: A self-contained model checker for UML state machines	Liu, S.; Liu, Y.; Sun, J.; Zheng, M.; Wadhwa, B. ; Dong, J.S.
2006	Verification of computation Orchestration via timed automata	Dong, J.S. ; Liu, Y. ; Sun, J. ; Zhang, X.
2011	Verification of orchestration systems using compositional partial order reduction	Tan, T.H.; Liu, Y. ; Sun, J.; Dong, J.S.
2004	Verifying DAML+OIL and beyond in Z/EVES	Dong, J.S. ; Lee, C.H.; Li, Y.F. ; Wang, H.
2013	Verifying linearizability via optimized refinement checking	Liu, Y.; Chen, W.; Liu, Y.A.; Sun, J.; Zhang, S.J.; Dong, J.S.
2005	Verifying OWL and ORL ontologies in PVS	Dong, J.S. ; Feng, Y.; Li, Y.F.
2009	Verifying stateful timed CSP using implicit clocks and zone abstraction	Sun, J. ; Liu, Y. ; Dong, J.S. ; Zhang, X.
2003	ZML: XML support for standard Z	Utting, M.; Toyn, I.; Sun, J.; Martin, A.; Dong, J.S. ; Daley, N.; Currie, D.

Showing results 119 to 127 of 127 < previous