Dianfu Ma

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