| 2008 |
|---|
| 111 | EE | Jing Li,
Huibiao Zhu,
Jifeng He:
Specifying and Verifying Web Transactions.
FORTE 2008: 149-168 |
| 2007 |
|---|
| 110 | EE | Geguang Pu,
Jianqi Shi,
Zheng Wang,
Lu Jin,
Jing Liu,
Jifeng He:
The Validation and Verification of WSCDL.
APSEC 2007: 81-88 |
| 109 | EE | Xin Chen,
Jifeng He,
Zhiming Liu,
Naijun Zhan:
A Model of Component-Based Programming.
FSEN 2007: 191-206 |
| 108 | EE | Jifeng He:
Compensable Programs.
Formal Methods and Hybrid Real-Time Systems 2007: 349-363 |
| 107 | EE | Huibiao Zhu,
Jifeng He,
Jing Li:
Unifying Denotational Semantics with Operational Semantics for Web Services.
ICDCIT 2007: 225-239 |
| 106 | EE | Jing Li,
Huibiao Zhu,
Geguang Pu,
Jifeng He:
A Formal Model for Compensable Transactions.
ICECCS 2007: 64-73 |
| 105 | EE | Jing Li,
Huibiao Zhu,
Jifeng He:
Algebraic Semantics for Compensable Transactions.
ICTAC 2007: 306-321 |
| 104 | EE | Huibiao Zhu,
Jifeng He,
Jing Li,
Jonathan P. Bowen:
Algebraic Approach to Linking the Semantics of Web Services.
SEFM 2007: 315-328 |
| 103 | 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 |
| 102 | EE | Jing Li,
Huibiao Zhu,
Geguang Pu,
Jifeng He:
Looking into Compensable Transactions.
SEW 2007: 154-166 |
| 101 | EE | Huibiao Zhu,
Jifeng He,
Geguang Pu,
Jing Li:
An Operational Approach to BPEL-like Programming.
SEW 2007: 236-245 |
| 100 | EE | Jing Li,
Jifeng He,
Huibiao Zhu,
Geguang Pu:
Modeling and Verifying Web Services Choreography Using Process Algebra.
SEW 2007: 256-268 |
| 99 | EE | Qin Li,
Huibiao Zhu,
Jifeng He:
An Inconsistency Free Formalization of B/S Architecture.
SEW 2007: 75-88 |
| 98 | 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 |
| 97 | EE | Bernhard K. Aichernig,
Jifeng He:
Refinement and Test Case Generation in UTP.
Electr. Notes Theor. Comput. Sci. 187: 125-143 (2007) |
| 2006 |
|---|
| 96 | | 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 |
| 95 | EE | Huibiao Zhu,
Geguang Pu,
Jifeng He:
A Denotational Approach to Scope-Based Compensable Flow Language for Web Service.
ASIAN 2006: 28-36 |
| 94 | | Geguang Pu,
Jifeng He,
Zongyan Qiu:
An Optimal Lower-Bound Algorithm for the High-Level Synthesis Scheduling Problem.
DDECS 2006: 151-152 |
| 93 | 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 |
| 92 | 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 |
| 91 | EE | Huibiao Zhu,
Jifeng He,
Jonathan P. Bowen:
From Algebraic Semantics to Denotational Semantics for Verilog.
ICECCS 2006: 139-151 |
| 90 | EE | Jing Liu,
Jifeng He:
Reactive Component based Service-Oriented Design - A Case Study.
ICECCS 2006: 27-36 |
| 89 | EE | Jing Li,
Jifeng He,
Geguang Pu,
Huibiao Zhu:
Towards the Semantics for Web Service Choreography Description Language.
ICFEM 2006: 246-263 |
| 88 | 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 |
| 87 | EE | Huibiao Zhu,
Shengchao Qin,
Jifeng He,
Jonathan P. Bowen:
Integrating Probability with Time and Shared-Variable Concurrency.
SEW 2006: 179-189 |
| 86 | EE | Xiaoqing Peng,
Huibiao Zhu,
Jifeng He,
Naiyong Jin:
An Operational Semantics of an Event-Driven System-Level Simulator.
SEW 2006: 190-202 |
| 85 | EE | Jifeng He,
Jeff W. Sanders:
Unifying Probability.
UTP 2006: 173-199 |
| 84 | EE | Jifeng He,
C. A. R. Hoare:
CSP Is a Retract of CCS.
UTP 2006: 38-62 |
| 83 | EE | Jifeng He,
Shengchao Qin,
Adnan Sherif:
Constructing Property-Oriented Models for Verification.
UTP 2006: 85-100 |
| 82 | EE | Jifeng He,
Xiaoshan Li,
Zhiming Liu:
A Theory of Reactive Components.
Electr. Notes Theor. Comput. Sci. 160: 173-195 (2006) |
| 81 | 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) |
| 80 | 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) |
| 79 | EE | Jifeng He,
Xiaoshan Li,
Zhiming Liu:
rCOS: A refinement calculus of object systems.
Theor. Comput. Sci. 365(1-2): 109-142 (2006) |
| 2005 |
|---|
| 78 | EE | Quan Long,
Zhiming Liu,
Xiaoshan Li,
Jifeng He:
Consistent Code Generation from UML Models.
Australian Software Engineering Conference 2005: 23-30 |
| 77 | EE | Jifeng He:
Linking Theories of Concurrency by Retraction.
ICDCIT 2005: 432 |
| 76 | EE | Xiaoshan Li,
Zhiming Liu,
Jifeng He:
Consistency Checking of UML Requirements.
ICECCS 2005: 411-420 |
| 75 | EE | Jifeng He,
C. A. R. Hoare:
Linking Theories of Concurrency.
ICTAC 2005: 303-317 |
| 74 | 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 |
| 73 | EE | Jifeng He,
Xiaoshan Li,
Zhiming Liu:
Component-Based Software Engineering.
ICTAC 2005: 70-95 |
| 72 | EE | Naiyong Jin,
Jifeng He:
Towards A Truly Concurrent Model for Processes Sharing Resources.
SEFM 2005: 231-239 |
| 71 | EE | Geguang Pu,
Zongyan Qiu,
Jifeng He:
Integrating Time and Resource into Circus.
Electr. Notes Theor. Comput. Sci. 130: 401-418 (2005) |
| 70 | EE | Zhiming Liu,
Jifeng He,
Xiaoshan Li:
Towards a Rigorous Approach to UML-Based Development.
Electr. Notes Theor. Comput. Sci. 130: 57-77 (2005) |
| 69 | 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 |
|---|
| 68 | EE | Jifeng He:
Linking Theories of Concurrency.
25 Years Communicating Sequential Processes 2004: 61-74 |
| 67 | EE | Jifeng He,
Zhiming Liu,
Xiaoshan Li,
Shengchao Qin:
A Relational Model for Object-Oriented Designs.
APLAS 2004: 415-436 |
| 66 | EE | Xiaoshan Li,
Zhiming Liu,
Jifeng He:
A Formal Semantics of UML Sequence Diagram.
Australian Software Engineering Conference 2004: 168-177 |
| 65 | EE | Jing Liu,
Zhiming Liu,
Jifeng He,
Xiaoshan Li:
Linking UML Models of Design and Requirement.
Australian Software Engineering Conference 2004: 329-338 |
| 64 | EE | Zhiming Liu,
Jifeng He,
Xiaoshan Li:
rCOS: Refinement of Component and Object Systems.
FMCO 2004: 183-221 |
| 63 | EE | Xiaoshan Li,
Zhiming Liu,
Jifeng He,
Quan Long:
Generating a Prototype from a UML Model of System Requirements.
ICDCIT 2004: 255-265 |
| 62 | EE | Jifeng He,
Carroll Morgan,
Annabelle McIver:
Deriving Probabilistic Semantics Via the 'Weakest Completion'.
ICFEM 2004: 131-145 |
| 61 | EE | Jifeng He,
Naiyong Jin:
Integrating Variants of DC.
ICTAC 2004: 14-34 |
| 60 | 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 |
| 59 | | Zhiming Liu,
Jifeng He,
Xiaoshan Li:
Contract Oriented Development of Component Software.
IFIP TCS 2004: 349-366 |
| 58 | EE | Geguang Pu,
Dang Van Hung,
Jifeng He,
Wang Yi:
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model.
IFM 2004: 363-381 |
| 57 | EE | Naiyong Jin,
Jifeng He:
Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language.
SEFM 2004: 132-141 |
| 56 | 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 |
| 55 | EE | Zhiming Liu,
Jifeng He,
Jing Liu,
Xiaoshan Li:
Unifying Views of UML.
Electr. Notes Theor. Comput. Sci. 101: 95-127 (2004) |
| 2003 |
|---|
| 54 | EE | Zhiming Liu,
Jifeng He,
Xiaoshan Li,
Yifeng Chen:
A Relational Model for Formal Object-Oriented Requirement Analysis in UML.
ICFEM 2003: 641-664 |
| 53 | EE | Li Yongjian,
Jifeng He:
Towards a Theory of Bisimulation for a Fragment of Verilog.
IPDPS 2003: 239 |
| 52 | 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 |
|---|
| 51 | EE | Jifeng He:
An Algebraic Approach to the VERILOG Programming.
10th Anniversary Colloquium of UNU/IIST 2002: 65-80 |
| 50 | EE | Jifeng He:
Integrating CSP and DC.
ICECCS 2002: 47- |
| 49 | EE | Shengchao Qin,
Jifeng He,
Zongyan Qiu,
Naixiao Zhang:
Hardware/Software Partitioning in Verilog.
ICFEM 2002: 168-179 |
| 48 | EE | Zhiming Liu,
Xiaoshan Li,
Jifeng He:
Using Transition Systems to Unify UML Models.
ICFEM 2002: 535-547 |
| 47 | 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 |
| 46 | EE | Adnan Sherif,
Jifeng He:
Towards a Time Model for Circus.
ICFEM 2002: 613-624 |
| 45 | EE | Jifeng He,
Zhiming Liu,
Xiaoshan Li:
Towards a Refinement Calculus for Object Systems.
IEEE ICCI 2002: 69-76 |
| 44 | 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 |
|---|
| 43 | EE | Shengchao Qin,
Zongyan Qiu,
Jifeng He:
Constructing Hardware/Software Interface Using Protocol Converters.
APAQS 2001: 141-148 |
| 42 | EE | Huibiao Zhu,
Jonathan P. Bowen,
Jifeng He:
Deriving Operational Semantics from Denotational Semantics for Verilog.
APSEC 2001: 177- |
| 41 | EE | Shengchao Qin,
Jifeng He:
Partitioning Program into Hardware and Software.
APSEC 2001: 309-316 |
| 40 | EE | Van Dung Tran,
Jifeng He:
A Theory of Combinational Programs.
APSEC 2001: 325- |
| 39 | EE | Huibiao Zhu,
Jonathan P. Bowen,
Jifeng He:
From Operational Semantics to Denotational Semantics for Verilog.
CHARME 2001: 449-466 |
| 38 | EE | Xiaoshan Li,
Zhiming Liu,
Jifeng He:
Formal and Use-Case Driven Requirement Analysis in UML.
COMPSAC 2001: 215-224 |
| 37 | | 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 |
|---|
| 36 | | Jifeng He,
Masahiko Sato:
Advances in Computing Science - ASIAN 2000, 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings
Springer 2000 |
| 35 | EE | Jifeng He,
C. A. R. Hoare:
Unifying theories of healthiness condition.
APSEC 2000: 70- |
| 34 | EE | Jonathan P. Bowen,
Jifeng He,
Qiwen Xu:
An Animatable Operational Semantics of the Verilog Hardware Description Language.
ICFEM 2000: 199-208 |
| 33 | | Jifeng He,
Qiwen Xu:
An Operational Semantics of a Simulator Algorithm.
PDPTA 2000 |
| 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 | | 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) |
