何积丰 软件学院院长 软件工程学院 导航 个人资料 研究方向 开授课程 科研项目 学术成果 荣誉及奖励,个人资料 部门： 软件工程学院 毕业院校： 学位： 学历： 邮编： 联系电话： 62232550 传真： 62232584 电子邮箱： 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 ´Weakest Completion´. ICFEM 2004: 131-145 17 Jifeng He‚ Naiyong Jin: Integrating Variants of DC. ICTAC 2004: 14-34 荣誉及奖励 29477 访问 相关教师
