Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJifeng He 0001
何积丰
Person information
- unicode name: 何积丰
- affiliation: East China Normal University, Shanghai, China
- affiliation: United Nations University, International Institute for Software Technology, Macau
- affiliation: Oxford University, Computing Laboratory, UK
- affiliation: University of York, Department of Computer Science, UK
Other persons with the same name
- Jifeng He 0002 — Hangzhou Normal University, Institute of Service Engineering, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j53]Wenbing Tang
, Yuan Zhou, Haiying Sun, Yuhong Zhang, Yang Liu, Zuohua Ding, Jing Liu, Jifeng He:
GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks. IEEE Robotics Autom. Lett. 8(3): 1603-1610 (2023)- [c150]Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, Zhendong Su:
An Empirical Study of Functional Bugs in Android Apps. ISSTA 2023: 1319-1331 - [i6]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. CoRR abs/2306.01260 (2023) - 2022
- [c149]Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He:
A Novel Approach to Maintain Traceability between Safety Requirements and Model Design. SEKE 2022: 31-34 - 2021
- [j52]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): 1-3 (2021) - 2020
- [j51]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): 275-314 (2020) - [j50]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): 443-458 (2020) - [j49]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): 4693-4704 (2020) - [c148]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: 1376-1386
2010 – 2019
- 2019
- [j48]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): 516-538 (2019) - [j47]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): 14:1-14:46 (2019) - [j46]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): 1117-1133 (2019) - [c147]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: 11418-11427 - 2018
- [j45]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): 193-217 (2018) - [j44]Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He:
Accelerating LTL satisfiability checking by SAT solvers. J. Log. Comput. 28(6): 1011-1030 (2018) - [j43]Jifeng He, Qin Li:
A new roadmap for linking theories of programming and its applications on GCL and CSP. Sci. Comput. Program. 162: 3-34 (2018) - [p2]Jifeng He:
Linking Theories of Probabilistic Programming. Symposium on Real-Time and Hybrid Systems 2018: 186-210 - [e4]Jun Pang, Chenyi Zhang, Jifeng He, Jian Weng:
2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018. IEEE Computer Society 2018, ISBN 978-1-5386-7305-8 [contents] - 2017
- [j42]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): 5:1-5:35 (2017) - [c146]Jifeng He, Qin Li:
A Hybrid Relational Modelling Language. Concurrency, Security, and Puzzles 2017: 124-143 - 2016
- [j41]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): 98101 (2016) - [j40]Huixing Fang, Huibiao Zhu, Jifeng He:
SMT-Based Symbolic Encoding and Formal Analysis of HML Models. Mob. Networks Appl. 21(1): 35-52 (2016) - [c145]Jifeng He:
A New Roadmap on Linking Theories of Programming. TASE 2016: 2 - [c144]Jifeng He:
A New Roadmap for Linking Theories of Programming. UTP 2016: 26-43 - 2015
- [j39]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): 133-166 (2015) - [j38]Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin:
Semantic theories of programs with nested interrupts. Frontiers Comput. Sci. 9(3): 331-345 (2015) - [j37]Jing Liu, Xijiao Xiong, Zuohua Ding, Jifeng He:
Modeling and analysis of interactive telemedicine systems. Innov. Syst. Softw. Eng. 11(1): 55-69 (2015) - [c143]Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He:
Probabilistic Denotational Semantics for an Interrupt Modelling Language. ICECCS 2015: 160-169 - [c142]Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su:
Combining Symbolic Execution and Model Checking for Data Flow Testing. ICSE (1) 2015: 654-665 - 2014
- [j36]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): 709-725 (2014) - [j35]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. 97-D(9): 2356-2370 (2014) - [c141]Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTLf Satisfiability Checking. ECAI 2014: 513-518 - [c140]Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, Jifeng He:
Aalta: an LTL satisfiability checker over Infinite/Finite traces. SIGSOFT FSE 2014: 731-734 - [c139]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: 98-107 - [c138]Longfei Zhu, Qiwen Xu, Jifeng He, Huibiao Zhu:
A Formal Model for a Hybrid Programming Language. UTP 2014: 125-142 - [i5]Jianwen Li, Geguang Pu, Lijun Zhang, Moshe Y. Vardi, Jifeng He:
Fast LTL Satisfiability Checking by SAT Solvers. CoRR abs/1401.5677 (2014) - [i4]Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTLf satisfiability checking. CoRR abs/1403.1666 (2014) - 2013
- [j34]Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding:
Hybrid MARTE statecharts. Frontiers Comput. Sci. 7(1): 95-108 (2013) - [j33]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): 214-235 (2013) - [c137]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: 256-270 - [c136]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: 14:1-14:10 - [c135]Jifeng He:
Hybrid Relation Calculus. ICECCS 2013: 2 - [c134]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: 165-181 - [c133]Jifeng He:
A Clock-Based Framework for Construction of Hybrid Systems. ICTAC 2013: 22-41 - [c132]Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTL Satisfiability Checking Revisited. TIME 2013: 91-98 - [i3]Jianwen Li, Geguang Pu, Lijun Zhang, Yinbo Yao, Moshe Y. Vardi, Jifeng He:
Polsat: A Portfolio LTL Satisfiability Solver. CoRR abs/1311.1602 (2013) - 2012
- [j32]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): 2675-2693 (2012) - [j31]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): 2-25 (2012) - [c131]Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding:
Spatio-temporal UML Statechart for Cyber-Physical Systems. ICECCS 2012: 137-146 - [c130]Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang:
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. ICECCS 2012: 293-301 - [c129]Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He:
A Denotational Model for Instantaneous Signal Calculus. SEFM 2012: 126-140 - [c128]Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang:
Formal Specification of Hybrid MARTE Statecharts. TASE 2012: 59-66 - [c127]Huibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin:
Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude. UTP 2012: 164-185 - [c126]Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin:
Denotational Semantics for a Probabilistic Timed Shared-Variable Language. UTP 2012: 224-247 - [c125]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: 135-149 - [i2]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 abs/1207.0922 (2012) - [i1]Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen:
On the Relationship between LTL Normal Forms and Buechi Automata. CoRR abs/1207.3866 (2012) - 2011
- [j30]Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen:
Algebraic approach to linking the semantics of web services. Innov. Syst. Softw. Eng. 7(3): 209-224 (2011) - [c124]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: 33-40 - [c123]Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu:
Formal Model of Interrupt Program from a Probabilistic Perspective. ICECCS 2011: 87-94 - [c122]Yongxin Zhao, Jifeng He:
Towards a Signal Calculus for Event-Based Synchronous Languages. ICFEM 2011: 1-13 - [c121]Lichen Zhang, Jifeng He:
A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems. ICHIT (2) 2011: 391-398 - [c120]Lichen Zhang, Jifeng He:
Aspect-Oriented QoS Specification for Cyber-Physical Systems. ICHIT (2) 2011: 399-406 - [c119]Lichen Zhang, Jifeng He:
MDA Approach for Non-functional Properties of Dependable and Distributed Real-Time Systems. ICHIT (2) 2011: 600-608 - 2010
- [j29]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): 153-191 (2010) - [j28]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): 283-298 (2010) - [j27]Jifeng He, Tony Hoare:
CSP is a retract of CCS. Theor. Comput. Sci. 411(11-13): 1311-1337 (2010) - [c118]Qin Li, Huibiao Zhu, Jifeng He:
A Denotational Semantical Model for Orc Language. ICTAC 2010: 106-120 - [c117]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: 594-608 - [c116]Jifeng He:
A Probabilistic BPEL-Like Language. UTP 2010: 74-100 - [c115]Huibiao Zhu, Fan Yang, Jifeng He:
Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language. UTP 2010: 286-308 - [p1]Jifeng He:
Probabilistic Programming with Coordination. Reflections on the Work of C. A. R. Hoare 2010: 123-142
2000 – 2009
- 2009
- [j26]Bernhard K. Aichernig, Jifeng He:
Mutation testing in UTP. Formal Aspects Comput. 21(1-2): 33-64 (2009) - [j25]Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen:
PTSC: probability, time and shared-variable concurrency. Innov. Syst. Softw. Eng. 5(4): 271-284 (2009) - [c114]Qin Li, Huibiao Zhu, Jifeng He:
A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. Australian Software Engineering Conference 2009: 287-296 - [c113]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: 297-306 - [c112]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: 104-114 - [c111]Jifeng He:
Probabilistic Programming With Coordination and Compensation. SSIRI 2009: 1 - 2008
- [j24]Jifeng He:
Service refinement. Sci. China Ser. F Inf. Sci. 51(6): 661-682 (2008) - [j23]Huibiao Zhu, Jifeng He, Jonathan P. Bowen:
From algebraic semantics to denotational semantics for Verilog. Innov. Syst. Softw. Eng. 4(4): 341-360 (2008) - [c110]Jifeng He:
Transaction Calculus. Petri Nets 2008: 8 - [c109]Jifeng He:
Service Refinement. APSEC 2008: 5 - [c108]Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He:
Execution Semantics for rCOS. APSEC 2008: 119-126 - [c107]Jing Li, Huibiao Zhu, Jifeng He:
Specifying and Verifying Web Transactions. FORTE 2008: 149-168 - [c106]Jifeng He:
Transaction Calculus. HASE 2008: 4 - [c105]Qin Li, Huibiao Zhu, Jifeng He:
Towards the Service Composition Through Buses. HASE 2008: 441-444 - [c104]Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He:
A Denotational Model for Web Services Choreography. ICDCIT 2008: 1-12 - [c103]Jifeng He:
Refinement and test case generation in Unifying Theory of Programming. ICSM 2008: 6 - [c102]Jing Li, Huibiao Zhu, Jifeng He:
An Observational Model for Transactional Calculus of Services Orchestration. ICTAC 2008: 201-215 - [c101]Jifeng He:
Modelling Coordination and Compensation. ISoLA 2008: 15-36 - [c100]Jifeng He:
Transaction Calculus - (Invited Paper). UTP 2008: 2-21 - [c99]Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin:
Denotational Approach to an Event-Driven System-Level Language. UTP 2008: 258-278 - [e3]Elvis Wai Chung Leung, Fu Lee Wang, Lanfang Miao, Jianmin Zhao, Jifeng He:
Advances in Blended Learning, Second Workshop on Blended Learning, WBL 2008, Jinhua, China, August 20-22, 2008. Revised Selected Papers. Lecture Notes in Computer Science 5328, Springer 2008, ISBN 978-3-540-89961-7 [contents] - 2007
- [j22]Jifeng He, Huibiao Zhu, Geguang Pu:
A model for BPEL-like languages. Frontiers Comput. Sci. China 1(1): 9-19 (2007) - [c98]Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He:
The Validation and Verification of WSCDL. APSEC 2007: 81-88 - [c97]Jifeng He:
Compensable Programs. Formal Methods and Hybrid Real-Time Systems 2007: 349-363 - [c96]Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan:
A Model of Component-Based Programming. FSEN 2007: 191-206 - [c95]Huibiao Zhu, Jifeng He, Jing Li:
Unifying Denotational Semantics with Operational Semantics for Web Services. ICDCIT 2007: 225-239 - [c94]Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He:
A Formal Model for Compensable Transactions. ICECCS 2007: 64-73 - [c93]Jifeng He:
Linking Semantic Models. ICTAC 2007: 18-33 - [c92]Jing Li, Huibiao Zhu, Jifeng He:
Algebraic Semantics for Compensable Transactions. ICTAC 2007: 306-321 - [c91]Jifeng He:
UTP Semantics for Web Services. IFM 2007: 353-372 - [c90]Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen:
Algebraic Approach to Linking the Semantics of Web Services. SEFM 2007: 315-328 - [c89]Qin Li, Huibiao Zhu, Jifeng He:
An Inconsistency Free Formalization of B/S Architecture. SEW 2007: 75-88 - [c88]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: 131-143 - [c87]Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He:
Looking into Compensable Transactions. SEW 2007: 154-166 - [c86]Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li:
An Operational Approach to BPEL-like Programming. SEW 2007: 236-245 - [c85]Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu:
Modeling and Verifying Web Services Choreography Using Process Algebra. SEW 2007: 256-268 - [c84]Qin Li, Huibiao Zhu, Jing Li, Jifeng He:
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. WS-FM 2007: 61-76 - 2006
- [j21]Jing Liu, Jifeng He, Zhiming Liu:
A strategy for service realization in service-oriented design. Sci. China Ser. F Inf. Sci. 49(6): 864-884 (2006) - [j20]Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu:
From Statecharts to Verilog: a formal approach to hardware/software co-specification. Innov. Syst. Softw. Eng. 2(1): 17-38 (2006) - [j19]Jifeng He, Xiaoshan Li, Zhiming Liu:
rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2): 109-142 (2006) - [c83]Huibiao Zhu, Geguang Pu, Jifeng He:
A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. ASIAN 2006: 28-36 - [c82]Geguang Pu, Jifeng He, Zongyan Qiu:
An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. DDECS 2006: 151-152 - [c81]