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 25 of 189  
    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
    Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su.
    A Survey on Data-Flow Testing.
    ACM Comput. Surv. 2017, Volume 50 (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
    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
    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 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
    Conference paper
    Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He.
    Probabilistic Denotational Semantics for an Interrupt Modelling Language.
    20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015 2015 (0) 2015
    Journal article
    Jianwen Li, Geguang Pu, Lijun Zhang 0001, Moshe Y. Vardi, Jifeng He.
    Fast LTL Satisfiability Checking by SAT Solvers.
    CoRR 2014, Volume 0 (0) 2014
    Journal article
    Jianwen Li, Lijun Zhang 0001, Geguang Pu, Moshe Y. Vardi, Jifeng He.
    LTLf satisfiability checking.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Jianwen Li, Lijun Zhang 0001, Geguang Pu, Moshe Y. Vardi, Jifeng He.
    LTLf Satisfiability Checking.
    ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014) 2014 (0) 2014
    Conference paper
    Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu 0001.
    Investigating System Survivability from a Probabilistic Perspective.
    IEICE Transactions 2014, Volume 97 (0) 2014
    Conference paper
    Qin Li, Yongxin Zhao, Huibiao Zhu, Jifeng He.
    A UTP semantic model for Orc language with execution status and fault handling.
    Frontiers of Computer Science 2014, Volume 8 (0) 2014
    Conference paper
    Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang 0001, Jifeng He.
    Aalta: an LTL satisfiability checker over Infinite/Finite traces.
    Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014 2014 (0) 2014
    Conference paper
    Ting Su, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Siyuan Jiang, Jianjun Zhao.
    Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution.
    Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, California, USA, June 30 - July 2, 2014 2014 (0) 2014
    Conference paper
    Longfei Zhu, Qiwen Xu, Jifeng He, Huibiao Zhu.
    A Formal Model for a Hybrid Programming Language.
    Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers 2015 (0) 2014
    Journal article
    Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He.
    A novel requirement analysis approach for periodic control systems.
    Frontiers of Computer Science 2013, Volume 7 (0) 2013
    Journal article
    Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding.
    Hybrid MARTE statecharts.
    Frontiers of Computer Science 2013, Volume 7 (0) 2013
    Conference paper
    Jianwen Li, Geguang Pu, Lijun Zhang 0001, Zheng Wang, Jifeng He, Kim G. Larsen.
    On the Relationship between LTL Normal Forms and Büchi Automata.
    Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday 2013 (0) 2013
    Conference paper
    Jifeng He.
    A Clock-Based Framework for Construction of Hybrid Systems.
    Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Jifeng He.
    Hybrid Relation Calculus.
    2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013 2013 (0) 2013
    Show item 1 to 25 of 189  

    Your query returned 189 matches in the database.