个人简历

国家自然科学基金委\

研究领域

计算机软件与理论及应用"高可信与信息安全理论、形式化方法、并发程序设计理论、嵌入式系统设计方法和工具、软硬件混成系统协同设计、计算机软件与理论"

近期论文

2007
1
He Jifeng: Linking Semantic Models. ICTAC 2007: 18-33
2
He Jifeng: UTP Semantics for Web Services. IFM 2007: 353-372
3
He Jifeng‚Zhu Huibiao‚Pu Geguang: A model for BPEL-like languages‚Front.Comput.Sci.China 2007‚1(1):9-19
4
Jifeng He: Compensable Programs. Formal Methods and Hybrid Real-Time Systems 2007: 349-363
2006
5
Jifeng He‚ Jeff W. Sanders: Unifying Probability. UTP 2006: 173-199
6
Jifeng He‚ C. A. R. Hoare: CSP Is a Retract of CCS. UTP 2006: 38-62
7
Jifeng He‚ Shengchao Qin‚ Adnan Sherif: Constructing Property-Oriented Models for Verification. UTP 2006: 85-100
8
Jifeng He‚ Xiaoshan Li‚ Zhiming Liu: A Theory of Reactive Components. Electr. Notes Theor. Comput. Sci. 160: 173-195 (2006)
9
Jifeng He‚ Xiaoshan Li‚ Zhiming Liu: rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2): 109-142 (2006)
2005
10
Jifeng He: Linking Theories of Concurrency by Retraction. ICDCIT 2005: 432
11
Jifeng He‚ C. A. R. Hoare: Linking Theories of Concurrency. ICTAC 2005: 303-317
12
Jifeng He‚ Xiaoshan Li‚ Zhiming Liu: Component-Based Software Engineering. ICTAC 2005: 70-95
13
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)
2004
14
Jifeng He: Linking Theories of Concurrency. 25 Years Communicating Sequential Processes 2004: 61-74
15
Jifeng He‚ Zhiming Liu‚ Xiaoshan Li‚ Shengchao Qin: A Relational Model for Object-Oriented Designs. APLAS 2004: 415-436
16
Jifeng He‚ Carroll Morgan‚ Annabelle McIver: Deriving Probabilistic Semantics Via the ´Weakest Completion´. ICFEM 2004: 131-145
17
Jifeng He‚ Naiyong Jin: Integrating Variants of DC. ICTAC 2004: 14-34