Dianfu Ma

According to our database1, Dianfu Ma authored at least 71 papers between 2005 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
A survey on formal specification and verification of separation kernels.
Frontiers Comput. Sci., 2017

Formal Verification of Behavioral AADL Models by Stateful Timed CSP.
IEEE Access, 2017

Tree-Structure CNN for Automated Theorem Proving.
Proceedings of the Neural Information Processing - 24th International Conference, 2017

2016
A Model Guided Security Analysis Approach for Android Applications.
JSW, 2016

Towards a verified compiler prototype for the synchronous language SIGNAL.
Frontiers Comput. Sci., 2016

2014
PBA4WSSP: a policy-based architecture for web services security processing.
Service Oriented Computing and Applications, 2014

From AADL to Timed Abstract State Machines: A verified model transformation.
Journal of Systems and Software, 2014

MIAPS: A web-based system for remotely accessing and presenting medical images.
Computer Methods and Programs in Biomedicine, 2014

Query dependent multiview features fusion for effective medical image retrieval.
Proceedings of the Proceedings IEEE International Conference on Security, 2014

A verified transformation: from polychronous programs to a variant of clocked guarded actions.
Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems, 2014

Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph.
Proceedings of the Knowledge Science, Engineering and Management, 2014

2013
An Automatic Development Process for Integrated Modular Avionics Software.
JNW, 2013

Suffix Tree Based Incremental Web Services Clustering Method.
JNW, 2013

H-Based Pinning Synchronization of General Complex Dynamical Networks with Coupling Delays.
J. Applied Mathematics, 2013

Development of global specification for dynamically adaptive software.
Computing, 2013

Combining POS Tagging, Lucene Search and Similarity Metrics for Entity Linking.
Proceedings of the Web Information Systems Engineering - WISE 2013, 2013

A multi-resource load balancing algorithm for cloud cache systems.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

A policy-based architecture for web services authentication.
Proceedings of the 2013 IEEE Symposium on Computers and Communications, 2013

A Web Services Container Supporting QoS Hierarchical Control with Multiple Measurements for Utilization.
Proceedings of the IEEE 11th International Conference on Dependable, 2013

2012
A New Re-Ranking Method Using Enhanced Pseudo-Relevance Feedback for Content-Based Medical Image Retrieval.
IEICE Transactions, 2012

QDFA: Query-Dependent Feature Aggregation for Medical Image Retrieval.
IEICE Transactions, 2012

A hierarchical organization approach of multi-dimensional remote sensing data for lightweight Web Map Services.
Earth Science Informatics, 2012

Managing and Collaboratively Processing Medical Image via the Web.
Proceedings of the Web-Age Information Management, 2012

A Constraint Mechanism for Dynamic Evolution of Service Oriented Systems.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2012

A Policy-Based Architecture for Web Services Security Processing.
Proceedings of the Ninth IEEE International Conference on e-Business Engineering, 2012

Collaborative annotation of medical images via web browser for teleradiology.
Proceedings of the International Conference on Computerized Healthcare, 2012

Automatic RT-Java Code Generation from AADL Models for ARINC653-Based Avionics Software.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2011
DH4SS: a distributed heuristic for QoS-based service selection.
IJWGS, 2011

SEDA4SC: A staged event-driven architecture for adaptive service computing runtime.
Proceedings of the 16th IEEE Symposium on Computers and Communications, 2011

Towards Hierarchical Modeling and Analysis of Web Services Choreography.
Proceedings of the Exploring Services Science - Second International Conference, 2011

Two Formal Semantics of a Subset of the AADL.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

An AADL-Based Modeling Method for ARINC653-Based Avionics Software.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Integrating Business Processes and Business Rules.
Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

FSM4WSR: A Formal Model for Verifiable Web Service Runtime.
Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic.
Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications, 2011

Geospatial Web Service for Remote Sensing Data Visualization.
Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications, 2011

Adaptive QoS-Aware Service Process Reconfiguration.
Proceedings of the IEEE International Conference on Services Computing, 2011

2010
Error analysis of quantised RSSI based sensor network localisation.
IJWMC, 2010

Applied research of data sensing and service to ubiquitous intelligent transportation system.
Frontiers Comput. Sci. China, 2010

Formal Analysis of Behavioural Equivalence for Trustworthy and Composite Web Services.
Proceedings of the Symposia and Workshops on Ubiquitous, 2010

Towards a Graph Grammar Based Verification Approach for Runtime Constrained Evolution of Service-Oriented Architectures.
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

An operational semantics of WS-BPEL based on abstract BPEL machine.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2010

Towards adaptive web services QoS prediction.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2010

SEDA4BPEL: A staged event-driven architecture for high-concurrency BPEL engine.
Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

An adaptive heuristic approach for distributed QoS-based service composition.
Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

ACTGIS: A Web-based collaborative tiled Geospatial image map system.
Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

OGC-compatible high-performance web map service for remote sensing data visualization.
Proceedings of the iiWAS'2010, 2010

An Efficient Algorithm to Estimate Real-time Traffic Information based on Multiple Data Sources.
Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010

Medical Image Retrieval with Query-Dependent Feature Fusion Based on One-Class SVM.
Proceedings of the 13th IEEE International Conference on Computational Science and Engineering, 2010

Towards a Formal Verification Approach for Implementation of Web Services Specifications.
Proceedings of the 5th IEEE Asia-Pacific Services Computing Conference, 2010

2009
Research and Implementation of Code Generator for Information System Based on SOA.
Proceedings of the International Conference on Scalable Computing and Communications / Eighth International Conference on Embedded Computing, 2009

An approach to identifying conversation dependency in service oriented system during dynamic evolution.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

An Efficient Semantic Web Services Matching Mechanism.
Proceedings of the Resource Discovery, Second International Workshop, 2009

A Graph Transformation based Approach for Runtime Constrained Evolution of Service-Oriented Architectures.
Proceedings of the 17th Euromicro International Conference on Parallel, 2009

A Formal Model of Web Services Transport Layer.
Proceedings of the Fifth International Conference on Networking and Services, 2009

An Approach to Preserving Consistency of SOAs in Dynamic Evolution.
Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009

A Formal Description of Web Services Container Architecture.
Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009

A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Towards a formal semantics for the AADL behavior annex.
Proceedings of the Design, Automation and Test in Europe, 2009

Toward Trustworthy Semantic Web Service Discovery and Selection.
Proceedings of the Autonomic and Trusted Computing, 6th International Conference, 2009

2008
A target-driven core curriculum development.
Proceedings of the First ACM Summit on Computing Education in China, 2008

SSCM: middleware for structure-based service collaboration.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Reliability Quantification of the Tree Structure Based Distributed System.
Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

Collaborative geospatial web services for multi-dimension remote sensing data.
Proceedings of the Third IEEE International Conference on Digital Information Management (ICDIM), 2008

Missing Data Compensation Model in Real-Time Traffic Information Service System.
Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008

Coordination Behavioral Structure: A Web Services Coordination Model in Dynamic Environment.
Proceedings of the 7th IEEE/ACIS International Conference on Computer and Information Science, 2008

2007
A QoS-aware middleware for ensuring web services reliability.
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2007

SOCOM: A Service-Oriented Collaboration Middleware for Multi-User Interaction with Web Services based Scientific Resources.
Proceedings of the 6th International Symposium on Parallel and Distributed Computing (ISPDC 2007), 2007

Collaborative Visualization of Large Scale Datasets Using Web Services.
Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

2006
RBUS: A Middleware for Reliable Web Services.
Proceedings of the Sixth IASTED International Multi-Conference on Wireless and Optical Communications: Conference on Communication Systems and Applications, 2006

2005
Cramer-Rao Bound Analysis of Quantized RSSI Based Localization in Wireless Sensor Networks.
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005


  Loading...