 | 2009 |
|---|
| 132 |       | 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 | | 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 | | 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 | | Zheng Wang,
Xiao Yu,
Geguang Pu,
Libo Feng,
Huibiao Zhu,
Jifeng He:
Execution Semantics for rCOS.
APSEC 2008: 119-126 |
| 127 | | Jifeng He:
Service Refinement.
APSEC 2008: 5 |
| 126 | | Jing Li,
Huibiao Zhu,
Jifeng He:
Specifying and Verifying Web Transactions.
FORTE 2008: 149-168 |
| 125 | | Jifeng He:
Transaction Calculus.
HASE 2008: 4 |
| 124 | | Qin Li,
Huibiao Zhu,
Jifeng He:
Towards the Service Composition Through Buses.
HASE 2008: 441-444 |
| 123 | | Geguang Pu,
Yongxin Zhao,
Zheng Wang,
Libo Feng,
Huibiao Zhu,
Jifeng He:
A Denotational Model for Web Services Choreography.
ICDCIT 2008: 1-12 |
| 122 | | Jifeng He:
Refinement and test case generation in Unifying Theory of Programming.
ICSM 2008: 6 |
| 121 | | Jing Li,
Huibiao Zhu,
Jifeng He:
An Observational Model for Transactional Calculus of Services Orchestration.
ICTAC 2008: 201-215 |
| 120 | | Jifeng He:
Modelling Coordination and Compensation.
ISoLA 2008: 15-36 |
| 119 | | Jifeng He:
Transaction Calculus.
Petri Nets 2008: 8 |
| 118 | | Huibiao Zhu,
Jifeng He,
Jonathan P. Bowen:
From algebraic semantics to denotational semantics for Verilog.
ISSE 4(4): 341-360 (2008) |
| 117 | | Jifeng He:
Service refinement.
Science in China Series F: Information Sciences 51(6): 661-682 (2008) |
| 2007 |
|---|
| 116 | | Geguang Pu,
Jianqi Shi,
Zheng Wang,
Lu Jin,
Jing Liu,
Jifeng He:
The Validation and Verification of WSCDL.
APSEC 2007: 81-88 |
| 115 | | Xin Chen,
Jifeng He,
Zhiming Liu,
Naijun Zhan:
A Model of Component-Based Programming.
FSEN 2007: 191-206 |
| 114 | | Jifeng He:
Compensable Programs.
Formal Methods and Hybrid Real-Time Systems 2007: 349-363 |
| 113 | | Huibiao Zhu,
Jifeng He,
Jing Li:
Unifying Denotational Semantics with Operational Semantics for Web Services.
ICDCIT 2007: 225-239 |
| 112 | | Jing Li,
Huibiao Zhu,
Geguang Pu,
Jifeng He:
A Formal Model for Compensable Transactions.
ICECCS 2007: 64-73 |
| 111 | | Jifeng He:
Linking Semantic Models.
ICTAC 2007: 18-33 |
| 110 | | Jing Li,
Huibiao Zhu,
Jifeng He:
Algebraic Semantics for Compensable Transactions.
ICTAC 2007: 306-321 |
| 109 | | Jifeng He:
UTP Semantics for Web Services.
IFM 2007: 353-372 |
| 108 | | Huibiao Zhu,
Jifeng He,
Jing Li,
Jonathan P. Bowen:
Algebraic Approach to Linking the Semantics of Web Services.
SEFM 2007: 315-328 |
| 107 | | 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 | | Jing Li,
Huibiao Zhu,
Geguang Pu,
Jifeng He:
Looking into Compensable Transactions.
SEW 2007: 154-166 |
| 105 | | Huibiao Zhu,
Jifeng He,
Geguang Pu,
Jing Li:
An Operational Approach to BPEL-like Programming.
SEW 2007: 236-245 |
| 104 | | Jing Li,
Jifeng He,
Huibiao Zhu,
Geguang Pu:
Modeling and Verifying Web Services Choreography Using Process Algebra.
SEW 2007: 256-268 |
| 103 | | Qin Li,
Huibiao Zhu,
Jifeng He:
An Inconsistency Free Formalization of B/S Architecture.
SEW 2007: 75-88 |
| 102 | | 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 | | Bernhard K. Aichernig,
Jifeng He:
Refinement and Test Case Generation in UTP.
Electr. Notes Theor. Comput. Sci. 187: 125-143 (2007) |
| 100 | | 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 | | 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 | | 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 | | 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 | | Huibiao Zhu,
Jifeng He,
Jonathan P. Bowen:
From Algebraic Semantics to Denotational Semantics for Verilog.
ICECCS 2006: 139-151 |
| 93 | | Jing Liu,
Jifeng He:
Reactive Component based Service-Oriented Design - A Case Study.
ICECCS 2006: 27-36 |
| 92 | | Jing Li,
Jifeng He,
Geguang Pu,
Huibiao Zhu:
Towards the Semantics for Web Service Choreography Description Language.
ICFEM 2006: 246-263 |
| 91 | | Geguang Pu,
Huibiao Zhu,
Jifeng He,
Zongyan Qiu,
Hongli Yang,
Xiangpeng Zhao:
Patterns with Algebraic Properties in BPEL0.
ISoLA 2006: 363-370 |
| 90 | | 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 | | Huibiao Zhu,
Shengchao Qin,
Jifeng He,
Jonathan P. Bowen:
Integrating Probability with Time and Shared-Variable Concurrency.
SEW 2006: 179-189 |
| 88 | | Xiaoqing Peng,
Huibiao Zhu,
Jifeng He,
Naiyong Jin:
An Operational Semantics of an Event-Driven System-Level Simulator.
SEW 2006: 190-202 |
| 87 | | Jifeng He,
Jeff W. Sanders:
Unifying Probability.
UTP 2006: 173-199 |
| 86 | | Jifeng He,
C. A. R. Hoare:
CSP Is a Retract of CCS.
UTP 2006: 38-62 |
| 85 | | Jifeng He,
Shengchao Qin,
Adnan Sherif:
Constructing Property-Oriented Models for Verification.
UTP 2006: 85-100 |
| 84 | | Jifeng He,
Xiaoshan Li,
Zhiming Liu:
A Theory of Reactive Components.
Electr. Notes Theor. Comput. Sci. 160: 173-195 (2006) |
| 83 | | 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 | | 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 | | Jifeng He,
Xiaoshan Li,
Zhiming Liu:
rCOS: A refinement calculus of object systems.
Theor. Comput. Sci. 365(1-2): 109-142 (2006) |
| 2005 |
|---|
| 80 | | Quan Long,
Zhiming Liu,
Xiaoshan Li,
Jifeng He:
Consistent Code Generation from UML Models.
Australian Software Engineering Conference 2005: 23-30 |
| 79 | | Jifeng He:
Linking Theories of Concurrency by Retraction.
ICDCIT 2005: 432 |
| 78 | | Xiaoshan Li,
Zhiming Liu,
Jifeng He:
Consistency Checking of UML Requirements.
ICECCS 2005: 411-420 |
| 77 | | Jifeng He,
C. A. R. Hoare:
Linking Theories of Concurrency.
ICTAC 2005: 303-317 |
| 76 | | 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 | | Jifeng He,
Xiaoshan Li,
Zhiming Liu:
Component-Based Software Engineering.
ICTAC 2005: 70-95 |
| 74 | | Naiyong Jin,
Jifeng He:
Towards A Truly Concurrent Model for Processes Sharing Resources.
SEFM 2005: 231-239 |
| 73 | | Bernhard K. Aichernig,
Jifeng He,
Zhiming Liu,
Mike Reed:
Integrating Theories and Techniques for Program Modelling, Design and Verification.
VSTTE 2005: 291-300 |
| 72 | | Geguang Pu,
Zongyan Qiu,
Jifeng He:
Integrating Time and Resource into Circus.
Electr. Notes Theor. Comput. Sci. 130: 401-418 (2005) |
| 71 | | Zhiming Liu,
Jifeng He,
Xiaoshan Li:
Towards a Rigorous Approach to UML-Based Development.
Electr. Notes Theor. Comput. Sci. 130: 57-77 (2005) |
| 70 | | 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 | | Jifeng He:
Linking Theories of Concurrency.
25 Years Communicating Sequential Processes 2004: 61-74 |
| 68 | | Jifeng He,
Zhiming Liu,
Xiaoshan Li,
Shengchao Qin:
A Relational Model for Object-Oriented Designs.
APLAS 2004: 415-436 |
| 67 | | Xiaoshan Li,
Zhiming Liu,
Jifeng He:
A Formal Semantics of UML Sequence Diagram.
Australian Software Engineering Conference 2004: 168-177 |
| 66 | | Jing Liu,
Zhiming Liu,
Jifeng He,
Xiaoshan Li:
Linking UML Models of Design and Requirement.
Australian Software Engineering Conference 2004: 329-338 |
| 65 | | Zhiming Liu,
Jifeng He,
Xiaoshan Li:
rCOS: Refinement of Component and Object Systems.
FMCO 2004: 183-221 |
| 64 | | Xiaoshan Li,
Zhiming Liu,
Jifeng He,
Quan Long:
Generating a Prototype from a UML Model of System Requirements.
ICDCIT 2004: 255-265 |
| 63 | | Jifeng He,
Carroll Morgan,
Annabelle McIver:
Deriving Probabilistic Semantics Via the 'Weakest Completion'.
ICFEM 2004: 131-145 |
| 62 | | Jifeng He,
Naiyong Jin:
Integrating Variants of DC.
ICTAC 2004: 14-34 |
| 61 | | 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 | | Geguang Pu,
Dang Van Hung,
Jifeng He,
Wang Yi:
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model.
IFM 2004: 363-381 |
| 58 | | Naiyong Jin,
Jifeng He:
Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language.
SEFM 2004: 132-141 |
| 57 | | 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 | | Zhiming Liu,
Jifeng He,
Jing Liu,
Xiaoshan Li:
Unifying Views of UML.
Electr. Notes Theor. Comput. Sci. 101: 95-127 (2004) |
| 2003 |
|---|
| 55 | | Zhiming Liu,
Jifeng He,
Xiaoshan Li,
Yifeng Chen:
A Relational Model for Formal Object-Oriented Requirement Analysis in UML.
ICFEM 2003: 641-664 |
| 54 | | Li Yongjian,
Jifeng He:
Towards a Theory of Bisimulation for a Fragment of Verilog.
IPDPS 2003: 239 |
| 53 | | 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 | | Jifeng He:
An Algebraic Approach to the VERILOG Programming.
10th Anniversary Colloquium of UNU/IIST 2002: 65-80 |
| 51 | | Jifeng He:
Integrating CSP and DC.
ICECCS 2002: 47- |
| 50 | | Shengchao Qin,
Jifeng He,
Zongyan Qiu,
Naixiao Zhang:
Hardware/Software Partitioning in Verilog.
ICFEM 2002: 168-179 |
| 49 | | Zhiming Liu,
Xiaoshan Li,
Jifeng He:
Using Transition Systems to Unify UML Models.
ICFEM 2002: 535-547 |
| 48 | | 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 | | Adnan Sherif,
Jifeng He:
Towards a Time Model for Circus.
ICFEM 2002: 613-624 |
| 46 | | Jifeng He,
Zhiming Liu,
Xiaoshan Li:
Towards a Refinement Calculus for Object Systems.
IEEE ICCI 2002: 69-76 |
| 45 | | 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 | | Shengchao Qin,
Zongyan Qiu,
Jifeng He:
Constructing Hardware/Software Interface Using Protocol Converters.
APAQS 2001: 141-148 |
| 43 | | Huibiao Zhu,
Jonathan P. Bowen,
Jifeng He:
Deriving Operational Semantics from Denotational Semantics for Verilog.
APSEC 2001: 177- |
| 42 | | Shengchao Qin,
Jifeng He:
Partitioning Program into Hardware and Software.
APSEC 2001: 309-316 |
| 41 | | Van Dung Tran,
Jifeng He:
A Theory of Combinational Programs.
APSEC 2001: 325- |
| 40 | | Huibiao Zhu,
Jonathan P. Bowen,
Jifeng He:
From Operational Semantics to Denotational Semantics for Verilog.
CHARME 2001: 449-466 |
| 39 | | 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 | | Jifeng He,
C. A. R. Hoare:
Unifying theories of healthiness condition.
APSEC 2000: 70- |
| 35 | | 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 | | 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 | | Li Li,
Jifeng He:
A Denotational Semantics of Timed RSL Using Duration Calculus.
RTCSA 1999: 492- |
| 29 | | 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 | | 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) |
