Dianfu Ma

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 10

Top Topics

Medical Image Retrieval

Code Generation

Formal Specification

Similarity Metric

Top Venues

IEICE Trans. Inf. Syst.

Frontiers Comput. Sci.

Publications

Yu Tan, Yongwang Zhao, Dianfu Ma, Xuejun Zhang
A Comprehensive Formalization of AADL with Behavior Annex. Sci. Program. 2022 (2022)
Yu Tan, Dianfu Ma, Lei Qiao
A Formal Verification Method of Compilation Based on C Safety Subset. Wirel. Commun. Mob. Comput. 2021 (2021)
Wenjing Xul, Yongwang Zhao, Dianfu Ma, YuXin Zhang, Qian Xiao
Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles. TASE (2020)
Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu
Fine-Grained Formal Specification and Analysis of Buddy Memory Allocation in Zephyr RTOS. ISORC (2019)
Kebin Peng, Dianfu Ma
Tree-Structure CNN for Automated Theorem Proving. ICONIP (2) (2017)
Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu
Formal Verification of Behavioral AADL Models by Stateful Timed CSP. IEEE Access 5 (2017)
Yongwang Zhao, Zhibin Yang, Dianfu Ma
A survey on formal specification and verification of separation kernels. Frontiers Comput. Sci. 11 (4) (2017)
Yan Zhang, Zhoujun Li, Guowei Dong, Dianfu Ma
一种基于三维树模型的源代码安全缺陷分类方法 (Novel Taxonomy of Security Weakness in Source Code Based on Three-dimension Tree Model). 计算机科学 43 (5) (2016)
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao, Dianfu Ma
Towards a verified compiler prototype for the synchronous language SIGNAL. Frontiers Comput. Sci. 10 (1) (2016)
Yan Zhang, Zhoujun Li, Dianfu Ma
A Model Guided Security Analysis Approach for Android Applications. J. Softw. 11 (7) (2016)
Wenjuan Wu, Dianfu Ma, Yongwang Zhao, Xianqi Zhao
Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph. KSEM (2014)
Hualei Shen, Yongwang Zhao, Dianfu Ma, Yong Guan
Query dependent multiview features fusion for effective medical image retrieval. SPAC (2014)
Hao Zeng, Dianfu Ma, Yongwang Zhao, Zhuqing Li
PBA4WSSP: a policy-based architecture for web services security processing. Serv. Oriented Comput. Appl. 8 (1) (2014)
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma
A verified transformation: from polychronous programs to a variant of clocked guarded actions. SCOPES (2014)
Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi, Jean-Pierre Talpin
From AADL to Timed Abstract State Machines: A verified model transformation. J. Syst. Softw. 93 (2014)
Hualei Shen, Dianfu Ma, Yongwang Zhao, Hailong Sun, Sujun Sun, Rongwei Ye, Lei Huang, Bo Lang, Yan Sun
MIAPS: A web-based system for remotely accessing and presenting medical images. Comput. Methods Programs Biomed. 113 (1) (2014)
Hao Zeng, Dianfu Ma, Yongwang Zhao, Zhuqing Li
A policy-based architecture for web services authentication. ISCC (2013)
Ying Wang, Dianfu Ma
An Automatic Development Process for Integrated Modular Avionics Software. J. Networks 8 (5) (2013)
Yu Jia, Ivan Brondino, Ricardo Jiménez-Peris, Marta Patiño-Martínez, Dianfu Ma
A multi-resource load balancing algorithm for cloud cache systems. SAC (2013)
Yongwang Zhao, Zhuqing Li, Hualei Shen, Dianfu Ma
Development of global specification for dynamically adaptive software. Computing 95 (9) (2013)
Bowen Du, Dianfu Ma
-Based Pinning Synchronization of General Complex Dynamical Networks with Coupling Delays. J. Appl. Math. 2013 (2013)
Jing Li, Dianfu Ma
Suffix Tree Based Incremental Web Services Clustering Method. J. Networks 8 (7) (2013)
Zhe Wang, Dianfu Ma, Yongwang Zhao
A Web Services Container Supporting QoS Hierarchical Control with Multiple Measurements for Utilization. DASC (2013)
Shujuan Zhao, Chune Li, Shuai Ma, Tiejun Ma, Dianfu Ma
Combining POS Tagging, Lucene Search and Similarity Metrics for Entity Linking. WISE (1) (2013)
Yongwang Zhao, Chunyang Hu, Hualei Shen, Dianfu Ma, Xuan Li, Yonggang Huang
A hierarchical organization approach of multi-dimensional remote sensing data for lightweight Web Map Services. Earth Sci. Informatics 5 (1) (2012)
Hao Zeng, Dianfu Ma, Zhuqing Li, Yongwang Zhao
A Policy-Based Architecture for Web Services Security Processing. ICEBE (2012)
Yonggang Huang, Dianfu Ma, Jun Zhang, Yongwang Zhao
QDFA: Query-Dependent Feature Aggregation for Medical Image Retrieval. IEICE Trans. Inf. Syst. (1) (2012)
Yonggang Huang, Jun Zhang, Yongwang Zhao, Dianfu Ma
A New Re-Ranking Method Using Enhanced Pseudo-Relevance Feedback for Content-Based Medical Image Retrieval. IEICE Trans. Inf. Syst. (2) (2012)
Bingyang Zhao, Yongwang Zhao, Dianfu Ma
A Constraint Mechanism for Dynamic Evolution of Service Oriented Systems. ISORC (2012)
Hualei Shen, Dianfu Ma, Yongwang Zhao, Rongwei Ye
Collaborative annotation of medical images via web browser for teleradiology. ICCH (2012)
Hualei Shen, Dianfu Ma, Yongwang Zhao, Chunyao Yang, Sujun Sun, Bo Lang
Managing and Collaboratively Processing Medical Image via the Web. WAIM Workshops (2012)
Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao
Automatic RT-Java Code Generation from AADL Models for ARINC653-Based Avionics Software. COMPSAC (2012)
Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao
An AADL-Based Modeling Method for ARINC653-Based Avionics Software. COMPSAC (2011)
Jing Li, Yongwang Zhao, Hailong Sun, Zibin Zheng, Dianfu Ma
DH4SS: a distributed heuristic for QoS-based service selection. Int. J. Web Grid Serv. 7 (4) (2011)
Yongwang Zhao, Jing Li, Dou Sun, Dianfu Ma
Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic. AINA (2011)
Jing Li, Dianfu Ma, Xiupei Mei, Hailong Sun, Zibin Zheng
Adaptive QoS-Aware Service Process Reconfiguration. IEEE SCC (2011)
Zhuqing Li, Dianfu Ma, Dou Sun, Jian Liu
SEDA4SC: A staged event-driven architecture for adaptive service computing runtime. ISCC (2011)
Yujing Zhao, Dianfu Ma, Yongwang Zhao, Zhuqing Li
Integrating Business Processes and Business Rules. APSCC (2011)
Yongwang Zhao, Jing Li, Zhuqing Li, Dianfu Ma
Towards Hierarchical Modeling and Analysis of Web Services Choreography. IESS (2011)
Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin
Two Formal Semantics of a Subset of the AADL. ICECCS (2011)
Zhuqing Li, Dianfu Ma, Yongwang Zhao, Jing Li, Qing Yang
FSM4WSR: A Formal Model for Verifiable Web Service Runtime. APSCC (2011)
Chunyang Hu, Yongwang Zhao, Jing Li, Dianfu Ma, Xuan Li
Geospatial Web Service for Remote Sensing Data Visualization. AINA (2011)
Yonggang Huang, Jun Zhang, Yongwang Zhao, Dianfu Ma
Medical Image Retrieval with Query-Dependent Feature Fusion Based on One-Class SVM. CSE (2010)
Qing Yang, Dianfu Ma, Yongwang Zhao, Zhuqing Li
Towards a Formal Verification Approach for Implementation of Web Services Specifications. APSCC (2010)
Weifeng Lv, Bowen Du, Dianfu Ma, Tongyu Zhu, Chen Wang
Applied research of data sensing and service to ubiquitous intelligent transportation system. Frontiers Comput. Sci. China 4 (3) (2010)
Jing Li, Yongwang Zhao, Min Liu, Hailong Sun, Dianfu Ma
An adaptive heuristic approach for distributed QoS-based service composition. ISCC (2010)
Dou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma
SEDA4BPEL: A staged event-driven architecture for high-concurrency BPEL engine. ISCC (2010)
Jing Li, Yongwang Zhao, Jiawen Ren, Dianfu Ma
Towards adaptive web services QoS prediction. SOCA (2010)
Chunyang Hu, Yongwang Zhao, Jing Li, Min Liu, Dianfu Ma, Xuan Li
OGC-compatible high-performance web map service for remote sensing data visualization. iiWAS (2010)
Hongchi Shi, Xiaoli Li, Yi Shang, Dianfu Ma
Error analysis of quantised RSSI based sensor network localisation. Int. J. Wirel. Mob. Comput. 4 (1) (2010)
Yongwang Zhao, Bingyang Zhao, Min Liu, Chunyang Hu, Dianfu Ma
Towards a Graph Grammar Based Verification Approach for Runtime Constrained Evolution of Service-Oriented Architectures. SOSE (2010)
Chunyang Hu, Yongwang Zhao, Xin Wei, Bowen Du, Yonggang Huang, Dianfu Ma, Xuan Li
ACTGIS: A Web-based collaborative tiled Geospatial image map system. ISCC (2010)
Dou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma
An operational semantics of WS-BPEL based on abstract BPEL machine. SOCA (2010)
Bowen Du, Yun Liang, Dianfu Ma, Weifeng Lv, Tongyu Zhu
An Efficient Algorithm to Estimate Real-time Traffic Information based on Multiple Data Sources. ICAART (1) (2010)
Yongwang Zhao, Chunyang Hu, Min Liu, Dianfu Ma
Formal Analysis of Behavioural Equivalence for Trustworthy and Composite Web Services. UIC/ATC Workshops (2010)
Jian Liu, Dianfu Ma, Zhuqing Li, Dou Sun
A Formal Description of Web Services Container Architecture. ICIW (2009)
Jing Li, Dianfu Ma, Zhuo Zhao, Hong Zhu, Lusong Li
An Efficient Semantic Web Services Matching Mechanism. RED (2009)
Min Liu, Dianfu Ma, Yongwang Zhao, Dou Sun
An Approach to Preserving Consistency of SOAs in Dynamic Evolution. ICIW (2009)
Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi
Towards a formal semantics for the AADL behavior annex. DATE (2009)
Jian Liu, Dianfu Ma, Zhuqing Li, Dou Sun
A Formal Model of Web Services Transport Layer. ICNS (2009)
Yongwang Zhao, Dianfu Ma, Min Liu, Chunyang Hu, Yongwang Huang
A Graph Transformation based Approach for Runtime Constrained Evolution of Service-Oriented Architectures. PDP (2009)
Min Liu, Dianfu Ma, Yongwang Zhao
An approach to identifying conversation dependency in service oriented system during dynamic evolution. SAC (2009)
Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma
A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts. ICECCS (2009)
Jing Li, Dianfu Ma, Jun Han, Xiang Long
Toward Trustworthy Semantic Web Service Discovery and Selection. ATC (2009)
Jiru Shan, Dianfu Ma, Bin Zhang, Wanming Luo
Research and Implementation of Code Generator for Information System Based on SOA. ScalCom-EmbeddedCom (2009)
Yongwang Zhao, Dianfu Ma, Min Liu, Chunyang Hu
Coordination Behavioral Structure: A Web Services Coordination Model in Dynamic Environment. ACIS-ICIS (2008)
Chunyang Hu, Yongwang Zhao, Dianfu Ma, Xiaoliang Sun, Jun Shao, Xuan Li
Collaborative geospatial web services for multi-dimension remote sensing data. ICDIM (2008)
Bowen Du, Leishi Xu, Dianfu Ma, Weifeng Lv, Tongyu Zhu
Missing Data Compensation Model in Real-Time Traffic Information Service System. FSKD (5) (2008)
Li Zhang, Dianfu Ma, Yiming Zhou
A target-driven core curriculum development. Summit on Computing Education in China (2008)
Dianfu Ma, Min Liu, Yongwang Zhao, Dou Sun
Reliability Quantification of the Tree Structure Based Distributed System. PRDC (2008)
Dianfu Ma, Min Liu, Yongwang Zhao, Chunyang Hu
SSCM: middleware for structure-based service collaboration. SAC (2008)
Yongwang Zhao, Chunyang Hu, Yonggang Huang, Dianfu Ma
Collaborative Visualization of Large Scale Datasets Using Web Services. ICIW (2007)
Yongwang Zhao, Dianfu Ma, Chunyang Hu, Min Liu, Yonggang Huang
SOCOM: A Service-Oriented Collaboration Middleware for Multi-User Interaction with Web Services based Scientific Resources. ISPDC (2007)
Yan Zhu, Dianfu Ma, Hailong Sun, Shun Zhang, Jing Li
A QoS-aware middleware for ensuring web services reliability. Parallel and Distributed Computing and Networks (2007)
Bolian Yin, Hongchi Shi, Yi Shang, Dianfu Ma
Adaptive clustering and transmission range adjustment in wireless sensor networks. Communications, Internet, and Information Technology (2007)
Yan Zhu, Dianfu Ma
RBUS: A Middleware for Reliable Web Services. Wireless and Optical Communications (2006)
Hongchi Shi, Xiaoli Li, Yi Shang, Dianfu Ma
Cramer-Rao Bound Analysis of Quantized RSSI Based Localization in Wireless Sensor Networks. ICPADS (2) (2005)