Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* | 2009 | |
---|---|---|

132 | EE | Qin Li, Huibiao Zhu, Jifeng He: A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. Australian Software Engineering Conference 2009: 287-296 |

131 | EE | Huibiao Zhu, Yongxin Zhao, Jifeng He: Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. Australian Software Engineering Conference 2009: 297-306 |

130 | EE | Bernhard K. Aichernig, Jifeng He: Mutation testing in UTP. Formal Asp. Comput. 21(1-2): 33-64 (2009) |

2008 | ||

129 | Elvis Wai Chung Leung, Fu Lee Wang, Lanfang Miao, Jianmin Zhao, Jifeng He: Advances in Blended Learning, Second Workshop on Blended Learning, WBL 2008, Jinhua, China, August 20-22, 2008. Revised Selected Papers Springer 2008 | |

128 | EE | Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He: Execution Semantics for rCOS. APSEC 2008: 119-126 |

127 | EE | Jifeng He: Service Refinement. APSEC 2008: 5 |

126 | EE | Jing Li, Huibiao Zhu, Jifeng He: Specifying and Verifying Web Transactions. FORTE 2008: 149-168 |

125 | EE | Jifeng He: Transaction Calculus. HASE 2008: 4 |

124 | EE | Qin Li, Huibiao Zhu, Jifeng He: Towards the Service Composition Through Buses. HASE 2008: 441-444 |

123 | EE | Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He: A Denotational Model for Web Services Choreography. ICDCIT 2008: 1-12 |

122 | EE | Jifeng He: Refinement and test case generation in Unifying Theory of Programming. ICSM 2008: 6 |

121 | EE | Jing Li, Huibiao Zhu, Jifeng He: An Observational Model for Transactional Calculus of Services Orchestration. ICTAC 2008: 201-215 |

120 | EE | Jifeng He: Modelling Coordination and Compensation. ISoLA 2008: 15-36 |

119 | EE | Jifeng He: Transaction Calculus. Petri Nets 2008: 8 |

118 | EE | Huibiao Zhu, Jifeng He, Jonathan P. Bowen: From algebraic semantics to denotational semantics for Verilog. ISSE 4(4): 341-360 (2008) |

117 | EE | Jifeng He: Service refinement. Science in China Series F: Information Sciences 51(6): 661-682 (2008) |

2007 | ||

116 | EE | Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He: The Validation and Verification of WSCDL. APSEC 2007: 81-88 |

115 | EE | Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan: A Model of Component-Based Programming. FSEN 2007: 191-206 |

114 | EE | Jifeng He: Compensable Programs. Formal Methods and Hybrid Real-Time Systems 2007: 349-363 |

113 | EE | Huibiao Zhu, Jifeng He, Jing Li: Unifying Denotational Semantics with Operational Semantics for Web Services. ICDCIT 2007: 225-239 |

112 | EE | Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He: A Formal Model for Compensable Transactions. ICECCS 2007: 64-73 |

111 | EE | Jifeng He: Linking Semantic Models. ICTAC 2007: 18-33 |

110 | EE | Jing Li, Huibiao Zhu, Jifeng He: Algebraic Semantics for Compensable Transactions. ICTAC 2007: 306-321 |

109 | EE | Jifeng He: UTP Semantics for Web Services. IFM 2007: 353-372 |

108 | EE | Huibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen: Algebraic Approach to Linking the Semantics of Web Services. SEFM 2007: 315-328 |

107 | EE | Huibiao Zhu, Jifeng He, Jonathan P. Bowen: Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. SEW 2007: 131-143 |

106 | EE | Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He: Looking into Compensable Transactions. SEW 2007: 154-166 |

105 | EE | Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li: An Operational Approach to BPEL-like Programming. SEW 2007: 236-245 |

104 | EE | Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu: Modeling and Verifying Web Services Choreography Using Process Algebra. SEW 2007: 256-268 |

103 | EE | Qin Li, Huibiao Zhu, Jifeng He: An Inconsistency Free Formalization of B/S Architecture. SEW 2007: 75-88 |

102 | EE | Qin Li, Huibiao Zhu, Jing Li, Jifeng He: Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. WS-FM 2007: 61-76 |

101 | EE | Bernhard K. Aichernig, Jifeng He: Refinement and Test Case Generation in UTP. Electr. Notes Theor. Comput. Sci. 187: 125-143 (2007) |

100 | EE | Jifeng He, Huibiao Zhu, Geguang Pu: A model for BPEL-like languages. Frontiers of Computer Science in China 1(1): 9-19 (2007) |

2006 | ||

99 | Zhiming Liu, Jifeng He: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings Springer 2006 | |

98 | EE | Huibiao Zhu, Geguang Pu, Jifeng He: A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. ASIAN 2006: 28-36 |

97 | Geguang Pu, Jifeng He, Zongyan Qiu: An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. DDECS 2006: 151-152 | |

96 | EE | Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He: Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. FMOODS 2006: 251-266 |

95 | EE | Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi: Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. ICECCS 2006: 131-138 |

94 | EE | Huibiao Zhu, Jifeng He, Jonathan P. Bowen: From Algebraic Semantics to Denotational Semantics for Verilog. ICECCS 2006: 139-151 |

93 | EE | Jing Liu, Jifeng He: Reactive Component based Service-Oriented Design - A Case Study. ICECCS 2006: 27-36 |

92 | EE | Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu: Towards the Semantics for Web Service Choreography Description Language. ICFEM 2006: 246-263 |

91 | EE | Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao: Patterns with Algebraic Properties in BPEL0. ISoLA 2006: 363-370 |

90 | EE | Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He: A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. KES (1) 2006: 459-466 |

89 | EE | Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen: Integrating Probability with Time and Shared-Variable Concurrency. SEW 2006: 179-189 |

88 | EE | Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin: An Operational Semantics of an Event-Driven System-Level Simulator. SEW 2006: 190-202 |

87 | EE | Jifeng He, Jeff W. Sanders: Unifying Probability. UTP 2006: 173-199 |

86 | EE | Jifeng He, C. A. R. Hoare: CSP Is a Retract of CCS. UTP 2006: 38-62 |

85 | EE | Jifeng He, Shengchao Qin, Adnan Sherif: Constructing Property-Oriented Models for Verification. UTP 2006: 85-100 |

84 | EE | Jifeng He, Xiaoshan Li, Zhiming Liu: A Theory of Reactive Components. Electr. Notes Theor. Comput. Sci. 160: 173-195 (2006) |

83 | EE | Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu: From Statecharts to Verilog: a formal approach to hardware/software co-specification. ISSE 2(1): 17-38 (2006) |

82 | EE | Jing Liu, Jifeng He, Zhiming Liu: A strategy for service realization in service-oriented design. Science in China Series F: Information Sciences 49(6): 864-884 (2006) |

81 | EE | Jifeng He, Xiaoshan Li, Zhiming Liu: rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2): 109-142 (2006) |

2005 | ||

80 | EE | Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He: Consistent Code Generation from UML Models. Australian Software Engineering Conference 2005: 23-30 |

79 | EE | Jifeng He: Linking Theories of Concurrency by Retraction. ICDCIT 2005: 432 |

78 | EE | Xiaoshan Li, Zhiming Liu, Jifeng He: Consistency Checking of UML Requirements. ICECCS 2005: 411-420 |

77 | EE | Jifeng He, C. A. R. Hoare: Linking Theories of Concurrency. ICTAC 2005: 303-317 |

76 | EE | Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He: POST: A Case Study for an Incremental Development in rCOS. ICTAC 2005: 485-500 |

75 | EE | Jifeng He, Xiaoshan Li, Zhiming Liu: Component-Based Software Engineering. ICTAC 2005: 70-95 |

74 | EE | Naiyong Jin, Jifeng He: Towards A Truly Concurrent Model for Processes Sharing Resources. SEFM 2005: 231-239 |

73 | EE | Bernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed: Integrating Theories and Techniques for Program Modelling, Design and Verification. VSTTE 2005: 291-300 |

72 | EE | Geguang Pu,
Zongyan Qiu,
Jifeng He:
Integrating Time and Resource into Circus.
Electr. Notes Theor. Comput. Sci. 130: 401-418 (2005) |

71 | EE | Zhiming Liu, Jifeng He, Xiaoshan Li: Towards a Rigorous Approach to UML-Based Development. Electr. Notes Theor. Comput. Sci. 130: 57-77 (2005) |

70 | EE | 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 | ||

69 | EE | Jifeng He: Linking Theories of Concurrency. 25 Years Communicating Sequential Processes 2004: 61-74 |

68 | EE | Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin: A Relational Model for Object-Oriented Designs. APLAS 2004: 415-436 |

67 | EE | Xiaoshan Li, Zhiming Liu, Jifeng He: A Formal Semantics of UML Sequence Diagram. Australian Software Engineering Conference 2004: 168-177 |

66 | EE | Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li: Linking UML Models of Design and Requirement. Australian Software Engineering Conference 2004: 329-338 |

65 | EE | Zhiming Liu, Jifeng He, Xiaoshan Li: rCOS: Refinement of Component and Object Systems. FMCO 2004: 183-221 |

64 | EE | Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long: Generating a Prototype from a UML Model of System Requirements. ICDCIT 2004: 255-265 |

63 | EE | Jifeng He, Carroll Morgan, Annabelle McIver: Deriving Probabilistic Semantics Via the 'Weakest Completion'. ICFEM 2004: 131-145 |

62 | EE | Jifeng He, Naiyong Jin: Integrating Variants of DC. ICTAC 2004: 14-34 |

61 | EE | Adnan Sherif,
Jifeng He,
Ana Cavalcanti,
Augusto Sampaio:
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions.
ICTAC 2004: 478-493 |

60 | Zhiming Liu, Jifeng He, Xiaoshan Li: Contract Oriented Development of Component Software. IFIP TCS 2004: 349-366 | |

59 | EE | Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi: An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. IFM 2004: 363-381 |

58 | EE | Naiyong Jin, Jifeng He: Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language. SEFM 2004: 132-141 |

57 | EE | Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi: An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. SEFM 2004: 376-385 |

56 | EE | Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li: Unifying Views of UML. Electr. Notes Theor. Comput. Sci. 101: 95-127 (2004) |

2003 | ||

55 | EE | Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen: A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ICFEM 2003: 641-664 |

54 | EE | Li Yongjian, Jifeng He: Towards a Theory of Bisimulation for a Fragment of Verilog. IPDPS 2003: 239 |

53 | EE | Jifeng He, Qiwen Xu: Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs. Formal Asp. Comput. 15(1): 84-99 (2003) |

2002 | ||

52 | EE | Jifeng He: An Algebraic Approach to the VERILOG Programming. 10th Anniversary Colloquium of UNU/IIST 2002: 65-80 |

51 | EE | Jifeng He: Integrating CSP and DC. ICECCS 2002: 47- |

50 | EE | Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang: Hardware/Software Partitioning in Verilog. ICFEM 2002: 168-179 |

49 | EE | Zhiming Liu, Xiaoshan Li, Jifeng He: Using Transition Systems to Unify UML Models. ICFEM 2002: 535-547 |

48 | EE | Huibiao Zhu, Jonathan P. Bowen, Jifeng He: Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. ICFEM 2002: 600-612 |

47 | EE | Adnan Sherif, Jifeng He: Towards a Time Model for Circus. ICFEM 2002: 613-624 |

46 | EE | Jifeng He, Zhiming Liu, Xiaoshan Li: Towards a Refinement Calculus for Object Systems. IEEE ICCI 2002: 69-76 |

45 | EE | Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang: An Algebraic Hardware/Software Partitioning Algorithm. J. Comput. Sci. Technol. 17(3): 284-294 (2002) |

2001 | ||

44 | EE | Shengchao Qin, Zongyan Qiu, Jifeng He: Constructing Hardware/Software Interface Using Protocol Converters. APAQS 2001: 141-148 |

43 | EE | Huibiao Zhu, Jonathan P. Bowen, Jifeng He: Deriving Operational Semantics from Denotational Semantics for Verilog. APSEC 2001: 177- |

42 | EE | Shengchao Qin, Jifeng He: Partitioning Program into Hardware and Software. APSEC 2001: 309-316 |

41 | EE | Van Dung Tran, Jifeng He: A Theory of Combinational Programs. APSEC 2001: 325- |

40 | EE | Huibiao Zhu, Jonathan P. Bowen, Jifeng He: From Operational Semantics to Denotational Semantics for Verilog. CHARME 2001: 449-466 |

39 | EE | Xiaoshan Li, Zhiming Liu, Jifeng He: Formal and Use-Case Driven Requirement Analysis in UML. COMPSAC 2001: 215-224 |

38 | Jonathan P. Bowen, Jifeng He: An Approach to the Specification and Verification of a Hardware Compilation Scheme. The Journal of Supercomputing 19(1): 23-39 (2001) | |

2000 | ||

37 | Jifeng He, Masahiko Sato: Advances in Computing Science - ASIAN 2000, 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings Springer 2000 | |

36 | EE | Jifeng He, C. A. R. Hoare: Unifying theories of healthiness condition. APSEC 2000: 70- |

35 | EE | Jonathan P. Bowen, Jifeng He, Qiwen Xu: An Animatable Operational Semantics of the Verilog Hardware Description Language. ICFEM 2000: 199-208 |

34 | Jifeng He, Qiwen Xu: An Operational Semantics of a Simulator Algorithm. PDPTA 2000 | |

33 | C. A. R. Hoare, Jifeng He, Augusto Sampaio: Algebraic derivation of an operational semantics. Proof, Language, and Interaction 2000: 77-98 | |

1999 | ||

32 | EE | C. A. R. Hoare, Jifeng He: A Trace Model for Pointers and Objects. ECOOP 1999: 1-17 |

31 | Jifeng He: A Common Framework for Mixed Hardware/Software Systems. IFM 1999: 3-25 | |

30 | EE | Li Li, Jifeng He: A Denotational Semantics of Timed RSL Using Duration Calculus. RTCSA 1999: 492- |

29 | EE | Jifeng He: A Behavioral Model for Co-design. World Congress on Formal Methods 1999: 1420-1438 |

28 | Jifeng He, C. A. R. Hoare: Linking Theories in Probabilistic Programming. Inf. Sci. 119(3-4): 205-218 (1999) | |

1998 | ||

27 | Jifeng He, C. A. R. Hoare: Unifying theories of programming. RelMiCS 1998: 97-99 | |

1997 | ||

26 | EE | C. A. R. Hoare, Jifeng He: Unifying Theories for Parallel Programming. Euro-Par 1997: 15-30 |

25 | Jifeng He: Linking Theories in Probabilistic Programming. RelMiCS 1997: 247-256 | |

24 | Qiwen Xu, Willem P. de Roever, Jifeng He: The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs. Formal Asp. Comput. 9(2): 149-174 (1997) | |

23 | Jifeng He, Karen Seidel, Annabelle McIver: Probabilistic Models for the Guarded Command Language. Sci. Comput. Program. 28(2-3): 171-192 (1997) | |

1996 | ||

22 | EE | Jifeng He, Quentin Miller, Lei Chen: Algebraic Laws for BSP Programming. Euro-Par, Vol. II 1996: 359-368 |

1994 | ||

21 | 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: Provably Correct Systems. FTRTFT 1994: 288-335 | |

20 | Jifeng He, Zheng Jianping: Simulation Approach to Provably Correct Hardware Compilation. FTRTFT 1994: 336-350 | |

19 | Jifeng He, Jonathan P. Bowen: Specification, Verification and Prototyping of an Optimized Compiler. Formal Asp. Comput. 6(6): 643-658 (1994) | |

18 | David Scholefield, Hussein S. M. Zedan, Jifeng He: A Specification-Oriented Semantics for the Refinement of Real-Time Systems. Theor. Comput. Sci. 131(1): 219-241 (1994) | |

1993 | ||

17 | Jifeng He, Ian Page, Jonathan P. Bowen: Towards a Provably Correct Hardware Implementation of Occam. CHARME 1993: 214-225 | |

16 | EE | Jifeng He: Hybrid Parallel Programming and Implementation of Synchronised Communication. MFCS 1993: 537-546 |

15 | EE | David Scholefield, Hussein S. M. Zedan, Jifeng He: Real-Time Refinement: Semantics and Application. MFCS 1993: 693-702 |

14 | EE | David Scholefield, Hussein S. M. Zedan, Jifeng He: A Predicative Semantics for the Refinement of Real-Time Systems. MFPS 1993: 230-249 |

13 | C. A. R. Hoare, Jifeng He, Augusto Sampaio: Normal Form Approach to Compiler Design. Acta Inf. 30(8): 701-739 (1993) | |

12 | Jifeng He, C. A. R. Hoare: From Algebra to Operational Semantics. Inf. Process. Lett. 45(2): 75-80 (1993) | |

1991 | ||

11 | C. E. Martin, C. A. R. Hoare, Jifeng He: Pre-Adjunctions in Order Enriched Categories. Mathematical Structures in Computer Science 1(2): 141-158 (1991) | |

1990 | ||

10 | EE | Jonathan P. Bowen, Jifeng He, Paritosh K. Pandya: An Approach to Verifiable Compiling Specification and Prototyping. PLILP 1990: 45-59 |

1989 | ||

9 | EE | Jifeng He, C. A. R. Hoare: Categorical Semantics for Programming Languages. Mathematical Foundations of Programming Semantics 1989: 402-417 |

8 | EE | Jifeng He: Various Simulations and Refinements. REX Workshop 1989: 340-360 |

7 | Jifeng He: Process Simulation and Refinement. Formal Asp. Comput. 1(3): 229-241 (1989) | |

1987 | ||

6 | C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin: Laws of Programming. Commun. ACM 30(8): 672-686 (1987) | |

5 | Jifeng He, C. A. R. Hoare: Algebraic Specification and Proof of a Distributed Recovery Algorithm. Distributed Computing 2(1): 1-12 (1987) | |

4 | C. A. R. Hoare, Jifeng He: The Weakest Prespecification. Inf. Process. Lett. 24(2): 127-132 (1987) | |

3 | C. A. R. Hoare, Jifeng He, Jeff W. Sanders: Prespecification in Data Refinement. Inf. Process. Lett. 25(2): 71-76 (1987) | |

1986 | ||

2 | EE | Jifeng He, C. A. R. Hoare, Jeff W. Sanders: Data Refinement Refined. ESOP 1986: 187-196 |

1983 | ||

1 | Jifeng He: General Predicate Transformer and the Semantics of a Programming Language With Go To Statement. Acta Inf. 20: 35-57 (1983) |