Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Dianfu
    Last name: Ma
    DBLP: 97/3616
    Rating: (not rated yet)

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 71  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Yongwang Zhao, Zhibin Yang, Dianfu Ma.
    A survey on formal specification and verification of separation kernels.
    Frontiers of Computer Science 2017, Volume 11 (0) 2017
    Conference paper
    Kebin Peng, Dianfu Ma.
    Tree-Structure CNN for Automated Theorem Proving.
    Neural Information Processing - 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part II 2017 (0) 2017
    Conference paper
    Feng Zhang, Yongwang Zhao, Dianfu Ma, Wensheng Niu.
    Formal Verification of Behavioral AADL Models by Stateful Timed CSP.
    IEEE Access 2017, Volume 5 (0) 2017
    Journal article
    Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao, Dianfu Ma.
    Towards a verified compiler prototype for the synchronous language SIGNAL.
    Frontiers of Computer Science 2016, Volume 10 (0) 2016
    Conference paper
    Yan Zhang, Zhoujun Li, Dianfu Ma.
    A Model Guided Security Analysis Approach for Android Applications.
    JSW 2016, Volume 11 (0) 2016
    Journal article
    Hualei Shen, Dianfu Ma, Yongwang Zhao, Hailong Sun, Sujun Sun, Rongwei Ye, Lei Huang, Bo Lang, Yan Lindsay Sun.
    MIAPS: A web-based system for remotely accessing and presenting medical images.
    Computer Methods and Programs in Biomedicine 2014, Volume 113 (0) 2014
    Journal article
    Hao Zeng, Dianfu Ma, Yongwang Zhao, Zhuqing Li.
    PBA4WSSP: a policy-based architecture for web services security processing.
    Service Oriented Computing and Applications 2014, Volume 8 (0) 2014
    Journal article
    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.
    Journal of Systems and Software 2014, Volume 93 (0) 2014
    Conference paper
    Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma.
    A verified transformation: from polychronous programs to a variant of clocked guarded actions.
    17th International Workshop on Software and Compilers for Embedded Systems, SCOPES '14, Sankt Goar, Germany, June 10-11, 2014 2014 (0) 2014
    Conference paper
    Wenjuan Wu, Dianfu Ma, Yongwang Zhao, Xianqi Zhao.
    Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph.
    Knowledge Science, Engineering and Management - 7th International Conference, KSEM 2014, Sibiu, Romania, October 16-18, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Hualei Shen, Yongwang Zhao, Dianfu Ma, Yong Guan.
    Query dependent multiview features fusion for effective medical image retrieval.
    Proceedings IEEE International Conference on Security, Pattern Analysis, and Cybernetics, SPAC 2014, Wuhan, China, October 18-19, 2014 2014 (0) 2014
    Conference paper
    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.
    Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013 2013 (0) 2013
    Conference paper
    Ying Wang, Dianfu Ma.
    An Automatic Development Process for Integrated Modular Avionics Software.
    JNW 2013, Volume 8 (0) 2013
    Conference paper
    Jing Li, Dianfu Ma.
    Suffix Tree Based Incremental Web Services Clustering Method.
    JNW 2013, Volume 8 (0) 2013
    Conference paper
    Yongwang Zhao, Zhuqing Li, Hualei Shen, Dianfu Ma.
    Development of global specification for dynamically adaptive software.
    Computing 2013, Volume 95 (0) 2013
    Conference paper
    Shujuan Zhao, Chune Li, Shuai Ma, Tiejun Ma, Dianfu Ma.
    Combining POS Tagging, Lucene Search and Similarity Metrics for Entity Linking.
    Web Information Systems Engineering - WISE 2013 - 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I 2013 (0) 2013
    Conference paper
    Hao Zeng, Dianfu Ma, Yongwang Zhao, Zhuqing Li.
    A policy-based architecture for web services authentication.
    2013 IEEE Symposium on Computers and Communications, ISCC 2013, Split, Croatia, 7-10 July, 2013 2013 (0) 2013
    Conference paper
    Bowen Du, Dianfu Ma.
    J. Applied Mathematics 2013, Volume 2013 (0) 2013
    Conference paper
    Zhe Wang, Dianfu Ma, Yongwang Zhao.
    A Web Services Container Supporting QoS Hierarchical Control with Multiple Measurements for Utilization.
    IEEE 11th International Conference on Dependable, Autonomic and Secure Computing, DASC 2013, Chengdu, China, December 21-22, 2013 2013 (0) 2013
    Journal article
    Yonggang Huang, Dianfu Ma, Jun Zhang, Yongwang Zhao.
    QDFA: Query-Dependent Feature Aggregation for Medical Image Retrieval.
    IEICE Transactions 2012, Volume 95 (0) 2012
    Conference paper
    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 Transactions 2012, Volume 95 (0) 2012
    Journal article
    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 Science Informatics 2012, Volume 5 (0) 2012
    Conference paper
    Bingyang Zhao, Yongwang Zhao, Dianfu Ma.
    A Constraint Mechanism for Dynamic Evolution of Service Oriented Systems.
    15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2012, Shenzhen, China, April 11-13, 2012 2012 (0) 2012
    Conference paper
    Hualei Shen, Dianfu Ma, Yongwang Zhao, Chunyao Yang, Sujun Sun, Bo Lang.
    Managing and Collaboratively Processing Medical Image via the Web.
    Web-Age Information Management - WAIM 2012 International Workshops: GDMM, IWSN, MDSP, USDM, and XMLDM Harbin, China, August 18-20, 2012 Proceedings 2012 (0) 2012
    Conference paper
    Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao.
    Automatic RT-Java Code Generation from AADL Models for ARINC653-Based Avionics Software.
    36th Annual IEEE Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012 2012 (0) 2012
    Show item 1 to 25 of 71  

    Your query returned 71 matches in the database.