| 2020 | TASE | Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles. | Wenjing Xul, Yongwang Zhao, Dianfu Ma, YuXin Zhang, Qian Xiao |
| 2019 | ISORC | Fine-Grained Formal Specification and Analysis of Buddy Memory Allocation in Zephyr RTOS. | Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu |
| 2017 | ICONIP | Tree-Structure CNN for Automated Theorem Proving. | Kebin Peng, Dianfu Ma |
| 2014 | KSEM | Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph. | Wenjuan Wu, Dianfu Ma, Yongwang Zhao, Xianqi Zhao |
| 2014 | SCOPES | A verified transformation: from polychronous programs to a variant of clocked guarded actions. | Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma |
| 2013 | DASC | A Web Services Container Supporting QoS Hierarchical Control with Multiple Measurements for Utilization. | Zhe Wang, Dianfu Ma, Yongwang Zhao |
| 2013 | ISCC | A policy-based architecture for web services authentication. | Hao Zeng, Dianfu Ma, Yongwang Zhao, Zhuqing Li |
| 2013 | SAC | A multi-resource load balancing algorithm for cloud cache systems. | Yu Jia, Ivan Brondino, Ricardo Jimnez-Peris, Marta Patio-Martnez, Dianfu Ma |
| 2013 | WISE | Combining POS Tagging, Lucene Search and Similarity Metrics for Entity Linking. | Shujuan Zhao, Chune Li, Shuai Ma, Tiejun Ma, Dianfu Ma |
| 2012 | COMPSAC | Automatic RT-Java Code Generation from AADL Models for ARINC653-Based Avionics Software. | Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao |
| 2012 | ISORC | A Constraint Mechanism for Dynamic Evolution of Service Oriented Systems. | Bingyang Zhao, Yongwang Zhao, Dianfu Ma |
| 2011 | AINA | Geospatial Web Service for Remote Sensing Data Visualization. | Chunyang Hu, Yongwang Zhao, Jing Li, Dianfu Ma, Xuan Li |
| 2011 | AINA | Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic. | Yongwang Zhao, Jing Li, Dou Sun, Dianfu Ma |
| 2011 | APSCC | FSM4WSR: A Formal Model for Verifiable Web Service Runtime. | Zhuqing Li, Dianfu Ma, Yongwang Zhao, Jing Li, Qing Yang |
| 2011 | APSCC | Integrating Business Processes and Business Rules. | Yujing Zhao, Dianfu Ma, Yongwang Zhao, Zhuqing Li |
| 2011 | COMPSAC | An AADL-Based Modeling Method for ARINC653-Based Avionics Software. | Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao |
| 2011 | ICECCS | Two Formal Semantics of a Subset of the AADL. | Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin |
| 2011 | ISCC | SEDA4SC: A staged event-driven architecture for adaptive service computing runtime. | Zhuqing Li, Dianfu Ma, Dou Sun, Jian Liu |
| 2010 | APSCC | Towards a Formal Verification Approach for Implementation of Web Services Specifications. | Qing Yang, Dianfu Ma, Yongwang Zhao, Zhuqing Li |
| 2010 | ICAART | An Efficient Algorithm to Estimate Real-time Traffic Information based on Multiple Data Sources. | Bowen Du, Yun Liang, Dianfu Ma, Weifeng Lv, Tongyu Zhu |
| 2010 | IIWAS | OGC-compatible high-performance web map service for remote sensing data visualization. | Chunyang Hu, Yongwang Zhao, Jing Li, Min Liu, Dianfu Ma, Xuan Li |
| 2010 | ISCC | ACTGIS: A Web-based collaborative tiled Geospatial image map system. | Chunyang Hu, Yongwang Zhao, Xin Wei, Bowen Du, Yonggang Huang, Dianfu Ma, Xuan Li |
| 2010 | ISCC | An adaptive heuristic approach for distributed QoS-based service composition. | Jing Li, Yongwang Zhao, Min Liu, Hailong Sun, Dianfu Ma |
| 2010 | ISCC | SEDA4BPEL: A staged event-driven architecture for high-concurrency BPEL engine. | Dou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma |
| 2010 | UIC | Formal Analysis of Behavioural Equivalence for Trustworthy and Composite Web Services. | Yongwang Zhao, Chunyang Hu, Min Liu, Dianfu Ma |
| 2009 | ATC | Toward Trustworthy Semantic Web Service Discovery and Selection. | Jing Li, Dianfu Ma, Jun Han, Xiang Long |
| 2009 | DATE | Towards a formal semantics for the AADL behavior annex. | Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi |
| 2009 | ICECCS | A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts. | Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma |
| 2009 | ICIW | A Formal Description of Web Services Container Architecture. | Jian Liu, Dianfu Ma, Zhuqing Li, Dou Sun |
| 2009 | ICIW | An Approach to Preserving Consistency of SOAs in Dynamic Evolution. | Min Liu, Dianfu Ma, Yongwang Zhao, Dou Sun |
| 2009 | PDP | A Graph Transformation based Approach for Runtime Constrained Evolution of Service-Oriented Architectures. | Yongwang Zhao, Dianfu Ma, Min Liu, Chunyang Hu, Yongwang Huang |
| 2009 | SAC | An approach to identifying conversation dependency in service oriented system during dynamic evolution. | Min Liu, Dianfu Ma, Yongwang Zhao |
| 2008 | PRDC | Reliability Quantification of the Tree Structure Based Distributed System. | Dianfu Ma, Min Liu, Yongwang Zhao, Dou Sun |
| 2008 | SAC | SSCM: middleware for structure-based service collaboration. | Dianfu Ma, Min Liu, Yongwang Zhao, Chunyang Hu |
| 2007 | ICIW | Collaborative Visualization of Large Scale Datasets Using Web Services. | Yongwang Zhao, Chunyang Hu, Yonggang Huang, Dianfu Ma |
| 2007 | ISPDC | SOCOM: A Service-Oriented Collaboration Middleware for Multi-User Interaction with Web Services based Scientific Resources. | Yongwang Zhao, Dianfu Ma, Chunyang Hu, Min Liu, Yonggang Huang |
| 2005 | ICPADS | Cramer-Rao Bound Analysis of Quantized RSSI Based Localization in Wireless Sensor Networks. | Hongchi Shi, Xiaoli Li, Yi Shang, Dianfu Ma |