Dianfu Ma
Orcid: 0000-0002-4769-9483
According to our database1,
Dianfu Ma
authored at least 76 papers
between 2005 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
2020
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020
2019
Fine-Grained Formal Specification and Analysis of Buddy Memory Allocation in Zephyr RTOS.
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019
2017
Frontiers Comput. Sci., 2017
IEEE Access, 2017
Proceedings of the Neural Information Processing - 24th International Conference, 2017
2016
一种基于三维树模型的源代码安全缺陷分类方法 (Novel Taxonomy of Security Weakness in Source Code Based on Three-dimension Tree Model).
计算机科学, 2016
Frontiers Comput. Sci., 2016
2014
Serv. Oriented Comput. Appl., 2014
J. Syst. Softw., 2014
Comput. Methods Programs Biomed., 2014
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
J. Networks, 2013
H<sub>∞</sub>-Based Pinning Synchronization of General Complex Dynamical Networks with Coupling Delays.
J. Appl. Math., 2013
Computing, 2013
Proceedings of the Web Information Systems Engineering - WISE 2013, 2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
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 Trans. Inf. Syst., 2012
IEICE Trans. Inf. Syst., 2012
A hierarchical organization approach of multi-dimensional remote sensing data for lightweight Web Map Services.
Earth Sci. Informatics, 2012
Proceedings of the Web-Age Information Management, 2012
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2012
Proceedings of the Ninth IEEE International Conference on e-Business Engineering, 2012
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
Int. J. Web Grid Serv., 2011
Proceedings of the 16th IEEE Symposium on Computers and Communications, 2011
Proceedings of the Exploring Services Science - Second International Conference, 2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011
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
Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications, 2011
Proceedings of the IEEE International Conference on Services Computing, 2011
2010
Int. J. Wirel. Mob. Comput., 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
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2010
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2010
Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010
Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010
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
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
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
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
Proceedings of the Fifth International Conference on Networking and Services, 2009
Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009
Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
Proceedings of the Autonomic and Trusted Computing, 6th International Conference, 2009
2008
Proceedings of the First ACM Summit on Computing Education in China, 2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008
Proceedings of the Third IEEE International Conference on Digital Information Management (ICDIM), 2008
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
Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007
Adaptive clustering and transmission range adjustment in wireless sensor networks.
Proceedings of the Sixth IASTED International Conference on Communications, 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