Jifeng He

The rely-guarantee method for verifying shared variable concurrent programs

Qiwen Xu, Willem P. de Roever, Jifeng He · Formal Aspects of Computing · 1997 · 149 citations

Computing, Computer Science, Formal Methods +16

The weakest prespecification

C. A. R. Hoare, Jifeng He · Information Processing Letters · 1987 · 147 citations

A Theory of Synchrony and Asynchrony.

Jifeng He, Mark B. Josephs, C. A. R. Hoare · Oxford University Research Archive (ORA) (University of Oxford) · 1990 · 49 citations · Full text

Computing, Computer Science, Dynamical Systems +5

Robustness Verification of Classification Deep Neural Networks via Linear Programming

Lin Wang, Zhengfeng Yang, Xin Chen et al. · 2019 · 42 citations

Computing, Computer Science, Artificial Intelligence +16

A Theory of Reactive Components

Jifeng He, Xiaoshan Li, Zhiming Liu · Electronic Notes in Theoretical Computer Science · 2006 · 40 citations · Full text

Computing, Computer Science, Computer Systems +17