2009 | ||
---|---|---|
62 | EE | Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu: Graph transformations for object-oriented refinement. Formal Asp. Comput. 21(1-2): 103-131 (2009) |
2008 | ||
61 | EE | Miaomiao Zhang, Dang Van Hung, Zhiming Liu: Verification of Linear Duration Invariants by Model Checking CTL Properties. ICTAC 2008: 395-409 |
60 | EE | Long Quan, Zongyan Qiu, Zhiming Liu: Formal Use of Design Patterns and Refactoring. ISoLA 2008: 323-338 |
59 | EE | Zhiming Liu, Charles Morisset, Volker Stolz: A Component-Based Access Control Monitor. ISoLA 2008: 339-353 |
58 | EE | Leila Silva, Augusto Sampaio, Zhiming Liu: Laws of Object-Orientation with Reference Semantics. SEFM 2008: 217-226 |
57 | 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 |
56 | 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) |
55 | EE | Xiaoshan Li, Zhiming Liu: Prototyping System Requirements Model. Electr. Notes Theor. Comput. Sci. 207: 17-32 (2008) |
54 | 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) |
2007 | ||
53 | 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 | |
52 | 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 | |
51 | 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 | |
50 | EE | Zhiming Liu, Nanyan Ling: Research on Dynamic Change of Grassland in West Jilin Province Based on 3S Technology. CCTA 2007: 277-285 |
49 | 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 |
48 | EE | Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan: A Model of Component-Based Programming. FSEN 2007: 191-206 |
47 | 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 |
46 | EE | Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn: A Refinement Driven Component-Based Design. ICECCS 2007: 277-289 |
45 | EE | Yang Tao, Zhiming Liu, Yuxing Peng: Global Translational Motion Estimation (GTME). LSMS (1) 2007: 756-766 |
44 | EE | Xin Chen, Zhiming Liu, Vladimir Mencl: Separation of Concerns and Consistent Integration in Requirements Modelling. SOFSEM (1) 2007: 819-831 |
43 | EE | Xiaojian Liu, Zhiming Liu, Liang Zhao: Object-Oriented Structure Refinement - A Graph Transformational Approach. Electr. Notes Theor. Comput. Sci. 187: 145-159 (2007) |
42 | 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 | ||
41 | 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 | |
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) |