| * | 2009 |
|---|
| 68 | EE | Zhiming Liu,
Anders P. Ravn:
Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
Springer 2009 |
| 67 | EE | Zhiming Liu,
Chengjun Liu:
Robust Face Recognition Using Color Information.
ICB 2009: 122-131 |
| 66 | EE | Miaomiao Zhang,
Zhiming Liu,
Charles Morisset,
Anders P. Ravn:
Design and Verification of Fault-Tolerant Components.
Methods, Models and Tools for Fault Tolerance 2009: 57-84 |
| 65 | EE | Liang Zhao,
Xiaojian Liu,
Zhiming Liu,
Zongyan Qiu:
Graph transformations for object-oriented refinement.
Formal Asp. Comput. 21(1-2): 103-131 (2009) |
| 64 | EE | Zhenbang Chen,
Zhiming Liu,
Anders P. Ravn,
Volker Stolz,
Naijun Zhan:
Refinement and verification in component-based model-driven design.
Sci. Comput. Program. 74(4): 168-196 (2009) |
| 2008 |
|---|
| 63 | EE | Miaomiao Zhang,
Dang Van Hung,
Zhiming Liu:
Verification of Linear Duration Invariants by Model Checking CTL Properties.
ICTAC 2008: 395-409 |
| 62 | EE | Long Quan,
Zongyan Qiu,
Zhiming Liu:
Formal Use of Design Patterns and Refactoring.
ISoLA 2008: 323-338 |
| 61 | EE | Zhiming Liu,
Charles Morisset,
Volker Stolz:
A Component-Based Access Control Monitor.
ISoLA 2008: 339-353 |
| 60 | EE | Leila Silva,
Augusto Sampaio,
Zhiming Liu:
Laws of Object-Orientation with Reference Semantics.
SEFM 2008: 217-226 |
| 59 | EE | Hu Jun,
Zhiming Liu,
G. M. Reed,
J. W. Sanders:
Ensemble Engineering and Emergence.
Software-Intensive Systems and New Computing Paradigms 2008: 162-178 |
| 58 | EE | Zhiming Liu,
Chengjun Liu:
Fusion of the complementary Discrete Cosine Features in the YIQ color space for face recognition.
Computer Vision and Image Understanding 111(3): 249-262 (2008) |
| 57 | EE | Xiaoshan Li,
Zhiming Liu:
Prototyping System Requirements Model.
Electr. Notes Theor. Comput. Sci. 207: 17-32 (2008) |
| 56 | EE | Zhiming Liu,
Chengjun Liu:
A Hybrid Color and Frequency Features Method for Face Recognition.
IEEE Transactions on Image Processing 17(10): 1975-1980 (2008) |
| 55 | EE | Dan Li,
Xiaoshan Li,
Jicong Liu,
Zhiming Liu:
Validation of requirement models by automatic prototyping.
ISSE 4(3): 241-248 (2008) |
| 2007 |
|---|
| 54 | | Cliff B. Jones,
Zhiming Liu,
Jim Woodcock:
Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007
Springer 2007 |
| 53 | | Chris George,
Zhiming Liu,
Jim Woodcock:
Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures
Springer 2007 |
| 52 | | Cliff B. Jones,
Zhiming Liu,
Jim Woodcock:
Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
Springer 2007 |
| 51 | EE | Zhiming Liu,
Nanyan Ling:
Research on Dynamic Change of Grassland in West Jilin Province Based on 3S Technology.
CCTA 2007: 277-285 |
| 50 | EE | Zhenbang Chen,
Abdel Hakim Hannousse,
Dang Van Hung,
Istvan Knoll,
Xiaoshan Li,
Zhiming Liu,
Yang Liu,
Qu Nan,
Joseph C. Okika,
Anders P. Ravn,
Volker Stolz,
Lu Yang,
Naijun Zhan:
Modelling with Relational Calculus of Object and Component Systems - rCOS.
CoCoME 2007: 116-145 |
| 49 | EE | Xin Chen,
Jifeng He,
Zhiming Liu,
Naijun Zhan:
A Model of Component-Based Programming.
FSEN 2007: 191-206 |
| 48 | EE | Zhenbang Chen,
Xiaoshan Li,
Zhiming Liu,
Volker Stolz,
Lu Yang:
Harnessing rCOS for Tool Support - The CoCoME Experience.
Formal Methods and Hybrid Real-Time Systems 2007: 83-114 |
| 47 | EE | Zhenbang Chen,
Zhiming Liu,
Volker Stolz,
Lu Yang,
Anders P. Ravn:
A Refinement Driven Component-Based Design.
ICECCS 2007: 277-289 |
| 46 | EE | Yang Tao,
Zhiming Liu,
Yuxing Peng:
Global Translational Motion Estimation (GTME).
LSMS (1) 2007: 756-766 |
| 45 | EE | Xin Chen,
Zhiming Liu,
Vladimir Mencl:
Separation of Concerns and Consistent Integration in Requirements Modelling.
SOFSEM (1) 2007: 819-831 |
| 44 | EE | Xiaojian Liu,
Zhiming Liu,
Liang Zhao:
Object-Oriented Structure Refinement - A Graph Transformational Approach.
Electr. Notes Theor. Comput. Sci. 187: 145-159 (2007) |
| 43 | EE | Jorge Cuéllar,
Zhiming Liu:
SoSyM Special Section on Software Engineering and Formal Methods.
Software and System Modeling 6(1): 37-38 (2007) |
| 2006 |
|---|
| 42 | | 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 |
| 41 | EE | Zhiming Liu,
Vladimir Mencl,
Anders P. Ravn,
Lu Yang:
Harnessing Theories for Tool Support.
ISoLA 2006: 371-382 |
| 40 | EE | Yang Tao,
Zhiming Liu,
Yuxing Peng:
A Model of Video Coding Based on Multi-agent.
PRIMA 2006: 590-595 |
| 39 | EE | Zhiming Liu,
Luís Soares Barbosa:
Preface.
Electr. Notes Theor. Comput. Sci. 160: 1-2 (2006) |
| 38 | EE | Jifeng He,
Xiaoshan Li,
Zhiming Liu:
A Theory of Reactive Components.
Electr. Notes Theor. Comput. Sci. 160: 173-195 (2006) |
| 37 | 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) |
| 36 | EE | Jifeng He,
Xiaoshan Li,
Zhiming Liu:
rCOS: A refinement calculus of object systems.
Theor. Comput. Sci. 365(1-2): 109-142 (2006) |
| 2005 |
|---|
| 35 | | Zhiming Liu,
Keijiro Araki:
Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers
Springer 2005 |
| 34 | EE | Quan Long,
Zhiming Liu,
Xiaoshan Li,
Jifeng He:
Consistent Code Generation from UML Models.
Australian Software Engineering Conference 2005: 23-30 |
| 33 | EE | Xiaoshan Li,
Zhiming Liu,
Jifeng He:
Consistency Checking of UML Requirements.
ICECCS 2005: 411-420 |
| 32 | 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 |
| 31 | EE | Jifeng He,
Xiaoshan Li,
Zhiming Liu:
Component-Based Software Engineering.
ICTAC 2005: 70-95 |
| 30 | EE | Bernhard K. Aichernig,
Jifeng He,
Zhiming Liu,
Mike Reed:
Integrating Theories and Techniques for Program Modelling, Design and Verification.
VSTTE 2005: 291-300 |
| 29 | EE | Zhiming Liu,
R. Venkatesh:
Methods and Tools for Formal Software Engineering.
VSTTE 2005: 31-41 |
| 28 | EE | Zhiming Liu,
Jifeng He,
Xiaoshan Li:
Towards a Rigorous Approach to UML-Based Development.
Electr. Notes Theor. Comput. Sci. 130: 57-77 (2005) |
| 2004 |
|---|
| 27 | EE | Jifeng He,
Zhiming Liu,
Xiaoshan Li,
Shengchao Qin:
A Relational Model for Object-Oriented Designs.
APLAS 2004: 415-436 |
| 26 | EE | Xiaoshan Li,
Zhiming Liu,
Jifeng He:
A Formal Semantics of UML Sequence Diagram.
Australian Software Engineering Conference 2004: 168-177 |
| 25 | EE | Jing Liu,
Zhiming Liu,
Jifeng He,
Xiaoshan Li:
Linking UML Models of Design and Requirement.
Australian Software Engineering Conference 2004: 329-338 |
| 24 | EE | Bhim Prasad Upadhyaya,
Zhiming Liu:
Formal Support for Development of JavaBeans? Component Systems.
COMPSAC 2004: 23-28 |
| 23 | EE | Zhiming Liu,
Jifeng He,
Xiaoshan Li:
rCOS: Refinement of Component and Object Systems.
FMCO 2004: 183-221 |
| 22 | EE | Xiaoshan Li,
Zhiming Liu,
Jifeng He,
Quan Long:
Generating a Prototype from a UML Model of System Requirements.
ICDCIT 2004: 255-265 |
| 21 | EE | Yifeng Chen,
Zhiming Liu:
From Durational Specifications to TLA Designs of Timed Automata.
ICFEM 2004: 464-482 |
| 20 | EE | Jing Yang,
Quan Long,
Zhiming Liu,
Xiaoshan Li:
A Predicative Semantic Model for Integrating UML Models.
ICTAC 2004: 170-186 |
| 19 | EE | Zhiming Liu:
A Summary of the Tutorials at ICTAC 2004.
ICTAC 2004: 557-560 |
| 18 | | Zhiming Liu,
Jifeng He,
Xiaoshan Li:
Contract Oriented Development of Component Software.
IFIP TCS 2004: 349-366 |
| 17 | EE | Yifeng Chen,
Zhiming Liu:
Integrating Temporal Logics.
IFM 2004: 402-420 |
| 16 | EE | Zhiming Liu,
Mathai Joseph:
Real-Time and Fault-Tolerant Systems.
PSSE 2004: 156-219 |
| 15 | EE | Zhiming Liu,
Jifeng He,
Jing Liu,
Xiaoshan Li:
Unifying Views of UML.
Electr. Notes Theor. Comput. Sci. 101: 95-127 (2004) |
| 14 | EE | Zhiming Liu,
Anders P. Ravn,
Xiaoshan Li:
Unifying proof methodologies of duration calculus and timed linear temporal logic.
Formal Asp. Comput. 16(2): 140-154 (2004) |
| 2003 |
|---|
| 13 | EE | Zhiming Liu,
Jifeng He,
Xiaoshan Li,
Yifeng Chen:
A Relational Model for Formal Object-Oriented Requirement Analysis in UML.
ICFEM 2003: 641-664 |
| 2002 |
|---|
| 12 | EE | Zhiming Liu,
Xiaoshan Li,
Jifeng He:
Using Transition Systems to Unify UML Models.
ICFEM 2002: 535-547 |
| 11 | EE | Jifeng He,
Zhiming Liu,
Xiaoshan Li:
Towards a Refinement Calculus for Object Systems.
IEEE ICCI 2002: 69-76 |
| 2001 |
|---|
| 10 | EE | Xiaoshan Li,
Zhiming Liu,
Zhensheng Guo:
Formal Object-Oriented Analysis and Design of an Online Ticketing System.
APSEC 2001: 259- |
| 9 | EE | Xiaoshan Li,
Zhiming Liu,
Jifeng He:
Formal and Use-Case Driven Requirement Analysis in UML.
COMPSAC 2001: 215-224 |
| 8 | EE | Zhiming Liu,
Mathai Joseph:
Verification, refinement and scheduling of real-time programs.
Theor. Comput. Sci. 253(1): 119-152 (2001) |
| 1999 |
|---|
| 7 | EE | Zhiming Liu,
Mathai Joseph:
Specification and Verification of Fault-Tolerance, Timing, and Scheduling.
ACM Trans. Program. Lang. Syst. 21(1): 46-89 (1999) |
| 1998 |
|---|
| 6 | | Zhiming Liu,
Anders P. Ravn,
Xiaoshan Li:
Verifying duration properties of timed transition systems.
PROCOMET 1998: 327-345 |
| 1997 |
|---|
| 5 | | Zhiming Liu,
Mathai Joseph:
Formalizing Real-Time Scheduling as Program Refinement.
ARTS 1997: 295-309 |
| 1996 |
|---|
| 4 | | Zhiming Liu,
Mathai Joseph:
Verification of Fault Tolerance and Real Time.
FTCS 1996: 220-229 |
| 1995 |
|---|
| 3 | | Zhiming Liu,
Mathai Joseph,
Tomasz Janowski:
Verification of Schedulability for Real-Time Programs.
Formal Asp. Comput. 7(5): 510-532 (1995) |
| 1994 |
|---|
| 2 | | Zhiming Liu,
Mathai Joseph:
Stepwise Development of Fault-Tolerant Reactive Systems.
FTRTFT 1994: 529-546 |
| 1992 |
|---|
| 1 | | Zhiming Liu,
Mathai Joseph:
Transformation of Programs for Fault-Tolerance.
Formal Asp. Comput. 4(5): 442-469 (1992) |
