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
Journal Articles
- 2024
[j54]Wenbing Tang
, Fenghua Wu, Shang-wei Lin, Zuohua Ding, Jing Liu, Yang Liu, Jifeng He:
Causal deconfounding deep reinforcement learning for mobile robot motion planning. Knowl. Based Syst. 303: 112406 (2024)- 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 2007
- [j22]Jifeng He, Huibiao Zhu, Geguang Pu:
A model for BPEL-like languages. Frontiers Comput. Sci. China 1(1): 9-19 (2007) - 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) - 2005
- [j18]Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi:
Exploring optimal solution to hardware/software partitioning for synchronous model. Formal Aspects Comput. 17(4): 443-460 (2005) - 2003
- [j17]Jifeng He, Qiwen Xu:
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs. Formal Aspects Comput. 15(1): 84-99 (2003) - 2002
- [j16]Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang:
An Algebraic Hardware/Software Partitioning Algorithm. J. Comput. Sci. Technol. 17(3): 284-294 (2002) - 2001
- [j15]Jonathan P. Bowen, Jifeng He:
An Approach to the Specification and Verification of a Hardware Compilation Scheme. J. Supercomput. 19(1): 23-39 (2001) - 1999
- [j14]Jifeng He, C. A. R. Hoare:
Linking Theories in Probabilistic Programming. Inf. Sci. 119(3-4): 205-218 (1999) - 1997
- [j13]Qiwen Xu, Willem P. de Roever, Jifeng He:
The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs. Formal Aspects Comput. 9(2): 149-174 (1997) - [j12]Jifeng He, Karen Seidel, Annabelle McIver:
Probabilistic Models for the Guarded Command Language. Sci. Comput. Program. 28(2-3): 171-192 (1997) - 1994
- [j11]Jifeng He, Jonathan P. Bowen:
Specification, Verification and Prototyping of an Optimized Compiler. Formal Aspects Comput. 6(6): 643-658 (1994) - [j10]David Scholefield, Hussein S. M. Zedan, Jifeng He:
A Specification-Oriented Semantics for the Refinement of Real-Time Systems. Theor. Comput. Sci. 131(1): 219-241 (1994) - 1993
- [j9]C. A. R. Hoare, Jifeng He, Augusto Sampaio:
Normal Form Approach to Compiler Design. Acta Informatica 30(8): 701-739 (1993) - [j8]Jifeng He, C. A. R. Hoare:
From Algebra to Operational Semantics. Inf. Process. Lett. 45(2): 75-80 (1993) - 1991
- [j7]C. E. Martin, C. A. R. Hoare, Jifeng He:
Pre-Adjunctions in Order Enriched Categories. Math. Struct. Comput. Sci. 1(2): 141-158 (1991) - 1989
- [j6]Jifeng He:
Process Simulation and Refinement. Formal Aspects Comput. 1(3): 229-241 (1989) - 1987
- [j5]C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin:
Laws of Programming. Commun. ACM 30(8): 672-686 (1987) - [j4]Jifeng He, C. A. R. Hoare:
Algebraic Specification and Proof of a Distributed Recovery Algorithm. Distributed Comput. 2(1): 1-12 (1987) - [j3]C. A. R. Hoare, Jifeng He:
The Weakest Prespecification. Inf. Process. Lett. 24(2): 127-132 (1987) - [j2]C. A. R. Hoare, Jifeng He, Jeff W. Sanders:
Prespecification in Data Refinement. Inf. Process. Lett. 25(2): 71-76 (1987) - 1983
- [j1]Jifeng He:
General Predicate Transformer and the Semantics of a Programming Language With Go To Statement. Acta Informatica 20: 35-57 (1983)
Conference and Workshop Papers
- 2023
- [c151]Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He:
Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models. ICECCS 2023: 126-135 - [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 - 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 - 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 - 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 - 2017
- [c146]Jifeng He, Qin Li:
A Hybrid Relational Modelling Language. Concurrency, Security, and Puzzles 2017: 124-143 - 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
- [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
- [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 - 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 - 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 - 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
- [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 - 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
- [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 - 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
- [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]Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He:
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. FMOODS 2006: 251-266 - [c80]Jing Liu, Jifeng He:
Reactive Component based Service-Oriented Design - A Case Study. ICECCS 2006: 27-36 - [c79]Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi:
Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. ICECCS 2006: 131-138 - [c78]Huibiao Zhu, Jifeng He, Jonathan P. Bowen:
From Algebraic Semantics to Denotational Semantics for Verilog. ICECCS 2006: 139-151 - [c77]Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu:
Towards the Semantics for Web Service Choreography Description Language. ICFEM 2006: 246-263 - [c76]Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao:
Patterns with Algebraic Properties in BPEL0. ISoLA 2006: 363-370 - [c75]Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He:
A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. KES (1) 2006: 459-466 - [c74]Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen:
Integrating Probability with Time and Shared-Variable Concurrency. SEW 2006: 179-189 - [c73]Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin:
An Operational Semantics of an Event-Driven System-Level Simulator. SEW 2006: 190-202 - [c72]Jifeng He, C. A. R. Hoare:
CSP Is a Retract of CCS. UTP 2006: 38-62 - [c71]Jifeng He, Shengchao Qin, Adnan Sherif:
Constructing Property-Oriented Models for Verification. UTP 2006: 85-100 - [c70]Jifeng He, Jeff W. Sanders:
Unifying Probability. UTP 2006: 173-199 - [c69]Bernhard K. Aichernig, Jifeng He:
Refinement and Test Case Generation in UTP. Refine@ICFEM 2006: 125-143 - 2005
- [c68]Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He:
Consistent Code Generation from UML Models. Australian Software Engineering Conference 2005: 23-30 - [c67]Jifeng He:
Linking Theories of Concurrency by Retraction. ICDCIT 2005: 432 - [c66]Xiaoshan Li, Zhiming Liu, Jifeng He:
Consistency Checking of UML Requirements. ICECCS 2005: 411-420 - [c65]Jifeng He, Xiaoshan Li, Zhiming Liu:
Component-Based Software Engineering. ICTAC 2005: 70-95 - [c64]Jifeng He, C. A. R. Hoare:
Linking Theories of Concurrency. ICTAC 2005: 303-317 - [c63]Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He:
POST: A Case Study for an Incremental Development in rCOS. ICTAC 2005: 485-500 - [c62]Naiyong Jin, Jifeng He:
Towards A Truly Concurrent Model for Processes Sharing Resources. SEFM 2005: 231-239 - [c61]Bernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed:
Integrating Theories and Techniques for Program Modelling, Design and Verification. VSTTE 2005: 291-300 - [c60]Jifeng He, Xiaoshan Li, Zhiming Liu:
A Theory of Reactive Components. FACS 2005: 173-195 - 2004
- [c59]Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin:
A Relational Model for Object-Oriented Designs. APLAS 2004: 415-436 - [c58]Xiaoshan Li, Zhiming Liu, Jifeng He:
A Formal Semantics of UML Sequence Diagram. Australian Software Engineering Conference 2004: 168-177 - [c57]Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li:
Linking UML Models of Design and Requirement. Australian Software Engineering Conference 2004: 329-338 - [c56]Jifeng He:
Linking Theories of Concurrency. 25 Years Communicating Sequential Processes 2004: 61-74 - [c55]Zhiming Liu, Jifeng He, Xiaoshan Li:
rCOS: Refinement of Component and Object Systems. FMCO 2004: 183-221 - [c54]Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long:
Generating a Prototype from a UML Model of System Requirements. ICDCIT 2004: 255-265 - [c53]Jifeng He, Carroll Morgan, Annabelle McIver:
Deriving Probabilistic Semantics Via the 'Weakest Completion'. ICFEM 2004: 131-145 - [c52]Jifeng He, Naiyong Jin:
Integrating Variants of DC. ICTAC 2004: 14-34 - [c51]Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio:
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. ICTAC 2004: 478-493 - [c50]Zhiming Liu, Jifeng He, Xiaoshan Li:
Contract Oriented Development of Component Software. IFIP TCS 2004: 349-366 - [c49]Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi:
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. IFM 2004: 363-381 - [c48]Naiyong Jin, Jifeng He:
Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language. SEFM 2004: 132-141 - [c47]Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi:
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. SEFM 2004: 376-385 - [c46]Zhiming Liu, Jifeng He, Xiaoshan Li:
Towards a Rigorous Approach to UML-Based Development. SBMF 2004: 57-77 - [c45]Geguang Pu, Zongyan Qiu, Jifeng He:
Integrating Time and Resource into Circus. SBMF 2004: 401-418 - 2003
- [c44]Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen:
A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ICFEM 2003: 641-664 - [c43]Yongjian Li, Jifeng He:
Towards a Theory of Bisimulation for a Fragment of Verilog. IPDPS 2003: 239 - [c42]Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li:
Unifying Views of UML. CVUML 2003: 95-127 - 2002
- [c41]Jifeng He, Zhiming Liu, Xiaoshan Li:
Towards a Refinement Calculus for Object Systems. IEEE ICCI 2002: 69-76 - [c40]Jifeng He:
Integrating CSP and DC. ICECCS 2002: 47- - [c39]Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang:
Hardware/Software Partitioning in Verilog. ICFEM 2002: 168-179 - [c38]Zhiming Liu, Xiaoshan Li, Jifeng He:
Using Transition Systems to Unify UML Models. ICFEM 2002: 535-547 - [c37]Huibiao Zhu, Jonathan P. Bowen, Jifeng He:
Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. ICFEM 2002: 600-612 - [c36]Adnan Sherif, Jifeng He:
Towards a Time Model for Circus. ICFEM 2002: 613-624 - [c35]Jifeng He:
An Algebraic Approach to the VERILOG Programming. 10th Anniversary Colloquium of UNU/IIST 2002: 65-80 - 2001
- [c34]Shengchao Qin, Zongyan Qiu, Jifeng He:
Constructing Hardware/Software Interface Using Protocol Converters. APAQS 2001: 141-148 - [c33]Huibiao Zhu, Jonathan P. Bowen, Jifeng He:
Deriving Operational Semantics from Denotational Semantics for Verilog. APSEC 2001: 177- - [c32]Shengchao Qin, Jifeng He:
Partitioning Program into Hardware and Software. APSEC 2001: 309-316 - [c31]Van Dung Tran, Jifeng He:
A Theory of Combinational Programs. APSEC 2001: 325- - [c30]Huibiao Zhu, Jonathan P. Bowen, Jifeng He:
From Operational Semantics to Denotational Semantics for Verilog. CHARME 2001: 449-466 - [c29]Xiaoshan Li, Zhiming Liu, Jifeng He:
Formal and Use-Case Driven Requirement Analysis in UML. COMPSAC 2001: 215-224 - 2000
- [c28]Jifeng He, C. A. R. Hoare:
Unifying theories of healthiness condition. APSEC 2000: 70- - [c27]C. A. R. Hoare, Jifeng He, Augusto Sampaio:
Algebraic derivation of an operational semantics. Proof, Language, and Interaction 2000: 77-98 - [c26]Shengchao Qin, Jifeng He:
An algebraic approach to hardware/software partitioning. ICECS 2000: 273-276 - [c25]Jifeng He, Huibiao Zhu:
Formalising VERILOG. ICECS 2000: 412-415 - [c24]Jonathan P. Bowen, Jifeng He, Qiwen Xu:
An Animatable Operational Semantics of the Verilog Hardware Description Language. ICFEM 2000: 199-208 - [c23]Jifeng He, Qiwen Xu:
An Operational Semantics of a Simulator Algorithm. PDPTA 2000 - 1999
- [c22]C. A. R. Hoare, Jifeng He:
A Trace Model for Pointers and Objects. ECOOP 1999: 1-17 - [c21]Jifeng He:
A Behavioral Model for Co-design. World Congress on Formal Methods 1999: 1420-1438 - [c20]Jifeng He:
A Common Framework for Mixed Hardware/Software Systems. IFM 1999: 3-25 - [c19]Li Li, Jifeng He:
A Denotational Semantics of Timed RSL Using Duration Calculus. RTCSA 1999: 492- - 1998
- [c18]Jifeng He, C. A. R. Hoare:
Unifying theories of programming. RelMiCS 1998: 97-99 - 1997
- [c17]Jifeng He:
Linking Theories in Probabilistic Programming. RelMiCS 1997: 247-256 - [c16]C. A. R. Hoare, Jifeng He:
Unifying Theories for Parallel Programming. Euro-Par 1997: 15-30 - 1996
- [c15]Jifeng He, Quentin Miller, Lei Chen:
Algebraic Laws for BSP Programming. Euro-Par, Vol. II 1996: 359-368 - 1994
- [c14]Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel:
Provably Correct Systems. FTRTFT 1994: 288-335 - [c13]Jifeng He, Jianping Zheng:
Simulation Approach to Provably Correct Hardware Compilation. FTRTFT 1994: 336-350 - [c12]Qiwen Xu, Jifeng He:
Laws of Parallel Programming with Shared Variables. Refine 1994: 205-216 - 1993
- [c11]Jifeng He, Ian Page, Jonathan P. Bowen:
Towards a Provably Correct Hardware Implementation of Occam. CHARME 1993: 214-225 - [c10]Jifeng He:
Hybrid Parallel Programming and Implementation of Synchronised Communication. MFCS 1993: 537-546 - [c9]David Scholefield, Hussein S. M. Zedan, Jifeng He:
Real-Time Refinement: Semantics and Application. MFCS 1993: 693-702 - [c8]David Scholefield, Hussein S. M. Zedan, Jifeng He:
A Predicative Semantics for the Refinement of Real-Time Systems. MFPS 1993: 230-249 - 1992
- [c7]Jifeng He, Jonathan P. Bowen:
Time interval semantics and implementation of a real-time programming language. RTS 1992: 110-115 - [c6]Qiwen Xu, Jifeng He:
A case study in formally developing state-based parallel programs - the Dutch National Torus. Refine 1992: 301-319 - 1990
- [c5]Jifeng He, Mark B. Josephs, Charles Antony Richard Hoare:
A Theory of Synchrony and Asynchrony. Programming Concepts and Methods 1990: 459-478 - [c4]Jonathan P. Bowen, Jifeng He, Paritosh K. Pandya:
An Approach to Verifiable Compiling Specification and Prototyping. PLILP 1990: 45-59 - 1989
- [c3]Jifeng He, C. A. R. Hoare:
Categorical Semantics for Programming Languages. Mathematical Foundations of Programming Semantics 1989: 402-417 - [c2]Jifeng He:
Various Simulations and Refinements. REX Workshop 1989: 340-360 - 1986
- [c1]Jifeng He, C. A. R. Hoare, Jeff W. Sanders:
Data Refinement Refined. ESOP 1986: 187-196
Parts in Books or Collections
- 2018
- [p2]Jifeng He:
Linking Theories of Probabilistic Programming. Symposium on Real-Time and Hybrid Systems 2018: 186-210 - 2010
- [p1]Jifeng He:
Probabilistic Programming with Coordination. Reflections on the Work of C. A. R. Hoare 2010: 123-142
Editorship
- 2018
- [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] - 2008
- [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] - 2006
- [e2]Zhiming Liu, Jifeng He:
Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings. Lecture Notes in Computer Science 4260, Springer 2006, ISBN 3-540-47460-9 [contents] - 2000
- [e1]Jifeng He, Masahiko Sato:
Advances in Computing Science - ASIAN 2000, 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings. Lecture Notes in Computer Science 1961, Springer 2000, ISBN 3-540-41428-2 [contents]
Informal and Other Publications
- 2023
- [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) - 2014
- [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
- [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
- [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)
Coauthor Index
[j51] [j47] [j46] [j40] [j39] [j38] [j36] [j35] [j31] [j30] [j28] [j25] [j23] [j22] [c138] [c130] [c129] [c127] [c126] [c124] [c118] [c115] [c114] [c113] [c112] [c108] [c107] [c105] [c104] [c102] [c99] [c95] [c94] [c92] [c90] [c89] [c88] [c87] [c86] [c85] [c84] [c83] [c81] [c78] [c77] [c76] [c74] [c73] [c37] [c33] [c30] [c25]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-25 21:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
