default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDianfu Ma
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2022
[j19]Yu Tan
, Yongwang Zhao, Dianfu Ma, Xuejun Zhang:
A Comprehensive Formalization of AADL with Behavior Annex. Sci. Program. 2022: 2079880:1-2079880:26 (2022)- 2017
- [j18]Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu:
Formal Verification of Behavioral AADL Models by Stateful Timed CSP. IEEE Access 5: 27421-27438 (2017) - [j17]Yongwang Zhao, Zhibin Yang, Dianfu Ma:
A survey on formal specification and verification of separation kernels. Frontiers Comput. Sci. 11(4): 585-607 (2017) - 2016
- [j16]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): 37-53 (2016) - [j15]Yan Zhang, Zhoujun Li, Guowei Dong, Dianfu Ma:
一种基于三维树模型的源代码安全缺陷分类方法 (Novel Taxonomy of Security Weakness in Source Code Based on Three-dimension Tree Model). 计算机科学 43(5): 76-79 (2016) - [j14]Yan Zhang, Zhoujun Li, Dianfu Ma:
A Model Guided Security Analysis Approach for Android Applications. J. Softw. 11(7): 677-684 (2016) - 2014
- [j13]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): 266-283 (2014) - [j12]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: 42-68 (2014) - [j11]Hao Zeng, Dianfu Ma, Yongwang Zhao, Zhuqing Li:
PBA4WSSP: a policy-based architecture for web services security processing. Serv. Oriented Comput. Appl. 8(1): 55-72 (2014) - 2013
- [j10]Yongwang Zhao, Zhuqing Li, Hualei Shen, Dianfu Ma:
Development of global specification for dynamically adaptive software. Computing 95(9): 785-816 (2013) - [j9]Bowen Du, Dianfu Ma:
H∞-Based Pinning Synchronization of General Complex Dynamical Networks with Coupling Delays. J. Appl. Math. 2013: 275205:1-275205:8 (2013) - [j8]Ying Wang, Dianfu Ma:
An Automatic Development Process for Integrated Modular Avionics Software. J. Networks 8(5): 1088-1095 (2013) - [j7]Jing Li, Dianfu Ma:
Suffix Tree Based Incremental Web Services Clustering Method. J. Networks 8(7): 1566-1573 (2013) - 2012
- [j6]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): 61-75 (2012) - [j5]Yonggang Huang, Dianfu Ma, Jun Zhang, Yongwang Zhao:
QDFA: Query-Dependent Feature Aggregation for Medical Image Retrieval. IEICE Trans. Inf. Syst. 95-D(1): 275-279 (2012) - [j4]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. 95-D(2): 694-698 (2012) - 2011
- [j3]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): 388-409 (2011) - 2010
- [j2]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): 417-426 (2010) - [j1]Hongchi Shi, Xiaoli Li, Yi Shang, Dianfu Ma:
Error analysis of quantised RSSI based sensor network localisation. Int. J. Wirel. Mob. Comput. 4(1): 31-40 (2010)
Conference and Workshop Papers
- 2020
- [c57]Wenjing Xul, Yongwang Zhao, Dianfu Ma, YuXin Zhang, Qian Xiao:
Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles. TASE 2020: 89-96 - 2019
- [c56]Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu:
Fine-Grained Formal Specification and Analysis of Buddy Memory Allocation in Zephyr RTOS. ISORC 2019: 10-17 - 2017
- [c55]Kebin Peng, Dianfu Ma:
Tree-Structure CNN for Automated Theorem Proving. ICONIP (2) 2017: 3-12 - 2014
- [c54]Wenjuan Wu, Dianfu Ma, Yongwang Zhao, Xianqi Zhao:
Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph. KSEM 2014: 258-269 - [c53]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: 128-137 - [c52]Hualei Shen, Yongwang Zhao, Dianfu Ma, Yong Guan:
Query dependent multiview features fusion for effective medical image retrieval. SPAC 2014: 253-258 - 2013
- [c51]Zhe Wang, Dianfu Ma, Yongwang Zhao:
A Web Services Container Supporting QoS Hierarchical Control with Multiple Measurements for Utilization. DASC 2013: 39-46 - [c50]Hao Zeng, Dianfu Ma, Yongwang Zhao, Zhuqing Li:
A policy-based architecture for web services authentication. ISCC 2013: 417-422 - [c49]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: 463-470 - [c48]Shujuan Zhao, Chune Li, Shuai Ma, Tiejun Ma, Dianfu Ma:
Combining POS Tagging, Lucene Search and Similarity Metrics for Entity Linking. WISE (1) 2013: 503-509 - 2012
- [c47]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: 670-679 - [c46]Hualei Shen, Dianfu Ma, Yongwang Zhao, Rongwei Ye:
Collaborative annotation of medical images via web browser for teleradiology. ICCH 2012: 127-133 - [c45]Hao Zeng, Dianfu Ma, Zhuqing Li, Yongwang Zhao:
A Policy-Based Architecture for Web Services Security Processing. ICEBE 2012: 163-169 - [c44]Bingyang Zhao, Yongwang Zhao, Dianfu Ma:
A Constraint Mechanism for Dynamic Evolution of Service Oriented Systems. ISORC 2012: 103-110 - [c43]Hualei Shen, Dianfu Ma, Yongwang Zhao, Chunyao Yang, Sujun Sun, Bo Lang:
Managing and Collaboratively Processing Medical Image via the Web. WAIM Workshops 2012: 252-263 - 2011
- [c42]Jing Li, Dianfu Ma, Xiupei Mei, Hailong Sun, Zibin Zheng:
Adaptive QoS-Aware Service Process Reconfiguration. IEEE SCC 2011: 282-289 - [c41]Yongwang Zhao, Jing Li, Dou Sun, Dianfu Ma:
Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic. AINA 2011: 240-247 - [c40]Chunyang Hu, Yongwang Zhao, Jing Li, Dianfu Ma, Xuan Li:
Geospatial Web Service for Remote Sensing Data Visualization. AINA 2011: 594-601 - [c39]Zhuqing Li, Dianfu Ma, Yongwang Zhao, Jing Li, Qing Yang:
FSM4WSR: A Formal Model for Verifiable Web Service Runtime. APSCC 2011: 86-93 - [c38]Yujing Zhao, Dianfu Ma, Yongwang Zhao, Zhuqing Li:
Integrating Business Processes and Business Rules. APSCC 2011: 493-497 - [c37]Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao:
An AADL-Based Modeling Method for ARINC653-Based Avionics Software. COMPSAC 2011: 224-229 - [c36]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: 344-349 - [c35]Yongwang Zhao, Jing Li, Zhuqing Li, Dianfu Ma:
Towards Hierarchical Modeling and Analysis of Web Services Choreography. IESS 2011: 1-15 - [c34]Zhuqing Li, Dianfu Ma, Dou Sun, Jian Liu:
SEDA4SC: A staged event-driven architecture for adaptive service computing runtime. ISCC 2011: 994-1001 - 2010
- [c33]Qing Yang, Dianfu Ma, Yongwang Zhao, Zhuqing Li:
Towards a Formal Verification Approach for Implementation of Web Services Specifications. APSCC 2010: 269-276 - [c32]Yonggang Huang, Jun Zhang, Yongwang Zhao, Dianfu Ma:
Medical Image Retrieval with Query-Dependent Feature Fusion Based on One-Class SVM. CSE 2010: 176-183 - [c31]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: 507-510 - [c30]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: 657-660 - [c29]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: 521-528 - [c28]Jing Li, Yongwang Zhao, Min Liu, Hailong Sun, Dianfu Ma:
An adaptive heuristic approach for distributed QoS-based service composition. ISCC 2010: 687-694 - [c27]Dou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma:
SEDA4BPEL: A staged event-driven architecture for high-concurrency BPEL engine. ISCC 2010: 744-749 - [c26]Jing Li, Yongwang Zhao, Jiawen Ren, Dianfu Ma:
Towards adaptive web services QoS prediction. SOCA 2010: 1-8 - [c25]Dou Sun, Yongwang Zhao, Hao Zeng, Dianfu Ma:
An operational semantics of WS-BPEL based on abstract BPEL machine. SOCA 2010: 1-4 - [c24]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: 159-164 - [c23]Yongwang Zhao, Chunyang Hu, Min Liu, Dianfu Ma:
Formal Analysis of Behavioural Equivalence for Trustworthy and Composite Web Services. UIC/ATC Workshops 2010: 428-433 - 2009
- [c22]Jing Li, Dianfu Ma, Jun Han, Xiang Long:
Toward Trustworthy Semantic Web Service Discovery and Selection. ATC 2009: 209-220 - [c21]Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi:
Towards a formal semantics for the AADL behavior annex. DATE 2009: 1166-1171 - [c20]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: 347-352 - [c19]Jian Liu, Dianfu Ma, Zhuqing Li, Dou Sun:
A Formal Description of Web Services Container Architecture. ICIW 2009: 30-36 - [c18]Min Liu, Dianfu Ma, Yongwang Zhao, Dou Sun:
An Approach to Preserving Consistency of SOAs in Dynamic Evolution. ICIW 2009: 505-509 - [c17]Jian Liu, Dianfu Ma, Zhuqing Li, Dou Sun:
A Formal Model of Web Services Transport Layer. ICNS 2009: 474-480 - [c16]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: 203-209 - [c15]Jing Li, Dianfu Ma, Zhuo Zhao, Hong Zhu, Lusong Li:
An Efficient Semantic Web Services Matching Mechanism. RED 2009: 110-119 - [c14]Min Liu, Dianfu Ma, Yongwang Zhao:
An approach to identifying conversation dependency in service oriented system during dynamic evolution. SAC 2009: 1072-1073 - [c13]Jiru Shan, Dianfu Ma, Bin Zhang, Wanming Luo:
Research and Implementation of Code Generator for Information System Based on SOA. ScalCom-EmbeddedCom 2009: 143-147 - 2008
- [c12]Yongwang Zhao, Dianfu Ma, Min Liu, Chunyang Hu:
Coordination Behavioral Structure: A Web Services Coordination Model in Dynamic Environment. ACIS-ICIS 2008: 611-617 - [c11]Bowen Du, Leishi Xu, Dianfu Ma, Weifeng Lv, Tongyu Zhu:
Missing Data Compensation Model in Real-Time Traffic Information Service System. FSKD (5) 2008: 371-378 - [c10]Chunyang Hu, Yongwang Zhao, Dianfu Ma, Xiaoliang Sun, Jun Shao, Xuan Li:
Collaborative geospatial web services for multi-dimension remote sensing data. ICDIM 2008: 456-463 - [c9]Dianfu Ma, Min Liu, Yongwang Zhao, Dou Sun:
Reliability Quantification of the Tree Structure Based Distributed System. PRDC 2008: 351-352 - [c8]Dianfu Ma, Min Liu, Yongwang Zhao, Chunyang Hu:
SSCM: middleware for structure-based service collaboration. SAC 2008: 2224-2225 - [c7]Li Zhang, Dianfu Ma, Yiming Zhou:
A target-driven core curriculum development. Summit on Computing Education in China 2008: 5 - 2007
- [c6]Bolian Yin, Hongchi Shi, Yi Shang, Dianfu Ma:
Adaptive clustering and transmission range adjustment in wireless sensor networks. Communications, Internet, and Information Technology 2007: 169-174 - [c5]Yongwang Zhao, Chunyang Hu, Yonggang Huang, Dianfu Ma:
Collaborative Visualization of Large Scale Datasets Using Web Services. ICIW 2007: 62 - [c4]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: 195-202 - [c3]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: 319-324 - 2006
- [c2]Yan Zhu, Dianfu Ma:
RBUS: A Middleware for Reliable Web Services. Wireless and Optical Communications 2006: 119-125 - 2005
- [c1]Hongchi Shi, Xiaoli Li, Yi Shang, Dianfu Ma:
Cramer-Rao Bound Analysis of Quantized RSSI Based Localization in Wireless Sensor Networks. ICPADS (2) 2005: 32-36
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
