Jifeng He

Jing Liu, Ziwei Liu, Jifeng He, Frédéric Mallet, Zuohua Ding: Hybrid MARTE statecharts. Frontiers of Computer Science 7(1): 95-108 (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 of Computer Science 7(2): 214-235 (2013)

Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He: The stochastic semantics and verification for periodic control systems. SCIENCE CHINA Information Sciences 55(12): 2675-2693 (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. Algebr. Program. 81(1): 2-25 (2012)

Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding: Spatio-temporal UML Statechart for Cyber-Physical Systems. ICECCS 2012: 137-146

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

Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He: A Denotational Model for Instantaneous Signal Calculus. SEFM 2012: 126-140

Ziwei Liu, Jing Liu, Jifeng He, Frédéric Mallet, Miaomiao Zhang: Formal Specification of Hybrid MARTE Statecharts. TASE 2012: 59-66

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

Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin: Denotational Semantics for a Probabilistic Timed Shared-Variable Language. UTP 2012: 224-247

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

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)

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)

Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen: Algebraic approach to linking the semantics of web services. ISSE 7(3): 209-224 (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: 33-40

Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu: Formal Model of Interrupt Program from a Probabilistic Perspective. ICECCS 2011: 87-94

Yongxin Zhao, Jifeng He: Towards a Signal Calculus for Event-Based Synchronous Languages. ICFEM 2011: 1-13

Lichen Zhang, Jifeng He: A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems. ICHIT (2) 2011: 391-398

Lichen Zhang, Jifeng He: Aspect-Oriented QoS Specification for Cyber-Physical Systems. ICHIT (2) 2011: 399-406

Lichen Zhang, Jifeng He: MDA Approach for Non-functional Properties of Dependable and Distributed Real-Time Systems. ICHIT (2) 2011: 600-608

Adnan Sherif, Ana Cavalcanti, Jifeng He, Augusto Sampaio: A process algebraic framework for specification and validation of real-time systems. Formal Asp. Comput. 22(2): 153-191 (2010)

Huibiao Zhu, Jifeng He, Jing Li, Geguang Pu, Jonathan P. Bowen: Linking denotational semantics with operational semantics for web services. ISSE 6(4): 283-298 (2010)

Jifeng He, Tony Hoare: CSP is a retract of CCS. Theor. Comput. Sci. 411(11-13): 1311-1337 (2010)

Qin Li, Huibiao Zhu, Jifeng He: A Denotational Semantical Model for Orc Language. ICTAC 2010: 106-120

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

Jifeng He: A Probabilistic BPEL-Like Language. UTP 2010: 74-100

Huibiao Zhu, Fan Yang, Jifeng He: Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language. UTP 2010: 286-308

Bernhard K. Aichernig, Jifeng He: Mutation testing in UTP. Formal Asp. Comput. 21(1-2): 33-64 (2009)

Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen: PTSC: probability, time and shared-variable concurrency. ISSE 5(4): 271-284 (2009)

Qin Li, Huibiao Zhu, Jifeng He: A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. Australian Software Engineering Conference 2009: 287-296

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

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

Jifeng He: Service refinement. Science in China Series F: Information Sciences 51(6): 661-682 (2008)

Huibiao Zhu, Jifeng He, Jonathan P. Bowen: From algebraic semantics to denotational semantics for Verilog. ISSE 4(4): 341-360 (2008)

Jifeng He: Transaction Calculus. Petri Nets 2008: 8

Jifeng He: Service Refinement. APSEC 2008: 5

Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He: Execution Semantics for rCOS. APSEC 2008: 119-126

Jing Li, Huibiao Zhu, Jifeng He: Specifying and Verifying Web Transactions. FORTE 2008: 149-168

Jifeng He: Transaction Calculus. HASE 2008: 4

Qin Li, Huibiao Zhu, Jifeng He: Towards the Service Composition Through Buses. HASE 2008: 441-444

Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He: A Denotational Model for Web Services Choreography. ICDCIT 2008: 1-12

Jifeng He: Refinement and test case generation in Unifying Theory of Programming. ICSM 2008: 6

Jing Li, Huibiao Zhu, Jifeng He: An Observational Model for Transactional Calculus of Services Orchestration. ICTAC 2008: 201-215

Jifeng He: Modelling Coordination and Compensation. ISoLA 2008: 15-36

Jifeng He: Transaction Calculus - (Invited Paper). UTP 2008: 2-21

Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin: Denotational Approach to an Event-Driven System-Level Language. UTP 2008: 258-278

Elvis Wai Chung Leung, Fu Lee Wang, Lanfang Miao, Jianmin Zhao, Jifeng He (Eds.): 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

Bernhard K. Aichernig, Jifeng He: Refinement and Test Case Generation in UTP. Electr. Notes Theor. Comput. Sci. 187: 125-143 (2007)

Jifeng He, Huibiao Zhu, Geguang Pu: A model for BPEL-like languages. Frontiers of Computer Science in China 1(1): 9-19 (2007)

Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He: The Validation and Verification of WSCDL. APSEC 2007: 81-88

Jifeng He: Compensable Programs. Formal Methods and Hybrid Real-Time Systems 2007: 349-363

Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan: A Model of Component-Based Programming. FSEN 2007: 191-206

Huibiao Zhu, Jifeng He, Jing Li: Unifying Denotational Semantics with Operational Semantics for Web Services. ICDCIT 2007: 225-239

Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He: A Formal Model for Compensable Transactions. ICECCS 2007: 64-73

Jifeng He: Linking Semantic Models. ICTAC 2007: 18-33

Jing Li, Huibiao Zhu, Jifeng He: Algebraic Semantics for Compensable Transactions. ICTAC 2007: 306-321

Jifeng He: UTP Semantics for Web Services. IFM 2007: 353-372

Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen: Algebraic Approach to Linking the Semantics of Web Services. SEFM 2007: 315-328

Qin Li, Huibiao Zhu, Jifeng He: An Inconsistency Free Formalization of B/S Architecture. SEW 2007: 75-88

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

Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He: Looking into Compensable Transactions. SEW 2007: 154-166

Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li: An Operational Approach to BPEL-like Programming. SEW 2007: 236-245

Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu: Modeling and Verifying Web Services Choreography Using Process Algebra. SEW 2007: 256-268

Qin Li, Huibiao Zhu, Jing Li, Jifeng He: Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. WS-FM 2007: 61-76

Jing Liu, Jifeng He, Zhiming Liu: A strategy for service realization in service-oriented design. Science in China Series F: Information Sciences 49(6): 864-884 (2006)

Jifeng He, Xiaoshan Li, Zhiming Liu: A Theory of Reactive Components. Electr. Notes Theor. Comput. Sci. 160: 173-195 (2006)

Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu: From Statecharts to Verilog: a formal approach to hardware/software co-specification. ISSE 2(1): 17-38 (2006)

Jifeng He, Xiaoshan Li, Zhiming Liu: rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2): 109-142 (2006)

Huibiao Zhu, Geguang Pu, Jifeng He: A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. ASIAN 2006: 28-36

Geguang Pu, Jifeng He, Zongyan Qiu: An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. DDECS 2006: 151-152

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

Jing Liu, Jifeng He: Reactive Component based Service-Oriented Design - A Case Study. ICECCS 2006: 27-36

Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi: Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. ICECCS 2006: 131-138

Huibiao Zhu, Jifeng He, Jonathan P. Bowen: From Algebraic Semantics to Denotational Semantics for Verilog. ICECCS 2006: 139-151

Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu: Towards the Semantics for Web Service Choreography Description Language. ICFEM 2006: 246-263

Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao: Patterns with Algebraic Properties in BPEL0. ISoLA 2006: 363-370

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

Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen: Integrating Probability with Time and Shared-Variable Concurrency. SEW 2006: 179-189

Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin: An Operational Semantics of an Event-Driven System-Level Simulator. SEW 2006: 190-202

Jifeng He, C. A. R. Hoare: CSP Is a Retract of CCS. UTP 2006: 38-62

Jifeng He, Shengchao Qin, Adnan Sherif: Constructing Property-Oriented Models for Verification. UTP 2006: 85-100

Jifeng He, Jeff W. Sanders: Unifying Probability. UTP 2006: 173-199

Zhiming Liu, Jifeng He (Eds.): 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

Zhiming Liu, Jifeng He, Xiaoshan Li: Towards a Rigorous Approach to UML-Based Development. Electr. Notes Theor. Comput. Sci. 130: 57-77 (2005)

Geguang Pu, Zongyan Qiu, Jifeng He: Integrating Time and Resource into Circus. Electr. Notes Theor. Comput. Sci. 130: 401-418 (2005)

Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi: Exploring optimal solution to hardware/software partitioning for synchronous model. Formal Asp. Comput. 17(4): 443-460 (2005)

Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He: Consistent Code Generation from UML Models. Australian Software Engineering Conference 2005: 23-30

Jifeng He: Linking Theories of Concurrency by Retraction. ICDCIT 2005: 432

Xiaoshan Li, Zhiming Liu, Jifeng He: Consistency Checking of UML Requirements. ICECCS 2005: 411-420

Jifeng He, Xiaoshan Li, Zhiming Liu: Component-Based Software Engineering. ICTAC 2005: 70-95

Jifeng He, C. A. R. Hoare: Linking Theories of Concurrency. ICTAC 2005: 303-317

Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He: POST: A Case Study for an Incremental Development in rCOS. ICTAC 2005: 485-500

Naiyong Jin, Jifeng He: Towards A Truly Concurrent Model for Processes Sharing Resources. SEFM 2005: 231-239

Bernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed: Integrating Theories and Techniques for Program Modelling, Design and Verification. VSTTE 2005: 291-300

Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li: Unifying Views of UML. Electr. Notes Theor. Comput. Sci. 101: 95-127 (2004)

Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin: A Relational Model for Object-Oriented Designs. APLAS 2004: 415-436

Xiaoshan Li, Zhiming Liu, Jifeng He: A Formal Semantics of UML Sequence Diagram. Australian Software Engineering Conference 2004: 168-177

Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li: Linking UML Models of Design and Requirement. Australian Software Engineering Conference 2004: 329-338

Jifeng He: Linking Theories of Concurrency. 25 Years Communicating Sequential Processes 2004: 61-74

Zhiming Liu, Jifeng He, Xiaoshan Li: rCOS: Refinement of Component and Object Systems. FMCO 2004: 183-221

Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long: Generating a Prototype from a UML Model of System Requirements. ICDCIT 2004: 255-265

Jifeng He, Carroll Morgan, Annabelle McIver: Deriving Probabilistic Semantics Via the 'Weakest Completion'. ICFEM 2004: 131-145

Jifeng He, Naiyong Jin: Integrating Variants of DC. ICTAC 2004: 14-34

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

Zhiming Liu, Jifeng He, Xiaoshan Li: Contract Oriented Development of Component Software. IFIP TCS 2004: 349-366

Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi: An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. IFM 2004: 363-381

Naiyong Jin, Jifeng He: Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language. SEFM 2004: 132-141

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

Jifeng He, Qiwen Xu: Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs. Formal Asp. Comput. 15(1): 84-99 (2003)

Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen: A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ICFEM 2003: 641-664

Li Yongjian, Jifeng He: Towards a Theory of Bisimulation for a Fragment of Verilog. IPDPS 2003: 239

Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang: An Algebraic Hardware/Software Partitioning Algorithm. J. Comput. Sci. Technol. 17(3): 284-294 (2002)

Jifeng He, Zhiming Liu, Xiaoshan Li: Towards a Refinement Calculus for Object Systems. IEEE ICCI 2002: 69-76

Jifeng He: Integrating CSP and DC. ICECCS 2002: 47-

Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang: Hardware/Software Partitioning in Verilog. ICFEM 2002: 168-179

Zhiming Liu, Xiaoshan Li, Jifeng He: Using Transition Systems to Unify UML Models. ICFEM 2002: 535-547

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

Adnan Sherif, Jifeng He: Towards a Time Model for Circus. ICFEM 2002: 613-624

Jifeng He: An Algebraic Approach to the VERILOG Programming. 10th Anniversary Colloquium of UNU/IIST 2002: 65-80

Jonathan P. Bowen, Jifeng He: An Approach to the Specification and Verification of a Hardware Compilation Scheme. The Journal of Supercomputing 19(1): 23-39 (2001)

Shengchao Qin, Zongyan Qiu, Jifeng He: Constructing Hardware/Software Interface Using Protocol Converters. APAQS 2001: 141-148

Huibiao Zhu, Jonathan P. Bowen, Jifeng He: Deriving Operational Semantics from Denotational Semantics for Verilog. APSEC 2001: 177-

Shengchao Qin, Jifeng He: Partitioning Program into Hardware and Software. APSEC 2001: 309-316

Van Dung Tran, Jifeng He: A Theory of Combinational Programs. APSEC 2001: 325-

Huibiao Zhu, Jonathan P. Bowen, Jifeng He: From Operational Semantics to Denotational Semantics for Verilog. CHARME 2001: 449-466

Xiaoshan Li, Zhiming Liu, Jifeng He: Formal and Use-Case Driven Requirement Analysis in UML. COMPSAC 2001: 215-224

Jifeng He, C. A. R. Hoare: Unifying theories of healthiness condition. APSEC 2000: 70-

C. A. R. Hoare, Jifeng He, Augusto Sampaio: Algebraic derivation of an operational semantics. Proof, Language, and Interaction 2000: 77-98

Jonathan P. Bowen, Jifeng He, Qiwen Xu: An Animatable Operational Semantics of the Verilog Hardware Description Language. ICFEM 2000: 199-208

Jifeng He, Qiwen Xu: An Operational Semantics of a Simulator Algorithm. PDPTA 2000

Jifeng He, Masahiko Sato (Eds.): 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

Jifeng He, C. A. R. Hoare: Linking Theories in Probabilistic Programming. Inf. Sci. 119(3-4): 205-218 (1999)

C. A. R. Hoare, Jifeng He: A Trace Model for Pointers and Objects. ECOOP 1999: 1-17

Jifeng He: A Behavioral Model for Co-design. World Congress on Formal Methods 1999: 1420-1438

Jifeng He: A Common Framework for Mixed Hardware/Software Systems. IFM 1999: 3-25

Li Li, Jifeng He: A Denotational Semantics of Timed RSL Using Duration Calculus. RTCSA 1999: 492-

Jifeng He, C. A. R. Hoare: Unifying theories of programming. RelMiCS 1998: 97-99

Qiwen Xu, Willem P. de Roever, Jifeng He: The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs. Formal Asp. Comput. 9(2): 149-174 (1997)

Jifeng He, Karen Seidel, Annabelle McIver: Probabilistic Models for the Guarded Command Language. Sci. Comput. Program. 28(2-3): 171-192 (1997)

Jifeng He: Linking Theories in Probabilistic Programming. RelMiCS 1997: 247-256

C. A. R. Hoare, Jifeng He: Unifying Theories for Parallel Programming. Euro-Par 1997: 15-30

Jifeng He, Quentin Miller, Lei Chen: Algebraic Laws for BSP Programming. Euro-Par, Vol. II 1996: 359-368

Jifeng He, Jonathan P. Bowen: Specification, Verification and Prototyping of an Optimized Compiler. Formal Asp. Comput. 6(6): 643-658 (1994)

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)

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

Jifeng He, Jianping Zheng: Simulation Approach to Provably Correct Hardware Compilation. FTRTFT 1994: 336-350

C. A. R. Hoare, Jifeng He, Augusto Sampaio: Normal Form Approach to Compiler Design. Acta Inf. 30(8): 701-739 (1993)

Jifeng He, C. A. R. Hoare: From Algebra to Operational Semantics. Inf. Process. Lett. 45(2): 75-80 (1993)

Jifeng He, Ian Page, Jonathan P. Bowen: Towards a Provably Correct Hardware Implementation of Occam. CHARME 1993: 214-225

Jifeng He: Hybrid Parallel Programming and Implementation of Synchronised Communication. MFCS 1993: 537-546

David Scholefield, Hussein S. M. Zedan, Jifeng He: Real-Time Refinement: Semantics and Application. MFCS 1993: 693-702

David Scholefield, Hussein S. M. Zedan, Jifeng He: A Predicative Semantics for the Refinement of Real-Time Systems. MFPS 1993: 230-249

C. E. Martin, C. A. R. Hoare, Jifeng He: Pre-Adjunctions in Order Enriched Categories. Mathematical Structures in Computer Science 1(2): 141-158 (1991)

Jonathan P. Bowen, Jifeng He, Paritosh K. Pandya: An Approach to Verifiable Compiling Specification and Prototyping. PLILP 1990: 45-59

Jifeng He: Process Simulation and Refinement. Formal Asp. Comput. 1(3): 229-241 (1989)

Jifeng He, C. A. R. Hoare: Categorical Semantics for Programming Languages. Mathematical Foundations of Programming Semantics 1989: 402-417

Jifeng He: Various Simulations and Refinements. REX Workshop 1989: 340-360

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)

Jifeng He, C. A. R. Hoare: Algebraic Specification and Proof of a Distributed Recovery Algorithm. Distributed Computing 2(1): 1-12 (1987)

C. A. R. Hoare, Jifeng He: The Weakest Prespecification. Inf. Process. Lett. 24(2): 127-132 (1987)

C. A. R. Hoare, Jifeng He, Jeff W. Sanders: Prespecification in Data Refinement. Inf. Process. Lett. 25(2): 71-76 (1987)

Jifeng He, C. A. R. Hoare, Jeff W. Sanders: Data Refinement Refined. ESOP 1986: 187-196

Jifeng He: General Predicate Transformer and the Semantics of a Programming Language With Go To Statement. Acta Inf. 20: 35-57 (1983)