Concepedia

He Jifeng

HJ

23

Publications

1.5K

Citations

20

H-Index

1986

Active since

Affiliations

University of Oxford(Current)

Oxford Research Group

United Nations University Institute on Computing and Society

University of Macau

East China Normal University

He Jifeng is an author at University of Oxford specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsFormal VerificationComputer ScienceAutomated ReasoningProgram AnalysisSoftware AnalysisSoftware DesignVerificationFormal Specification

Publications per year

1986–2009

23

Publications

23

Laws of programming

C. A. R. Hoare, Ian J. Hayes, He Jifeng et al. · Communications of the ACM · 1987 · 389 citations · Full text

Mathematical Programming, Engineering, Computational Complexity +17

Probabilistic models for the guarded command language

He Jifeng, Karen Seidel, Annabelle McIver · Science of Computer Programming · 1997 · 162 citations

Engineering, Program Analysis, Automated Reasoning +9

Prespecification in data refinement

C. A. R. Hoare, He Jifeng, J. W. Sanders · Information Processing Letters · 1987 · 119 citations

Refinement Technique, Engineering, Data Refinement +9

rCOS: A refinement calculus of object systems

He Jifeng, Xiaoshan Li, Zhiming Liu · Theoretical Computer Science · 2006 · 100 citations

Artificial Intelligence, Refinement Technique, Engineering +8

A formal semantics of UML sequence diagram

Xiaoshan Li, Zhiming Liu, He Jifeng · 2004 · 84 citations

Specification Language, Formal Specification, Uml Sequence Diagram +15

Rows per page

1–5 of 23