软件工程学院??????
导航
个人资料
研究方向
开授课程
科研项目
学术成果
荣誉及奖励
个人资料
部门： 软件工程学院
毕业院校：
学位：
学历：
邮编：
联系电话： **
传真： **
电子邮箱： jifeng@sei.ecnu.edu.cn
办公地址： 华东师范大学中山校区，软件学院
通讯地址： 上海市普陀区中山北路3663号，华东师范大学软件学院
教育经历
工作经历
个人简介
社会兼职
研究方向
主要研究领域: 高可信与信息安全理论、形式化方法、并发程序设计理论、嵌入式系统设计方法和工具、软硬件混成系统协同设计、计算机软件与理论
国家自然科学基金委"可信软件基础研究"重大研究计划‚首席科学家科技部"海量信息的协同性和可生存性的理论与实践研究"973项目‚首席科学家
开授课程
科研项目
学术成果
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
17
Jifeng He‚ Naiyong Jin: Integrating Variants of DC. ICTAC 2004: 14-34
荣誉及奖励
招生信息
10 访问
相关教师
