何积丰 - 华东师范大学 - 软件工程学院

研究领域

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

近期论文

查看导师最新文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

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