Dianfu Ma

From AADL to Timed Abstract State Machines: A verified model transformation

Zhibin Yang, Kai Hu, Dianfu Ma et al. · Journal of Systems and Software · 2014 · 50 citations

Engineering, Computer Engineering, Computer Science +14

Cramer-Rao Bound Analysis of Quantized RSSI Based Localization in Wireless Sensor Networks

Hongchi Shi, Xiaoli Li, Yi Shang et al. · 2006 · 37 citations

Engineering, Electrical Engineering, Information Theory +14

MIAPS: A web-based system for remotely accessing and presenting medical images

Hualei Shen, Dianfu Ma, Yongwang Zhao et al. · Computer Methods and Programs in Biomedicine · 2013 · 34 citations

Medicine, Biomedical Informatics, Health Informatics +14

Towards a formal semantics for the AADL behavior annex

Zhibin Yang, Kai Hu, Dianfu Ma et al. · Design, Automation, and Test in Europe · 2009 · 34 citations

Engineering, Computer Engineering, Computer Science +17

Multiview Locally Linear Embedding for Effective Medical Image Retrieval

Hualei Shen, Dacheng Tao, Dianfu Ma · PLoS ONE · 2013 · 33 citations · Full text

Computing, Radiology, Biomedical Imaging +13