Jifeng He

Publication Activity (10 Years)

Years Active: 1983-2021
Publications (10 Years): 24

Top Venues

CoRR

Frontiers Comput. Sci.

ICECCS

UTP

Publications

Jifeng He, Chenggang Wu, Huawei Li, Yang Guo, Tao Li
Editorial for the special issue on reliability and power efficiency for HPC. CCF Trans. High Perform. Comput. 3 (1) (2021)
Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP. Formal Aspects Comput. 32 (2-3) (2020)
Jing Liu, Yan Zhang, Jiazhen Han, Jifeng He, Junfeng Sun, Tingliang Zhou
Intelligent Hazard-Risk Prediction Model for Train Control Systems. IEEE Trans. Intell. Transp. Syst. 21 (11) (2020)
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. ESEC/SIGSOFT FSE (2020)
Mingsong Chen, Saijie Huang, Xin Fu, Xiao Liu, Jifeng He
Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource Allocation. IEEE Trans. Cloud Comput. 8 (2) (2020)
Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL. ACM Trans. Softw. Eng. Methodol. 28 (3) (2019)
Jing Liu, Tengfei Li, Zuohua Ding, Yuqing Qian, Haiying Sun, Jifeng He
AADL+: a simulation-based methodology for cyber-physical systems. Frontiers Comput. Sci. 13 (3) (2019)
Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He
Robustness Verification of Classification Deep Neural Networks via Linear Programming. CVPR (2019)
Xiaoran Zhu, Min Zhang, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He
Toward a Unified Executable Formal Automobile OS Kernel and Its Applications. IEEE Trans. Reliab. 68 (3) (2019)
Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He
An explicit transition system construction approach to LTL satisfiability checking. Formal Aspects Comput. 30 (2) (2018)
Jifeng He, Qin Li
A new roadmap for linking theories of programming and its applications on GCL and CSP. Sci. Comput. Program. 162 (2018)
Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He
Accelerating LTL satisfiability checking by SAT solvers. J. Log. Comput. 28 (6) (2018)
Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su
A Survey on Data-Flow Testing. ACM Comput. Surv. 50 (1) (2017)
Jifeng He, Qin Li
A Hybrid Relational Modelling Language. Concurrency, Security, and Puzzles (2017)
Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su
Automated coverage-driven testing: combining symbolic execution and model checking. Sci. China Inf. Sci. 59 (9) (2016)
Zhenyu Shan, Yingjie Xia, Peipei Hou, Jifeng He
Fusing Incomplete Multisensor Heterogeneous Data to Estimate Urban Traffic. IEEE Multim. 23 (3) (2016)
Huixing Fang, Huibiao Zhu, Jifeng He
SMT-Based Symbolic Encoding and Formal Analysis of HML Models. Mob. Networks Appl. 21 (1) (2016)
Jifeng He
A New Roadmap for Linking Theories of Programming. UTP (2016)
Jifeng He
A New Roadmap on Linking Theories of Programming. TASE (2016)
Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He
Probabilistic Denotational Semantics for an Interrupt Modelling Language. ICECCS (2015)
Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin
Semantic theories of programs with nested interrupts. Frontiers Comput. Sci. 9 (3) (2015)
Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su
Combining Symbolic Execution and Model Checking for Data Flow Testing. ICSE (1) (2015)
Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke
Denotational semantics and its algebraic derivation for an event-driven system-level language. Formal Aspects Comput. 27 (1) (2015)
Jing Liu, Xijiao Xiong, Zuohua Ding, Jifeng He
Modeling and analysis of interactive telemedicine systems. Innov. Syst. Softw. Eng. 11 (1) (2015)
Longfei Zhu, Qiwen Xu, Jifeng He, Huibiao Zhu
A Formal Model for a Hybrid Programming Language. UTP (2014)
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He
LTLf Satisfiability Checking. ECAI (2014)
Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He
Fast LTL Satisfiability Checking by SAT Solvers. CoRR (2014)
Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu
Investigating System Survivability from a Probabilistic Perspective. IEICE Trans. Inf. Syst. (9) (2014)
Qin Li, Yongxin Zhao, Huibiao Zhu, Jifeng He
A UTP semantic model for Orc language with execution status and fault handling. Frontiers Comput. Sci. 8 (5) (2014)
Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, Jifeng He
Aalta: an LTL satisfiability checker over Infinite/Finite traces. SIGSOFT FSE (2014)
Ting Su, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Siyuan Jiang, Jianjun Zhao
Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution. SERE (2014)
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He
LTLf satisfiability checking. CoRR (2014)
Jifeng He
A Clock-Based Framework for Construction of Hybrid Systems. ICTAC (2013)
Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He
LTL Satisfiability Checking Revisited. TIME (2013)
Mingsong Chen, Lei Zhou, Geguang Pu, Jifeng He
Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis. CODES+ISSS (2013)
Jifeng He
Hybrid Relation Calculus. ICECCS (2013)
Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim Guldstrand Larsen
On the Relationship between LTL Normal Forms and Büchi Automata. Theories of Programming and Formal Methods (2013)
Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He
Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. ICFEM (2013)
Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding
Hybrid MARTE statecharts. Frontiers Comput. Sci. 7 (1) (2013)
Jianwen Li, Geguang Pu, Lijun Zhang, Yinbo Yao, Moshe Y. Vardi, Jifeng He
Polsat: A Portfolio LTL Satisfiability Solver. CoRR (2013)
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 Comput. Sci. 7 (2) (2013)
Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He
The stochastic semantics and verification for periodic control systems. Sci. China Inf. Sci. 55 (12) (2012)
Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu
MDM: A Mode Diagram Modeling Framework FTSCS (2012)
Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. J. Log. Algebraic Methods Program. 81 (1) (2012)
Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. ICECCS (2012)
Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding
Spatio-temporal UML Statechart for Cyber-Physical Systems. ICECCS (2012)
Huibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin
Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude. UTP (2012)
Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He
MDM: A Mode Diagram Modeling Framework for Periodic Control Systems CoRR (2012)
Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He
A Denotational Model for Instantaneous Signal Calculus. SEFM (2012)
Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin
Denotational Semantics for a Probabilistic Timed Shared-Variable Language. UTP (2012)
Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang
Formal Specification of Hybrid MARTE Statecharts. TASE (2012)
Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen
On the Relationship between LTL Normal Forms and Buechi Automata CoRR (2012)
Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu
Formal Model of Interrupt Program from a Probabilistic Perspective. ICECCS (2011)
Lichen Zhang, Jifeng He
Aspect-Oriented QoS Specification for Cyber-Physical Systems. ICHIT (2) (2011)
Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen
Algebraic approach to linking the semantics of web services. Innov. Syst. Softw. Eng. 7 (3) (2011)
Yongxin Zhao, Jifeng He
Towards a Signal Calculus for Event-Based Synchronous Languages. ICFEM (2011)
Lichen Zhang, Jifeng He
MDA Approach for Non-functional Properties of Dependable and Distributed Real-Time Systems. ICHIT (2) (2011)
Lichen Zhang, Jifeng He
A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems. ICHIT (2) (2011)
Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu
A Unifying Approach to Validating Specification-Oriented XML Constraints. HASE (2011)
Jifeng He
A Probabilistic BPEL-Like Language. UTP (2010)
Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen
Linking denotational semantics with operational semantics for web services. Innov. Syst. Softw. Eng. 6 (4) (2010)
Qin Li, Huibiao Zhu, Jifeng He
A Denotational Semantical Model for Orc Language. ICTAC (2010)
Huibiao Zhu, Fan Yang, Jifeng He
Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language. UTP (2010)
Jifeng He, Tony Hoare
CSP is a retract of CCS. Theor. Comput. Sci. 411 (11-13) (2010)
Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu
SPARDL: A Requirement Modeling Language for Periodic Control System. ISoLA (1) (2010)
Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio
A process algebraic framework for specification and validation of real-time systems. Formal Aspects Comput. 22 (2) (2010)
Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen
PTSC: probability, time and shared-variable concurrency. Innov. Syst. Softw. Eng. 5 (4) (2009)
Bernhard K. Aichernig, Jifeng He
Mutation testing in UTP. Formal Aspects Comput. 21 (1-2) (2009)
Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders
Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. SEW (2009)
Huibiao Zhu, Yongxin Zhao, Jifeng He
Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. Australian Software Engineering Conference (2009)
Jifeng He
Probabilistic Programming With Coordination and Compensation. SSIRI (2009)
Qin Li, Huibiao Zhu, Jifeng He
A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. Australian Software Engineering Conference (2009)
Jifeng He
Transaction Calculus. HASE (2008)
Jifeng He
Refinement and test case generation in Unifying Theory of Programming. ICSM (2008)
Jifeng He
Transaction Calculus - (Invited Paper). UTP (2008)
Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin
Denotational Approach to an Event-Driven System-Level Language. UTP (2008)
Jifeng He
Service refinement. Sci. China Ser. F Inf. Sci. 51 (6) (2008)
Jing Li, Huibiao Zhu, Jifeng He
An Observational Model for Transactional Calculus of Services Orchestration. ICTAC (2008)
Jing Li, Huibiao Zhu, Jifeng He
Specifying and Verifying Web Transactions. FORTE (2008)
Huibiao Zhu, Jifeng He, Jonathan P. Bowen
From algebraic semantics to denotational semantics for Verilog. Innov. Syst. Softw. Eng. 4 (4) (2008)
Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He
Execution Semantics for rCOS. APSEC (2008)
Jifeng He
Modelling Coordination and Compensation. ISoLA (2008)
Qin Li, Huibiao Zhu, Jifeng He
Towards the Service Composition Through Buses. HASE (2008)
Jifeng He
Service Refinement. APSEC (2008)
Jifeng He
Transaction Calculus. Petri Nets (2008)
Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He
A Denotational Model for Web Services Choreography. ICDCIT (2008)
Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen
Algebraic Approach to Linking the Semantics of Web Services. SEFM (2007)
Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He
The Validation and Verification of WSCDL. APSEC (2007)
Jifeng He
Linking Semantic Models. ICTAC (2007)
Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan
A Model of Component-Based Programming. FSEN (2007)
Huibiao Zhu, Jifeng He, Jonathan P. Bowen
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. SEW (2007)
Jifeng He, Huibiao Zhu, Geguang Pu
A model for BPEL-like languages. Frontiers Comput. Sci. China 1 (1) (2007)
Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu
Modeling and Verifying Web Services Choreography Using Process Algebra. SEW (2007)
Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li
An Operational Approach to BPEL-like Programming. SEW (2007)
Jifeng He
UTP Semantics for Web Services. IFM (2007)
Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He
A Formal Model for Compensable Transactions. ICECCS (2007)
Jifeng He
Compensable Programs. Formal Methods and Hybrid Real-Time Systems (2007)
Jing Li, Huibiao Zhu, Jifeng He
Algebraic Semantics for Compensable Transactions. ICTAC (2007)
Huibiao Zhu, Jifeng He, Jing Li
Unifying Denotational Semantics with Operational Semantics for Web Services. ICDCIT (2007)
Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He
Looking into Compensable Transactions. SEW (2007)

Jifeng He.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jifeng He