He Jifeng | Academic Influence

He Jifeng's AcademicInfluence.com Rankings

He Jifeng

Computer Science

#644

World Rank

#664

Historical Rank

Software Engineering

#82

World Rank

#82

Historical Rank

Artificial Intelligence

#278

World Rank

#283

Historical Rank

Machine Learning

#1572

World Rank

#1594

Historical Rank

computer-science Degrees

Download Badge

Computer Science

He Jifeng's Degrees

Bachelors Computer Science University of Science and Technology of China
Masters Computer Science University of Science and Technology of China
PhD Computer Science University of Science and Technology of China

Similar Degrees You Can Earn

Why Is He Jifeng Influential?

(Suggest an Edit or Addition)

According to Wikipedia, He Jifeng is a Chinese computer scientist. He Jifeng graduated from the mathematics department of Fudan University in 1965. From 1965 to 1985, he was an instructor at East China Normal University. During 1980–81, he was a visiting scholar at Stanford University and the University of San Francisco in California, United States.

(See a Problem?)

He Jifeng's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Laws of programming (1987) (430)
Data Refinement Refined (1986) (278)
Unifying theories of programming (1998) (238)
Probabilistic Models for the Guarded Command Language (1997) (185)
The Weakest Prespecification (1987) (159)
From CSP to hybrid systems (1994) (146)
Prespecification in Data Refinement (1987) (131)
The rely-guarantee method for verifying shared variable concurrent programs (1997) (122)
rCOS: A refinement calculus of object systems (2006) (116)
A formal semantics of UML sequence diagram (2004) (92)
A Theory of Synchrony and Asynchrony (1990) (70)
A Trace Model for Pointers and Objects (1999) (69)
A Survey on Data-Flow Testing (2017) (69)
Towards a Provably Correct Hardware Implementation of Occam (1993) (67)
Towards a Time Model for Circus (2002) (64)
Formal and use-case driven requirement analysis in UML (2001) (60)
A process algebraic framework for specification and validation of real-time systems (2010) (60)
Consistent code generation from UML models (2005) (55)
A Relational Model for Formal Object-Oriented Requirement Analysis in UML (2003) (50)
A Specification-Oriented Semantics for the Refinement of Real-Time Systems (1994) (50)
Normal form approach to compiler design (1993) (48)
A Theory of State-based Parallel Programming: Part 1 (1991) (47)
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service (2006) (47)
Process simulation and refinement (1989) (46)
A model of component-based programming (2007) (44)
Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers (1994) (43)
A Theory of Reactive Components (2006) (43)
A ProCos Project Description: Esprit BRA 3104 (1989) (42)
An Algebraic Approach to Verifiable Compiling Specification and Prototyping of the Procos Level 0 Programming Language (1990) (41)
Combining Symbolic Execution and Model Checking for Data Flow Testing (2015) (39)
Component-based software engineering : The need to link methods and their theories (2005) (38)
Specification, analysis and refinement of interactive processes (1990) (37)
From Algebra to Operational Semantics (1993) (37)
A model for BPEL-like languages (2007) (37)
From Operational Semantics to Denotational Semantics for Verilog (2001) (37)
Mutation testing in UTP (2009) (34)
Algebraic Laws for BSP Programming (1996) (33)
Time interval semantics and implementation of a real-time programming language (1992) (32)
Linking UML models of design and requirement (2004) (32)
A Relational Model for Object-Oriented Designs (2004) (32)
Consistency checking of UML requirements (2005) (31)
rCOS: Refinement of Component and Object Systems (2004) (31)
Modeling and Verifying Web Services Choreography Using Process Algebra (2007) (31)
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions (2004) (30)
LTL Satisfiability Checking Revisited (2013) (30)
An algebraic approach to hardware/software partitioning (2000) (29)
Formalising VERILOG (2000) (27)
Robustness Verification of Classification Deep Neural Networks via Linear Programming (2019) (26)
Mathematical frameworks for component software : models for analysis and synthesis (2006) (26)
An animatable operational semantics of the Verilog hardware description language (2000) (26)
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System (2012) (24)
Aalta: an LTL satisfiability checker over Infinite/Finite traces (2014) (24)
Using Transition Systems to Unify UML Models (2002) (24)
Towards the Semantics for Web Service Choreography Description Language (2006) (24)
From algebraic semantics to denotational semantics for Verilog (2006) (23)
Advances in Computing Science — ASIAN 2000 (2002) (23)
Hybrid MARTE statecharts (2013) (22)
Unifying Views of UML (2004) (22)
Contract Oriented Development of Component Software (2004) (22)
A Clock-Based Framework for Construction of Hybrid Systems (2013) (21)
Generating a Prototype from a UML Model of System Requirements (2004) (21)
A Formal Semantics of UML Sequence Diagrams (2004) (21)
A Clock-Based Framework for Construction of Hybrid Systems (2013) (21)
Pre-adjunctions in order enriched categories (1991) (20)
Real-Time Refinement: Semantics and Application (1993) (20)
Unifying Theories for Parallel Programming (1997) (20)
Unifying Probability (2006) (20)
LTLf Satisfiability Checking (2014) (20)
An Approach to Verifiable Compiling Specification and Prototyping (1990) (20)
Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution (2014) (19)
Deriving operational semantics from denotational semantics for Verilog (2001) (19)
An Operational Semantics of a Simulator Algorithm (2000) (19)
Looking into Compensable Transactions (2007) (18)
Specifying and Verifying Web Transactions (2008) (17)
A Behavioral Model for Co-design (1999) (17)
An Algebraic Approach to the VERILOG Programming (2002) (17)
Component-Based Software Engineering (2005) (16)
Algebraic approach to linking the semantics of web services (2007) (16)
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (2012) (15)
Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource Allocation (2020) (15)
An Approach to the Specification and Verification of a Hardware Compilation Scheme (2001) (15)
CSP is a retract of CCS (2006) (14)
Process simulation and refinement (2005) (14)
Algebraic specification and proof of a distributed recovery algorithm (1987) (13)
Algebraic derivation of an operational semantics (2000) (13)
Categorical Semantics for Programming Languages (1989) (13)
Denotational semantics and its algebraic derivation for an event-driven system-level language (2014) (13)
Hybrid Relation Calculus (2013) (13)
Formal reasoning with Verilog HDL (1998) (13)
Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language (2010) (13)
Fusing Incomplete Multisensor Heterogeneous Data to Estimate Urban Traffic (2016) (13)
Denotational Approach to an Event-Driven System-Level Language (2008) (12)
An Operational Semantics of an Event-Driven System-Level Simulator (2006) (12)
Towards a refinement calculus for object systems (2002) (12)
A Denotational Model for Web Services Choreography (2008) (12)
Towards a refinement calculus for object systems (2002) (12)
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model (2004) (12)
An Algebraic Approach to the VERILOG Programming (2003) (11)
Day-ahead Economic Dispatch of Wind Integrated Power System Considering Optimal Scheduling of Reserve Capacity (2015) (11)
POST: A Case Study for an Incremental Development in rCOS (2005) (10)
The Validation and Verification of WSCDL (2007) (10)
Algebraic Semantics for Compensable Transactions (2007) (10)
Modelling Object-oriented Program- ming with Reference Type and Dy- namic Binding (2003) (10)
SPARDL: A Requirement Modeling Language for Periodic Control System (2010) (10)
Specication of Cyber Physical Systems Based on Clock Theory (2013) (9)
Fast LTL Satisfiability Checking by SAT Solvers (2014) (9)
Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude (2012) (9)
Service refinement (2008) (9)
PTSC: probability, time and shared-variable concurrency (2009) (9)
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs (2003) (9)
Advances in Blended Learning (2008) (9)
An Operational Approach to BPEL-like Programming (2007) (9)
Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics (2002) (8)
A Formal Model for Compensable Transactions (2007) (8)
Various Simulations and Refinements (1989) (8)
A Common Framework for Mixed Hardware/Software Systems (1999) (8)
Refinement algebra proves correctness of compilation (1992) (8)
A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems (2011) (8)
Denotational Semantics for a Probabilistic Timed Shared-Variable Language (2012) (8)
A Provably Correct Hardware Implementation of Occam (1992) (8)
Partitioning program into hardware and software (2001) (8)
Laws of Parallel Programming with Shared Variables (1994) (8)
Formal Model of Interrupt Program from a Probabilistic Perspective (2011) (8)
A Relational Model for Object-Oriented Programming (2001) (8)
Towards Verified Systems: The SAFEMOS Project (1995) (8)
A probabilistic BPEL-like language (2010) (8)
Polsat: A Portfolio LTL Satisfiability Solver (2013) (8)
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers (2007) (7)
Hardware/Software Partitioning in Verilog (2002) (7)
A strategy for service realization in service-oriented design (2006) (7)
A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata (2006) (7)
Towards a Rigorous Approach to UML-Based Development (2005) (7)
Semantic theories of programs with nested interrupts (2015) (7)
A Behavioral Model for Co-design (1999) (7)
Various Simulations and Refinements (1990) (7)
A Denotational Semantical Model for Orc Language (2010) (7)
An explicit transition system construction approach to LTL satisfiability checking (2018) (7)
Safety Verification of Interconnected Hybrid Systems Using Barrier Certificates (2016) (7)
Specification, Verification and Prototyping of an Optimized Compiler (1994) (7)
AADL+: a simulation-based methodology for cyber-physical systems (2018) (7)
Linking Theories in Probabilistic Programming (1999) (7)
UTP semantics for web services (2007) (7)
Deriving Probabilistic Semantics Via the 'Weakest Completion' (2004) (7)
Integrating CSP and DC (2002) (7)
Spatio-temporal UML Statechart for Cyber-Physical Systems (2012) (7)
A Probabilistic BPEL-Like Language (2010) (6)
Study and Application of the Technology of subdivision Controlled Limited entry Fracturing in Reservoir with Many Thin Layers (2008) (6)
CHAPTER 10 - Hardware Compilation (1994) (6)
Intelligent Hazard-Risk Prediction Model for Train Control Systems (2020) (6)
From Statecharts to Verilog: a formal approach to hardware/software co-specification (2006) (6)
A Predicative Semantics for the Refinement of Real-Time Systems (1993) (6)
Testing for Design Faults (2005) (6)
Reactive component based service-oriented design - a case study (2006) (6)
A Framework For Specification, Verification and Development of Real Time Systems using Circus (2002) (6)
Toward a Unified Executable Formal Automobile OS Kernel and Its Applications (2019) (6)
The stochastic semantics and verification for periodic control systems (2012) (6)
A Denotational Approach to Scope-Based Compensable Flow Language for Web Service (2006) (6)
Integrating Probability with Time and Shared-Variable Concurrency (2006) (6)
A Relational Model for Object-Oriented Requirement Analysis (2002) (6)
Transaction Calculus (2008) (6)
Formalising VERILOG: Operational Semantics and Bisimulation (2000) (6)
Challenges, Promising Solutions and Open Problems of Cyber-Physical Systems (2013) (6)
Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts (2013) (6)
MDM: A Mode Diagram Modeling Framework for Periodic Control Systems (2012) (5)
A theory of combinational programs (2001) (5)
Towards a Signal Calculus for Event-Based Synchronous Languages (2011) (5)
Simulation Approach to Provably Correct Hardware Compilation (1994) (5)
Integrating variants of DC (2004) (5)
Integrating Variants of DC (2004) (5)
Specification and design of the X.25 protocol: a case study in CSP (1991) (5)
Modelling Coordination and Compensation (2008) (5)
Automated coverage-driven testing: combining symbolic execution and model checking (2016) (5)
UTP Semantics for Web Services (2007) (5)
Deriving two-phase modules for a multi-target hardware compiler (1996) (5)
Refinement and Test Case Generation in UTP (2007) (5)
Automatic Transformation from Requirements Models to Executable Prototypes (2005) (5)
Unifying Denotational Semantics with Operational Semantics for Web Services (2007) (5)
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL (2019) (5)
Test Case Generation from Formal Models of Cyber Physical System (2013) (5)
Linking Theories of Concurrency (2005) (5)
A strategy for service realization in service-oriented design (2006) (5)
Exploring optimal solution to hardware/software partitioning for synchronous model (2005) (4)
Modeling Vehicle Dynamics Based on Modelica (2013) (4)
Constructing Property-Oriented Models for Verification (2006) (4)
Towards a truly concurrent model for processes sharing resources (2005) (4)
A theory of combinational programs (2001) (4)
On the Relationship between LTL Normal Forms and Büchi Automata (2012) (4)
Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis (2013) (4)
Accelerating LTL satisfiability checking by SAT solvers (2018) (4)
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP (2020) (4)
A novel requirement analysis approach for periodic control systems (2013) (4)
Simulation Approach to Provably Correct Hardware Compilation (1994) (4)
A Robust Expansion Planning Method for Distribution Networks Considering Extreme Scenarios (2020) (4)
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain (2020) (4)
Compensable programs (2007) (4)
An Inconsistency Free Formalization of B/S Architecture (2007) (4)
Resource models and pre-compiler specification for hardware/software co-design language (2004) (3)
An Observational Model for Transactional Calculus of Services Orchestration (2008) (3)
Advances in Blended Learning: Second Workshop on Blended Learning, WBL 2008, Jinhua, China, Augustl 20-22, 2008. Revised Selected Papers (2008) (3)
CHAPTER 6 - A Real-time Programming Language (1994) (3)
A Denotational Model for Instantaneous Signal Calculus (2012) (3)
A case study in formally developing state-based parallel programs - the Dutch National Torus (1992) (3)
Aspect-Oriented QoS Specification for Cyber-Physical Systems (2011) (3)
A Hybrid Relational Modelling Language (2017) (3)
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs (2003) (3)
Algebraic specification and proof of properties of a mail service (1987) (3)
Formal Specification of Hybrid MARTE Statecharts (2012) (3)
A new roadmap for linking theories of programming and its applications on GCL and CSP (2017) (3)
Patterns with Algebraic Properties in BPEL0 (2006) (3)
Generating Test Cases for Cyber Physical Systems from Formal Specifications (2012) (3)
Keynote: Probabilistic Programming With Coordination and Compensation (2009) (3)
Integrating Theories and Techniques for Program Modelling, Design and Verification (2005) (3)
A New Roadmap on Linking Theories of Programming (2016) (3)
Linking Semantic Models (2007) (3)
Modelling Coordination and Compensation (2008) (3)
Hybrid Parallel Programming and Implementation of Synchronised Communication (1993) (3)
Formalizing the Use of UML in Require- ment Analysis (2002) (3)
Towards a theory of bisimulation for a fragment of Verilog (2003) (3)
Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language (2009) (2)
Constructing hardware/software interface using protocol converters (2001) (2)
Integrating timed automata into tabu algorithm for HW-SW partitioning (2006) (2)
Refinement and test case generation in Unifying Theory of Programming (2008) (2)
Compensable Programs (2007) (2)
An algebraic hardware/software partitioning algorithm (2002) (2)
A Hybrid Relational Modelling Language (2017) (2)
Modeling and analysis of interactive telemedicine systems (2015) (2)
Linking denotational semantics with operational semantics for web services (2010) (2)
Unifying theories of healthiness condition (2000) (2)
MDM: A Mode Diagram Modeling Framework (2012) (2)
An approach to hardware/software partitioning for multiple hardware devices model (2004) (2)
Performance Analysis in High-Level Synthesis (2004) (2)
An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem (2006) (2)
Towards the Service Composition Through Buses (2008) (2)
An algebraic hardware/software partitioning algorithm (2008) (2)
Transaction Calculus - (Invited Paper) (2008) (1)
Investigating System Survivability from a Probabilistic Perspective (2014) (1)
rCOS: A Relational Calculus of Components (2006) (1)
Linking semantic models (2007) (1)
Linking Theories of Probabilistic Programming (2018) (1)
Specifying Concurrent Controller of Production Cell Using the Notation of Shared State and Events of Duration Calculus (1970) (1)
Probabilistic Denotational Semantics for an Interrupt Modelling Language (2015) (1)
Linking theories of concurrency (2004) (1)
Challenges and Solutions of Cyber-Physical Systems (2012) (1)
Design and proof of a mail service 10 (1991) (1)
Requirement Analysis Based on Formalized Method (2003) (1)
Integrating Time and Resource into Circus (2005) (1)
A Contract-oriented Approach to CBP (2003) (1)
A UTP semantic model for Orc language with execution status and fault handling (2014) (1)
AADL+: a simulation-based methodology for cyber-physical systems (2018) (1)
Towards An Automated Approach to Hardware/Software Decomposition (2003) (1)
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability (2007) (1)
An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem (2006) (1)
Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science (2000) (1)
Execution Semantics for rCOS (2008) (1)
A New Roadmap on Linking Theories of Programming (2016) (1)
ESPRIT BRA 3104 ProCoS project : Provably Correct SystemsAn Algebraic Approach to Veri ableCompiling Speci cation and Prototypingof the ProCoS Level 0 Programming (2007) (1)
A Formal Perspective for Service Coordination Framework in Service Oriented Architecture (2009) (1)
No . 293 R Linking UML Models of Design and Requirement (2004) (0)
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) (2006) (0)
A Unifying Approach to Validating Specification-Oriented XML Constraints (2011) (0)
Comparison of Optimal Schedule Algorithms of Digital System in High-level Design (2005) (0)
A Derivation of Enriched Semantics by Solving Equations (2007) (0)
Probabilistic Programming with Coordination (2010) (0)
An Algebraic Approach to Hardware Compilation (2006) (0)
SMT-Based Symbolic Encoding and Formal Analysis of HML Models (2016) (0)
Formalising VERILOG (2000) (0)
Spatio-Temporal UML profile for Cyber-Physical Systems (2012) (0)
Formal Aspects of Computing Process Simulation and Refinement (0)
A New Roadmap for Linking Theories of Programming (2016) (0)
Programming Research Group Proof Rules for Probablistic Loops (1995) (0)
A Novel Approach to Maintain Traceability between Safety Requirements and Model Design (2022) (0)
Design and verification of a coherent shared memory (1996) (0)
Wavelet based hierarchical coding scheme for radar image compression (2007) (0)
A Formal Model for a Hybrid Programming Language (2014) (0)
Specification of Railway Transportation Cyber Physical Systems Using Formal Approach (2013) (0)
Linking Theories of Concurrency by Retraction (2005) (0)
Denotational semantics and its algebraic derivation for an event-driven system-level language (2014) (0)
Formal Modelling and Verification of Hybrid Systems by Hybrid Relational Approach (2015) (0)
SMT-Based Symbolic Encoding and Formal Analysis of HML Models (2016) (0)
Proceedings of the BCS-FACS 7th Refinement Workshop - Index (1996) (0)
Proceedings of the BCS-FACS 7th conference on Refinement (1996) (0)
Probabilistic Programming with Coordination (2010) (0)
Rotor Speed Load Calculation and Analysis (2016) (0)
Automated coverage-driven testing: combining symbolic execution and model checking (2016) (0)
Transaction Calculus (2008) (0)
Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language (2004) (0)
Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language (2009) (0)
Under consideration for publication in Formal Aspects of Computing Testing for Design Faults (2005) (0)
Proceedings of the 12th International Symposium on Theoretical Aspects of Software Engineering (2018) (0)
An algebraic approach to hardware/software partitioning (2000) (0)
BCS-FACS 7th Refinement Workshop: Proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996 (1997) (0)
Author index (2004) (0)
VARIABLE CONTENTS AND PHOSPHORYLASE LEVELS OF CaMK II IN MORPHINE WITHDRAWAL RATS ASSOCIATED WITH LIMBIC SYSTEM (2009) (0)
Semantic theories of programs with nested interrupts (2015) (0)
Proceedings of the 8th international conference on Formal Methods and Software Engineering (2006) (0)
General predicate transformer and the semantics of a programming language with go to statement (1983) (0)
MDA Approach for Non-functional Properties of Dependable and Distributed Real-Time Systems (2011) (0)
An explicit transition system construction approach to LTL satisfiability checking (2017) (0)
AN ASSESSMENT OF PROGRAMMING STYLES: ASSIGNMENT-ORIENTED LANGUAGES VERSUS FUNCTIONAL AND APPLICATIVE LANGUAGES Manfred Broy (2021) (0)
Specification of Cyber Physical Systems by Clock (2013) (0)
A novel requirement analysis approach for periodic control systems (2013) (0)
The stochastic semantics and verification for periodic control systems (2012) (0)
Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings (2001) (0)
Formal Specification for Transportation Cyber Physical Systems (2012) (0)
GAN-Based Robust Motion Planning for Mobile Robots Against Localization Attacks (2023) (0)
Generation from Formal M odels of Cyber Physical System (2013) (0)
Editorial for the special issue on reliability and power efficiency for HPC (2021) (0)
A Theory of As ; ' llshronous Processes (1989) (0)
Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (2006) (0)
a modeling language for cyber-physical systems. (2022) (0)
Linking theories of concurrency by retraction (2005) (0)
Hybrid MARTE statecharts (2013) (0)
Deposited in DRO : 10 December 2009 Version of attached le : Accepted Version Peer-review status of attached (2015) (0)
Modeling and analysis of interactive telemedicine systems (2013) (0)
Integrating CSP and DC (2002) (0)
A UTP semantic model for Orc language with execution status and fault handling (2014) (0)
Editorial for the special issue on reliability and power efficiency for HPC (2021) (0)

This paper list is powered by the following services:

Other Resources About He Jifeng

en.wikipedia.org

What Schools Are Affiliated With He Jifeng?

He Jifeng is affiliated with the following schools: