|
СТ |
Linking Theories of Concurrency |
2005 |
Jifeng H., Hoare C.A. R. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.11.2005 |
|
СТ |
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions |
2005 |
Sherif A., Jifeng H., Cavalcanti A., Sampaio A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.04.2005 |
|
СТ |
A Relational Model for Object-Oriented Designs |
2004 |
Jifeng H., Liu Zh., Li X., Qin Sh. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.12.2004 |
|
СТ |
A Relational Model for Formal Object-Oriented Requirement Analysis in UML |
2003 |
Liu Z., Jifeng H., Li X., Chen Y. |
|
|
|
Lecture Notes in Computer Science |
09.01.2004 |
|
СТ |
Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics |
2002 |
Huibiao Z., Bowen J. P., Jifeng H. |
|
|
|
Lecture Notes in Computer Science |
20.11.2002 |
|
СТ |
An Integrated Approach to Hardware/Software Co-design |
2000 |
Jifeng H. |
|
|
|
16th World Computer Congress 2000 |
06.03.2001 |
|
СТ |
A Semantics for Verilog using Duration Calculus |
2000 |
Huibiao Z., Jifeng H. |
|
|
|
16th World Computer Congress 2000 |
06.03.2001 |
|
СТ |
An Animatable Operational Semantics of the Verilog Hardware Description Language |
2000 |
Bowen J. P., Jifeng H., Qiwen X. |
|
|
|
Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000 |
26.12.2000 |
|
СТ |
A Trace Model for Pointers and Objects |
1999 |
Hoare C.A. R., Jifeng H. |
|
|
|
Lecture Notes in Computer Science |
09.07.1999 |
|
СТ |
Simulation Approach to Provably Correct Hardware Compilation |
1994 |
Jifeng H., Jianping Z. |
|
|
|
Lecture Notes in Computer Science |
19.10.1994 |
|
СТ |
A Predicate Semantics for the Refinement of Real-Time Systems |
1994 |
Scholefield D., Zedan H., Jifeng H. |
|
|
|
Lecture Notes in Computer Science |
28.06.1994 |
|
СТ |
Normal Form Approach to Compiler Design |
1993 |
Hoare C.A. R., Jifeng H., Sampaio A. |
|
|
|
Acta Informatica |
08.02.1994 |
|
СТ |
Hybrid Parallel Programming and Implementation of Synchronised Communication |
1993 |
Jifeng H. |
|
|
|
Lecture Notes in Computer Science |
21.10.1993 |
|
СТ |
Real-Time Refinement: Semantics and Application |
1993 |
Scholefield D., Zedan H., Jifeng H. |
|
|
|
Lecture Notes in Computer Science |
21.10.1993 |
|
СТ |
Towards a Provably Correct Hardware Implementation of Occam |
1993 |
Jifeng H., Page I., Bowen J. |
|
|
|
Lecture Notes in Computer Science |
29.06.1993 |
|
СТ |
From algebra to operational semantics |
1993 |
Jifeng H., Hoare C.A. R. |
|
|
|
Information Processing Letters |
24.03.1993 |
