Publications
Search

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)
    Bookmark:

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

    Show item 1 to 10 of 69  
    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
    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
    Show item 1 to 10 of 69  

    Your query returned 69 matches in the database.