H∞-Based Pinning Synchronization of General Complex Dynamical Networks with Coupling Delays

by Bowen Du, Dianfu Ma
Published 2013-01-01

A Framework for Model and Verification of Safety-Critical Operating System Based on ARINC653

by Wenjing Xu, Dianfu Ma
Published 2021-08-01

A Formal Verification Method of Compilation Based on C Safety Subset

by Yu Tan, Dianfu Ma, Lei Qiao
Published 2021-01-01

Multiview locally linear embedding for effective medical image retrieval.

by Hualei Shen, Dacheng Tao, Dianfu Ma
Published 2013-01-01

Dual-force ISOMAP: a new relevance feedback method for medical image retrieval.

by Hualei Shen, Dacheng Tao, Dianfu Ma
Published 2013-01-01

A Framework for Service Semantic Description Based on Knowledge Graph

by Qitong Sun, Jun Han, Dianfu Ma
Published 2021-04-01

Formal Verification of Behavioral AADL Models by Stateful Timed CSP

by Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu
Published 2017-01-01