Cramer-Rao Bound Analysis of Quantized RSSI Based Localization in Wireless Sensor Networks. - Hongchi Shi; Xiaoli Li 012; Yi Shang; Dianfu Ma (ICPADS (2), 2005)

RBUS: A Middleware for Reliable Web Services. - Yan Zhu; Dianfu Ma (Wireless and Optical Communications, 2006)

Adaptive clustering and transmission range adjustment in wireless sensor networks. - Bolian Yin; Hongchi Shi; Yi Shang; Dianfu Ma (Communications, Internet, and Information Technology, 2007)

Collaborative Visualization of Large Scale Datasets Using Web Services. - Yongwang Zhao; Chunyang Hu; Yonggang Huang; Dianfu Ma (ICIW, 2007)

SOCOM: A Service-Oriented Collaboration Middleware for Multi-User Interaction with Web Services based Scientific Resources. - Yongwang Zhao; Dianfu Ma; Chunyang Hu; Min Liu 017; Yonggang Huang (ISPDC, 2007)

A QoS-aware middleware for ensuring web services reliability. - Yan Zhu; Dianfu Ma; Hailong Sun 001; Shun Zhang; Jing Li 075 (Parallel and Distributed Computing and Networks, 2007)

Coordination Behavioral Structure: A Web Services Coordination Model in Dynamic Environment. - Yongwang Zhao; Dianfu Ma; Min Liu 017; Chunyang Hu (ACIS-ICIS, 2008)

Missing Data Compensation Model in Real-Time Traffic Information Service System. - Bowen Du 001; Leishi Xu; Dianfu Ma; Weifeng Lv; Tongyu Zhu (FSKD (5), 2008)

Collaborative geospatial web services for multi-dimension remote sensing data. - Chunyang Hu; Yongwang Zhao; Dianfu Ma; Xiaoliang Sun; Jun Shao; Xuan Li (ICDIM, 2008)

Reliability Quantification of the Tree Structure Based Distributed System. - Dianfu Ma; Min Liu 017; Yongwang Zhao; Dou Sun (PRDC, 2008)

SSCM: middleware for structure-based service collaboration. - Dianfu Ma; Min Liu 017; Yongwang Zhao; Chunyang Hu (SAC, 2008)

A target-driven core curriculum development. - Li Zhang; Dianfu Ma; Yiming Zhou (Summit on Computing Education in China, 2008)

Toward Trustworthy Semantic Web Service Discovery and Selection. - Jing Li 075; Dianfu Ma; Jun Han; Xiang Long (ATC, 2009)

Towards a formal semantics for the AADL behavior annex. - Zhibin Yang; Kai Hu 004; Dianfu Ma; Lei Pi (DATE, 2009)

A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts. - Lei Pi; Zhibin Yang; Jean-Paul Bodeveix; Mamoun Filali; Kai Hu 004; Dianfu Ma (ICECCS, 2009)

A Formal Description of Web Services Container Architecture. - Jian Liu; Dianfu Ma; Zhuqing Li; Dou Sun (ICIW, 2009)

An Approach to Preserving Consistency of SOAs in Dynamic Evolution. - Min Liu 017; Dianfu Ma; Yongwang Zhao; Dou Sun (ICIW, 2009)

A Formal Model of Web Services Transport Layer. - Jian Liu; Dianfu Ma; Zhuqing Li; Dou Sun (ICNS, 2009)

A Graph Transformation based Approach for Runtime Constrained Evolution of Service-Oriented Architectures. - Yongwang Zhao; Dianfu Ma; Min Liu 017; Chunyang Hu; Yongwang Huang (PDP, 2009)

An Efficient Semantic Web Services Matching Mechanism. - Jing Li 075; Dianfu Ma; Zhuo Zhao; Hong Zhu; Lusong Li (RED, 2009)

An approach to identifying conversation dependency in service oriented system during dynamic evolution. - Min Liu 017; Dianfu Ma; Yongwang Zhao (SAC, 2009)

Research and Implementation of Code Generator for Information System Based on SOA. - Jiru Shan; Dianfu Ma; Bin Zhang; Wanming Luo (ScalCom-EmbeddedCom, 2009)

Towards a Formal Verification Approach for Implementation of Web Services Specifications. - Qing Yang; Dianfu Ma; Yongwang Zhao; Zhuqing Li (APSCC, 2010)

Medical Image Retrieval with Query-Dependent Feature Fusion Based on One-Class SVM. - Yonggang Huang; Jun Zhang 010; Yongwang Zhao; Dianfu Ma (CSE, 2010)

An Efficient Algorithm to Estimate Real-time Traffic Information based on Multiple Data Sources. - Bowen Du 001; Yun Liang 001; Dianfu Ma; Weifeng Lv; Tongyu Zhu (ICAART (1), 2010)

OGC-compatible high-performance web map service for remote sensing data visualization. - Chunyang Hu; Yongwang Zhao; Jing Li 075; Min Liu 017; Dianfu Ma; Xuan Li (iiWAS, 2010)

ACTGIS: A Web-based collaborative tiled Geospatial image map system. - Chunyang Hu; Yongwang Zhao; Xin Wei; Bowen Du; Yonggang Huang; Dianfu Ma; Xuan Li (ISCC, 2010)

An adaptive heuristic approach for distributed QoS-based service composition. - Jing Li 075; Yongwang Zhao; Min Liu 017; Hailong Sun 001; Dianfu Ma (ISCC, 2010)

SEDA4BPEL: A staged event-driven architecture for high-concurrency BPEL engine. - Dou Sun; Yongwang Zhao; Hao Zeng; Dianfu Ma (ISCC, 2010)

Towards adaptive web services QoS prediction. - Jing Li 075; Yongwang Zhao; Jiawen Ren; Dianfu Ma (SOCA, 2010)

An operational semantics of WS-BPEL based on abstract BPEL machine. - Dou Sun; Yongwang Zhao; Hao Zeng; Dianfu Ma (SOCA, 2010)

Towards a Graph Grammar Based Verification Approach for Runtime Constrained Evolution of Service-Oriented Architectures. - Yongwang Zhao; Bingyang Zhao; Min Liu 017; Chunyang Hu; Dianfu Ma (SOSE, 2010)

Formal Analysis of Behavioural Equivalence for Trustworthy and Composite Web Services. - Yongwang Zhao; Chunyang Hu; Min Liu 017; Dianfu Ma (UIC/ATC Workshops, 2010)

Applied research of data sensing and service to ubiquitous intelligent transportation system. - Weifeng Lv; Bowen Du 001; Dianfu Ma; Tongyu Zhu; Chen Wang (Frontiers Comput. Sci. China, 2010)

Error analysis of quantised RSSI based sensor network localisation. - Hongchi Shi; Xiaoli Li 012; Yi Shang; Dianfu Ma (Int. J. Wirel. Mob. Comput., 2010)

Adaptive QoS-Aware Service Process Reconfiguration. - Jing Li 075; Dianfu Ma; Xiupei Mei; Hailong Sun 001; Zibin Zheng (IEEE SCC, 2011)

Geospatial Web Service for Remote Sensing Data Visualization. - Chunyang Hu; Yongwang Zhao; Jing Li 075; Dianfu Ma; Xuan Li (AINA, 2011)

Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic. - Yongwang Zhao; Jing Li 075; Dou Sun; Dianfu Ma (AINA, 2011)

FSM4WSR: A Formal Model for Verifiable Web Service Runtime. - Zhuqing Li; Dianfu Ma; Yongwang Zhao; Jing Li 075; Qing Yang (APSCC, 2011)

Integrating Business Processes and Business Rules. - Yujing Zhao; Dianfu Ma; Yongwang Zhao; Zhuqing Li (APSCC, 2011)

An AADL-Based Modeling Method for ARINC653-Based Avionics Software. - Ying Wang; Dianfu Ma; Yongwang Zhao; Lu Zou; Xianqi Zhao (COMPSAC, 2011)

Two Formal Semantics of a Subset of the AADL. - Zhibin Yang; Kai Hu 004; Jean-Paul Bodeveix; Lei Pi; Dianfu Ma; Jean-Pierre Talpin (ICECCS, 2011)

Towards Hierarchical Modeling and Analysis of Web Services Choreography. - Yongwang Zhao; Jing Li 075; Zhuqing Li; Dianfu Ma (IESS, 2011)

SEDA4SC: A staged event-driven architecture for adaptive service computing runtime. - Zhuqing Li; Dianfu Ma; Dou Sun; Jian Liu (ISCC, 2011)

DH4SS: a distributed heuristic for QoS-based service selection. - Jing Li 075; Yongwang Zhao; Hailong Sun 001; Zibin Zheng; Dianfu Ma (Int. J. Web Grid Serv., 2011)

Automatic RT-Java Code Generation from AADL Models for ARINC653-Based Avionics Software. - Ying Wang; Dianfu Ma; Yongwang Zhao; Lu Zou; Xianqi Zhao (COMPSAC, 2012)

Collaborative annotation of medical images via web browser for teleradiology. - Hualei Shen; Dianfu Ma; Yongwang Zhao; Rongwei Ye (ICCH, 2012)

A Policy-Based Architecture for Web Services Security Processing. - Hao Zeng; Dianfu Ma; Zhuqing Li; Yongwang Zhao (ICEBE, 2012)

A Constraint Mechanism for Dynamic Evolution of Service Oriented Systems. - Bingyang Zhao; Yongwang Zhao; Dianfu Ma (ISORC, 2012)

Managing and Collaboratively Processing Medical Image via the Web. - Hualei Shen; Dianfu Ma; Yongwang Zhao; Chunyao Yang; Sujun Sun; Bo Lang (WAIM Workshops, 2012)

A hierarchical organization approach of multi-dimensional remote sensing data for lightweight Web Map Services. - Yongwang Zhao; Chunyang Hu; Hualei Shen; Dianfu Ma; Xuan Li; Yonggang Huang (Earth Sci. Informatics, 2012)

QDFA: Query-Dependent Feature Aggregation for Medical Image Retrieval. - Yonggang Huang; Dianfu Ma; Jun Zhang 010; Yongwang Zhao (IEICE Trans. Inf. Syst., 2012)

A New Re-Ranking Method Using Enhanced Pseudo-Relevance Feedback for Content-Based Medical Image Retrieval. - Yonggang Huang; Jun Zhang 010; Yongwang Zhao; Dianfu Ma (IEICE Trans. Inf. Syst., 2012)

A Web Services Container Supporting QoS Hierarchical Control with Multiple Measurements for Utilization. - Zhe Wang 024; Dianfu Ma; Yongwang Zhao (DASC, 2013)

A policy-based architecture for web services authentication. - Hao Zeng; Dianfu Ma; Yongwang Zhao; Zhuqing Li (ISCC, 2013)

A multi-resource load balancing algorithm for cloud cache systems. - Yu Jia; Ivan Brondino; Ricardo Jiménez-Peris; Marta Patiño-Martínez; Dianfu Ma (SAC, 2013)

Combining POS Tagging, Lucene Search and Similarity Metrics for Entity Linking. - Shujuan Zhao; Chune Li; Shuai Ma 001; Tiejun Ma; Dianfu Ma (WISE (1), 2013)

Development of global specification for dynamically adaptive software. - Yongwang Zhao; Zhuqing Li; Hualei Shen; Dianfu Ma (Computing, 2013)

H∞-Based Pinning Synchronization of General Complex Dynamical Networks with Coupling Delays. - Bowen Du 001; Dianfu Ma (J. Appl. Math., 2013)

Suffix Tree Based Incremental Web Services Clustering Method. - Jing Li 075; Dianfu Ma (J. Networks, 2013)

An Automatic Development Process for Integrated Modular Avionics Software. - Ying Wang; Dianfu Ma (J. Networks, 2013)

Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph. - Wenjuan Wu; Dianfu Ma; Yongwang Zhao; Xianqi Zhao (KSEM, 2014)

A verified transformation: from polychronous programs to a variant of clocked guarded actions. - Zhibin Yang; Jean-Paul Bodeveix; Mamoun Filali; Kai Hu 004; Dianfu Ma (SCOPES, 2014)

Query dependent multiview features fusion for effective medical image retrieval. - Hualei Shen; Yongwang Zhao; Dianfu Ma; Yong Guan (SPAC, 2014)

MIAPS: A web-based system for remotely accessing and presenting medical images. - Hualei Shen; Dianfu Ma; Yongwang Zhao; Hailong Sun 001; Sujun Sun; Rongwei Ye; Lei Huang 015; Bo Lang; Yan Sun (Comput. Methods Programs Biomed., 2014)

From AADL to Timed Abstract State Machines: A verified model transformation. - Zhibin Yang; Kai Hu 004; Dianfu Ma; Jean-Paul Bodeveix; Lei Pi; Jean-Pierre Talpin (J. Syst. Softw., 2014)

PBA4WSSP: a policy-based architecture for web services security processing. - Hao Zeng; Dianfu Ma; Yongwang Zhao; Zhuqing Li (Serv. Oriented Comput. Appl., 2014)

Towards a verified compiler prototype for the synchronous language SIGNAL. - Zhibin Yang; Jean-Paul Bodeveix; Mamoun Filali; Kai Hu 004; Yongwang Zhao; Dianfu Ma (Frontiers Comput. Sci., 2016)

一种基于三维树模型的源代码安全缺陷分类方法 (Novel Taxonomy of Security Weakness in Source Code Based on Three-dimension Tree Model). - Yan Zhang; Zhoujun Li; Guowei Dong; Dianfu Ma (计算机科学, 2016)

A Model Guided Security Analysis Approach for Android Applications. - Yan Zhang; Zhoujun Li; Dianfu Ma (J. Softw., 2016)

Tree-Structure CNN for Automated Theorem Proving. - Kebin Peng; Dianfu Ma (ICONIP (2), 2017)

Formal Verification of Behavioral AADL Models by Stateful Timed CSP. - Feng Zhang; Yongwang Zhao; Dianfu Ma; Wensheng Niu (IEEE Access, 2017)

A survey on formal specification and verification of separation kernels. - Yongwang Zhao; Zhibin Yang; Dianfu Ma (Frontiers Comput. Sci., 2017)

Fine-Grained Formal Specification and Analysis of Buddy Memory Allocation in Zephyr RTOS. - Feng Zhang; Yongwang Zhao; Dianfu Ma; Wensheng Niu (ISORC, 2019)

Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles. - Wenjing Xul; Yongwang Zhao; Dianfu Ma; YuXin Zhang; Qian Xiao (TASE, 2020)

A Comprehensive Formalization of AADL with Behavior Annex. - Yu Tan; Yongwang Zhao; Dianfu Ma; Xuejun Zhang (Sci. Program., 2022)