Time-Stepping Finite-Element Analysis for the Dynamic Performance of a Permanent Magnet Synchronous Motor

by Jabbar, M.A., Liu, Z., Dong, J.
Published 2014

A novel network modelling for metabolite set analysis: a case study on crc metabolomics

by Liu, Y., Xu, X., Deng, L., Cheng, K. K., Xu, J., Raftery, D., Dong, J.
Published 2020

Compositional encoding for bounded model checking

by Sun, J., Liu, Y., Dong, J.S., Sun, J.
Published 2013

A reasoning method for timed CSP based on constraint solving

by Dong, J.S., Hao, P., Sun, J., Zhang, X.
Published 2013

Verification of computation Orchestration via timed automata

by Dong, J.S., Liu, Y., Sun, J., Zhang, X.
Published 2013

A XML/XSL approach to visualize and animate TCOZ

by Sun, J., Dong, J.S., Liu, J., Wang, H.
Published 2013

Realizing live sequence charts in SystemVerilog

by Wang, H.H., Sun, J., Qin, S., Dong, J.S.
Published 2013

SpecDiff: Debugging formal specifications

by Xing, Z., Sun, J., Liu, Y., Dong, J.S.
Published 2013

Verifying stateful timed CSP using implicit clocks and zone abstraction

by Sun, J., Liu, Y., Dong, J.S., Zhang, X.
Published 2013

Mild dementia care at home - Integrating activity monitoring, user interface plasticity and scenario verification

by Biswas, J., Mokhtari, M., Dong, J.S., Yap, P.
Published 2013

PAT: Towards flexible verification under fairness

by Sun, J., Liu, Y., Dong, J.S., Pang, J.
Published 2013

Context awareness systems design and reasoning

by Dong, J.S., Feng, Y., Sun, J., Sun, J.
Published 2013

Reasoning about Semantic Web in Isabelle/HOL

by Tang, Y., Dong, J.S., Sun, J., Mahony, B.
Published 2013

Differencing labeled transition systems

by Xing, Z., Sun, J., Liu, Y., Dong, J.S.
Published 2013

Automatically partition software into least privilege components using dynamic data dependency analysis

by Wu, Y., Sun, J., Liu, Y., Dong, J.S.
Published 2014

A formal object approach to the design of ZML

by Sun, J., Dong, J.S., Liu, J., Wang, H.
Published 2013

Bounded model checking of compositional processes

by Sun, J., Liu, Y., Dong, J.S., Sun, J.
Published 2013

A verification system for interval-based specification languages

by Chen, C., Dong, J.S., Sun, J., Martin, A.
Published 2013

Highly strained quantum structures grown on GaAs (0 0 1) vicinal substrate by MOCVD

by Wang, B., Chua, S.-J., Dong, J., Wang, Y.
Published 2014

Comments on "H∞ filtering for fuzzy singularly perturbed systems with pole placement constraints: An LMI approach"

by Yang, G.-H., Lum, K.-Y., Dong, J.
Published 2014