MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Jifeng He" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

Formalising VERILOG: Operational Semantics and Bisimulation
by Yongjian Li, Jifeng He — 2001
… VERILOG: Operational Semantics and Bisimulation Li Yongjian and He Jifeng March, 2001 UNU/IIST and UNU…
Add To MetaCart

Formal and Use-Case Driven Requirement Analysis in UML
by Xiaoshan Li, Zhiming Liu, Jifeng He — 2001
…-Case Driven Requirement Analysis in UML Xiaoshan Li, Zhiming Liu and Jifeng He March 2001 UNU/IIST and UNU…
Cited by 16 (8 self) – Add To MetaCart

Formalizing the Use of UML in Requirement Analysis
by Zhiming Liu, Jifeng He, Xiaoshan Li — 2001 — in the proceedings of the 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Las Vegas
… the Use of UML in Requirement Analysis Zhiming Liu, Jifeng He and Xiaoshan Li March 2001 UNU…
Cited by 1 (0 self) – Add To MetaCart

Formal Reasoning with Verilog HDL
by Gordon J. Pace, Jifeng He — 1998 — In Workshop on Formal Techniques for Hardware and Hardware-like Systems, Marstrand
…-like Systems, Marstrand, Sweden, June 1998. Formal Reasoning with Verilog HDL Gordon J. Pace 1 and Jifeng He…
Cited by 6 (2 self) – Add To MetaCart

Deriving Operational Semantics from Denotational Semantics for Verilog
by Huibiao Zhu, Jonathan P. Bowen, Jifeng He — 2001 — Proc. APSEC 2001: 8th Asia-Pacific Software Engineering Conference, IEEE Computer
… for Verilog from its denotational seman- He Jifeng The United Nations University International Institute…
Add To MetaCart

An Animatable Operational Semantics of the Verilog Hardware Description Language
by Jonathan P. Bowen, Jifeng He, Qiwen Xu — 2000 — In Shaoying Liu et al
… to model it successfully in a usefully executable way. He Jifeng & Xu Qiwen The United Nations University…
Cited by 3 (2 self) – Add To MetaCart

The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs
by Qiwen Xu, Willem-Paul de Roever, Jifeng He — 1997
… for Verifying Shared Variable Concurrent Programs 1 Qiwen Xu, 2 Willem--Paul de Roever 3 and Jifeng He 4…
Cited by 19 (0 self) – Add To MetaCart

Ian Page: Publications
by Ian Page, Theoharis Theoharis, David Duce, Distributed Computing, Systems Programme Iee, Jifeng He, Wayne Luk, Parametrising Fpgas, In Will Moore — 1997
…, 1977. An NEB-Commissioned Strategy Document. [31] Jifeng He, Ian Page, and Jonathan Bowen. Towards a…
Add To MetaCart

The ProCoS Approach to the Design of Real-Time Systems: Linking Different Formalisms
by Jifeng He, C. A. R. Hoare, Markus Muller-olm, Ernst-rudiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel — 1996
… Material Formal Methods Europe 96 Oxford, UK, 19 March 1996. Jifeng He and C. A. R. Hoare Oxford…
Cited by 5 (0 self) – Add To MetaCart

Provably Correct Systems
by 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 — 1994
…Provably Correct Systems Jifeng He and C. A. R. Hoare 1 Martin Franzle and Markus Muller-Olm 2…
Cited by 9 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB