dblp.uni-trier.dewww.uni-trier.de

Jifeng He

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
126EEBernhard K. Aichernig, Jifeng He: Mutation testing in UTP. Formal Asp. Comput. 21(1-2): 33-64 (2009)
2008
125 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
124EEJing Li, Huibiao Zhu, Jifeng He: Specifying and Verifying Web Transactions. FORTE 2008: 149-168
123EEJifeng He: Transaction Calculus. HASE 2008: 4
122EEQin Li, Huibiao Zhu, Jifeng He: Towards the Service Composition Through Buses. HASE 2008: 441-444
121EEGeguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He: A Denotational Model for Web Services Choreography. ICDCIT 2008: 1-12
120EEJifeng He: Refinement and test case generation in Unifying Theory of Programming. ICSM 2008: 6
119EEJing Li, Huibiao Zhu, Jifeng He: An Observational Model for Transactional Calculus of Services Orchestration. ICTAC 2008: 201-215
118EEJifeng He: Modelling Coordination and Compensation. ISoLA 2008: 15-36
117EEJifeng He: Transaction Calculus. Petri Nets 2008: 8
116EEJifeng He: Service refinement. Science in China Series F: Information Sciences 51(6): 661-682 (2008)
2007
115EEGeguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He: The Validation and Verification of WSCDL. APSEC 2007: 81-88
114EEXin Chen, Jifeng He, Zhiming Liu, Naijun Zhan: A Model of Component-Based Programming. FSEN 2007: 191-206
113EEJifeng He: Compensable Programs. Formal Methods and Hybrid Real-Time Systems 2007: 349-363
112EEHuibiao Zhu, Jifeng He, Jing Li: Unifying Denotational Semantics with Operational Semantics for Web Services. ICDCIT 2007: 225-239
111EEJing Li, Huibiao Zhu, Geguang Pu, Jifeng He: A Formal Model for Compensable Transactions. ICECCS 2007: 64-73
110EEJifeng He: Linking Semantic Models. ICTAC 2007: 18-33
109EEJing Li, Huibiao Zhu, Jifeng He: Algebraic Semantics for Compensable Transactions. ICTAC 2007: 306-321
108EEJifeng He: UTP Semantics for Web Services. IFM 2007: 353-372
107EEHuibiao Zhu, Jifeng He, Jing Li, Jonathan P. Bowen: Algebraic Approach to Linking the Semantics of Web Services. SEFM 2007: 315-328
106EEHuibiao 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
105EEJing Li, Huibiao Zhu, Geguang Pu, Jifeng He: Looking into Compensable Transactions. SEW 2007: 154-166
104EEHuibiao Zhu, Jifeng He, Geguang Pu, Jing Li: An Operational Approach to BPEL-like Programming. SEW 2007: 236-245
103EEJing Li, Jifeng He, Huibiao Zhu, Geguang Pu: Modeling and Verifying Web Services Choreography Using Process Algebra. SEW 2007: 256-268
102EEQin Li, Huibiao Zhu, Jifeng He: An Inconsistency Free Formalization of B/S Architecture. SEW 2007: 75-88
101EEQin Li, Huibiao Zhu, Jing Li, Jifeng He: Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. WS-FM 2007: 61-76
100EEBernhard K. Aichernig, Jifeng He: Refinement and Test Case Generation in UTP. Electr. Notes Theor. Comput. Sci. 187: 125-143 (2007)
99EEJifeng He, Huibiao Zhu, Geguang Pu: A model for BPEL-like languages. Frontiers of Computer Science in China 1(1): 9-19 (2007)
2006
98 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
97EEHuibiao Zhu, Geguang Pu, Jifeng He: A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. ASIAN 2006: 28-36
96 Geguang Pu, Jifeng He, Zongyan Qiu: An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem. DDECS 2006: 151-152
95EEGeguang 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
94EEGeguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi: Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. ICECCS 2006: 131-138
93EEHuibiao Zhu, Jifeng He, Jonathan P. Bowen: From Algebraic Semantics to Denotational Semantics for Verilog. ICECCS 2006: 139-151
92EEJing Liu, Jifeng He: Reactive Component based Service-Oriented Design - A Case Study. ICECCS 2006: 27-36
91EEJing Li, Jifeng He, Geguang Pu, Huibiao Zhu: Towards the Semantics for Web Service Choreography Description Language. ICFEM 2006: 246-263
90EEGeguang 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
89EEHuibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen: Integrating Probability with Time and Shared-Variable Concurrency. SEW 2006: 179-189
88EEXiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin: An Operational Semantics of an Event-Driven System-Level Simulator. SEW 2006: 190-202
87EEJifeng He, Jeff W. Sanders: Unifying Probability. UTP 2006: 173-199
86EEJifeng He, C. A. R. Hoare: CSP Is a Retract of CCS. UTP 2006: 38-62
85EEJifeng He, Shengchao Qin, Adnan Sherif: Constructing Property-Oriented Models for Verification. UTP 2006: 85-100
84EEJifeng He, Xiaoshan Li, Zhiming Liu: A Theory of Reactive Components. Electr. Notes Theor. Comput. Sci. 160: 173-195 (2006)
83EEShengchao 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)
82EEJing 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)
81EEJifeng He, Xiaoshan Li, Zhiming Liu: rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2): 109-142 (2006)
2005
80EEQuan Long, Zhiming Liu, Xiaoshan Li, Jifeng He: Consistent Code Generation from UML Models. Australian Software Engineering Conference 2005: 23-30
79EEJifeng He: Linking Theories of Concurrency by Retraction. ICDCIT 2005: 432
78EEXiaoshan Li, Zhiming Liu, Jifeng He: Consistency Checking of UML Requirements. ICECCS 2005: 411-420
77EEJifeng He, C. A. R. Hoare: Linking Theories of Concurrency. ICTAC 2005: 303-317
76EEQuan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He: POST: A Case Study for an Incremental Development in rCOS. ICTAC 2005: 485-500
75EEJifeng He, Xiaoshan Li, Zhiming Liu: Component-Based Software Engineering. ICTAC 2005: 70-95
74EENaiyong Jin, Jifeng He: Towards A Truly Concurrent Model for Processes Sharing Resources. SEFM 2005: 231-239
73EEBernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed: Integrating Theories and Techniques for Program Modelling, Design and Verification. VSTTE 2005: 291-300
72EEGeguang Pu, Zongyan Qiu, Jifeng He: Integrating Time and Resource into Circus. Electr. Notes Theor. Comput. Sci. 130: 401-418 (2005)
71EEZhiming Liu, Jifeng He, Xiaoshan Li: Towards a Rigorous Approach to UML-Based Development. Electr. Notes Theor. Comput. Sci. 130: 57-77 (2005)
70EEJifeng 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
69EEJifeng He: Linking Theories of Concurrency. 25 Years Communicating Sequential Processes 2004: 61-74
68EEJifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin: A Relational Model for Object-Oriented Designs. APLAS 2004: 415-436
67EEXiaoshan Li, Zhiming Liu, Jifeng He: A Formal Semantics of UML Sequence Diagram. Australian Software Engineering Conference 2004: 168-177
66EEJing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li: Linking UML Models of Design and Requirement. Australian Software Engineering Conference 2004: 329-338
65EEZhiming Liu, Jifeng He, Xiaoshan Li: rCOS: Refinement of Component and Object Systems. FMCO 2004: 183-221
64EEXiaoshan Li, Zhiming Liu, Jifeng He, Quan Long: Generating a Prototype from a UML Model of System Requirements. ICDCIT 2004: 255-265
63EEJifeng He, Carroll Morgan, Annabelle McIver: Deriving Probabilistic Semantics Via the 'Weakest Completion'. ICFEM 2004: 131-145
62EEJifeng He, Naiyong Jin: Integrating Variants of DC. ICTAC 2004: 14-34
61EEAdnan 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
59EEGeguang Pu, Dang Van Hung, Jifeng He, Wang Yi: An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. IFM 2004: 363-381
58EENaiyong Jin, Jifeng He: Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language. SEFM 2004: 132-141
57EEGeguang 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
56EEZhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li: Unifying Views of UML. Electr. Notes Theor. Comput. Sci. 101: 95-127 (2004)
2003
55EEZhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen: A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ICFEM 2003: 641-664
54EELi Yongjian, Jifeng He: Towards a Theory of Bisimulation for a Fragment of Verilog. IPDPS 2003: 239
53EEJifeng He, Qiwen Xu: Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs. Formal Asp. Comput. 15(1): 84-99 (2003)
2002
52EEJifeng He: An Algebraic Approach to the VERILOG Programming. 10th Anniversary Colloquium of UNU/IIST 2002: 65-80
51EEJifeng He: Integrating CSP and DC. ICECCS 2002: 47-
50EEShengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang: Hardware/Software Partitioning in Verilog. ICFEM 2002: 168-179
49EEZhiming Liu, Xiaoshan Li, Jifeng He: Using Transition Systems to Unify UML Models. ICFEM 2002: 535-547
48EEHuibiao Zhu, Jonathan P. Bowen, Jifeng He: Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. ICFEM 2002: 600-612
47EEAdnan Sherif, Jifeng He: Towards a Time Model for Circus. ICFEM 2002: 613-624
46EEJifeng He, Zhiming Liu, Xiaoshan Li: Towards a Refinement Calculus for Object Systems. IEEE ICCI 2002: 69-76
45EEShengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang: An Algebraic Hardware/Software Partitioning Algorithm. J. Comput. Sci. Technol. 17(3): 284-294 (2002)
2001
44EEShengchao Qin, Zongyan Qiu, Jifeng He: Constructing Hardware/Software Interface Using Protocol Converters. APAQS 2001: 141-148
43EEHuibiao Zhu, Jonathan P. Bowen, Jifeng He: Deriving Operational Semantics from Denotational Semantics for Verilog. APSEC 2001: 177-
42EEShengchao Qin, Jifeng He: Partitioning Program into Hardware and Software. APSEC 2001: 309-316
41EEVan Dung Tran, Jifeng He: A Theory of Combinational Programs. APSEC 2001: 325-
40EEHuibiao Zhu, Jonathan P. Bowen, Jifeng He: From Operational Semantics to Denotational Semantics for Verilog. CHARME 2001: 449-466
39EEXiaoshan 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
36EEJifeng He, C. A. R. Hoare: Unifying theories of healthiness condition. APSEC 2000: 70-
35EEJonathan 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
32EEC. 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
30EELi Li, Jifeng He: A Denotational Semantics of Timed RSL Using Duration Calculus. RTCSA 1999: 492-
29EEJifeng 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 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 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 Jifeng He: Hybrid Parallel Programming and Implementation of Synchronised Communication. MFCS 1993: 537-546
15 David Scholefield, Hussein S. M. Zedan, Jifeng He: Real-Time Refinement: Semantics and Application. MFCS 1993: 693-702
14 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 Jonathan P. Bowen, Jifeng He, Paritosh K. Pandya: An Approach to Verifiable Compiling Specification and Prototyping. PLILP 1990: 45-59
1989
9 Jifeng He, C. A. R. Hoare: Categorical Semantics for Programming Languages. Mathematical Foundations of Programming Semantics 1989: 402-417
8 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 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)

Coauthor Index

1Bernhard K. Aichernig [73] [100] [126]
2Jonathan P. Bowen [10] [17] [19] [35] [38] [40] [43] [48] [89] [93] [106] [107]
3Ana Cavalcanti [61]
4Lei Chen [22]
5Xin Chen [114]
6Yifeng Chen [55]
7Wei-Ngan Chin [83]
8Libo Feng [121]
9Martin Fränzle [21]
10Michael R. Hansen [21]
11Ian J. Hayes [6]
12C. A. R. Hoare (Tony Hoare) [2] [3] [4] [5] [6] [9] [11] [12] [13] [21] [26] [27] [28] [32] [33] [36] [77] [86]
13Dang Van Hung [59] [70]
14Zheng Jianping [20]
15Lu Jin [115]
16Naiyong Jin [58] [62] [74] [88]
17Elvis Wai Chung Leung [125]
18Jing Li [91] [101] [103] [104] [105] [107] [109] [111] [112] [119] [124]
19Li Li [30]
20Qin Li [101] [102] [122]
21Xiaoshan Li [39] [46] [49] [55] [56] [60] [64] [65] [66] [67] [68] [71] [75] [78] [80] [81] [84]
22Zuoquan Lin [90]
23Jing Liu [56] [66] [82] [92] [115]
24Zhiming Liu [39] [46] [49] [55] [56] [60] [64] [65] [66] [67] [68] [71] [73] [75] [76] [78] [80] [81] [82] [84] [98] [114]
25Quan Long [64] [76] [80]
26C. E. Martin [11]
27Annabelle McIver [23] [63]
28Lanfang Miao [125]
29Quentin Miller [22]
30Carroll Morgan [6] [63]
31Markus Müller-Olm [21]
32Ernst-Rüdiger Olderog [21]
33Ian Page [17]
34Paritosh K. Pandya [10]
35Xiaoqing Peng [88]
36Geguang Pu [57] [59] [70] [72] [90] [91] [94] [95] [96] [97] [99] [103] [104] [105] [111] [115] [121]
37Shengchao Qin [42] [44] [45] [50] [68] [83] [85] [89]
38Zongyan Qiu [44] [45] [50] [57] [70] [72] [76] [83] [90] [94] [95] [96]
39Anders P. Ravn [21]
40Mike Reed [73]
41Hans Rischel [21]
42Willem P. de Roever [24]
43A. W. Roscoe (A. William Roscoe, Bill Roscoe) [6]
44Augusto Sampaio [13] [33] [61]
45Jeff W. Sanders [2] [3] [6] [87]
46Masahiko Sato [37]
47Michael Schenke [21]
48David Scholefield [14] [15] [18]
49Karen Seidel [23]
50Lingshuang Shao [76]
51Adnan Sherif [47] [61] [85]
52Jianqi Shi [115]
53Ib Holm Sørensen [6]
54J. Michael Spivey [6]
55Bernard Sufrin [6]
56Van Dung Tran [41]
57Fu Lee Wang [125]
58Shuling Wang [57] [95]
59Zheng Wang [115] [121]
60Qiwen Xu [24] [34] [35] [53]
61Wang Yi [57] [59] [70] [94]
62Li Yongjian [54]
63Hussein Zedan (Hussein S. M. Zedan) [14] [15] [18]
64Naijun Zhan [114]
65Chong Zhang [90] [94]
66Naixiao Zhang [45] [50]
67Jianmin Zhao [125]
68Xiangpeng Zhao [57] [95]
69Yongxin Zhao [121]
70Huibiao Zhu [40] [43] [48] [88] [89] [91] [93] [95] [97] [99] [101] [102] [103] [104] [105] [106] [107] [109] [111] [112] [119] [121] [122] [124]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)