Publications
Search

Publications :: Search

Show author

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

    Author information
    First name: Jifeng
    Last name: He
    DBLP: 66/3868
    Rating: (not rated yet)
    Bookmark:

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

    Show item 1 to 10 of 187  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Jifeng He, Qin Li.
    A Hybrid Relational Modelling Language.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Journal article
    Huixing Fang, Huibiao Zhu, Jifeng He.
    SMT-Based Symbolic Encoding and Formal Analysis of HML Models.
    MONET 2016, Volume 21 (0) 2016
    Conference paper
    Zhenyu Shan, Yingjie Xia, Peipei Hou, Jifeng He.
    Fusing Incomplete Multisensor Heterogeneous Data to Estimate Urban Traffic.
    IEEE MultiMedia 2016, Volume 23 (0) 2016
    Conference paper
    Jifeng He.
    A New Roadmap on Linking Theories of Programming.
    10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016 2016 (0) 2016
    Conference paper
    Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su.
    Automated coverage-driven testing: combining symbolic execution and model checking.
    SCIENCE CHINA Information Sciences 2016, Volume 59 (0) 2016
    Conference paper
    Jifeng He.
    A New Roadmap for Linking Theories of Programming.
    Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers 2017 (0) 2016
    Journal article
    Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke.
    Denotational semantics and its algebraic derivation for an event-driven system-level language.
    Formal Asp. Comput. 2015, Volume 27 (0) 2015
    Journal article
    Jing Liu, Xijiao Xiong, Zuohua Ding, Jifeng He.
    Modeling and analysis of interactive telemedicine systems.
    ISSE 2015, Volume 11 (0) 2015
    Conference paper
    Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin.
    Semantic theories of programs with nested interrupts.
    Frontiers of Computer Science 2015, Volume 9 (0) 2015
    Conference paper
    Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su.
    Combining Symbolic Execution and Model Checking for Data Flow Testing.
    37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1 2015 (0) 2015
    Show item 1 to 10 of 187  

    Your query returned 187 matches in the database.