Zhiming Liu - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Failure-Divergence Refinement of Compensating Communicating ProcessesZhenbang Chen, Zhiming Liu, Ji Wang. fm 2011: 262-277 [doi]

EditorialZhiming Liu, Jim Woodcock. fac, 23(2):151, 2011. [doi]

2010

2009

Refinement and verification in component-based model-driven designZhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan. SCP, 74(4):168-196, 2009. [doi]

A Graph-Based Operational Semantics of OO ProgramsWei Ke, Zhiming Liu, Shuling Wang, Liang Zhao. icfem 2009: 347-366 [doi]

Robust Face Recognition Using Color InformationZhiming Liu, Chengjun Liu. icb 2009: 122-131 [doi]

Face Recognition using new image representationsZhiming Liu, Qingchuan Tao. ijcnn 2009: 1871-1876 [doi]

rCOS: Theory and Tool for Component-Based Model Driven DevelopmentZhiming Liu, Charles Morisset, Volker Stolz. fsen 2010: 62-80 [doi]

Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. ProceedingsZhiming Liu, Anders P. Ravn, editors, Volume 5799 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Model Checking Linear Duration Invariants of Networks of AutomataMiaomiao Zhang, Zhiming Liu, Naijun Zhan. fsen 2010: 244-259 [doi]

Design and Verification of Fault-Tolerant ComponentsMiaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn. In Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Methods, Models and Tools for Fault Tolerance. Volume 5454 of Lecture Notes in Computer Science, pages 57-84, Springer, 2009. [doi]

Graph transformations for object-oriented refinementLiang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu. fac, 21(1-2):103-131, 2009. [doi]

2008

Ensemble Engineering and EmergenceHu Jun, Zhiming Liu, G. M. Reed, Jeffrey W. Sanders. In Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer, editors, Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Volume 5380 of Lecture Notes in Computer Science, pages 162-178, Springer, 2008. [doi]

Prototyping System Requirements ModelXiaoshan Li, Zhiming Liu. ENTCS, 207:17-32, 2008. [doi]

Validation of requirement models by automatic prototypingDan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu. isse, 4(3):241-248, 2008. [doi]

Fusion of the complementary Discrete Cosine Features in the YIQ color space for face recognitionZhiming Liu, Chengjun Liu. cviu, 111(3):249-262, 2008. [doi]

A Hybrid Color and Frequency Features Method for Face RecognitionZhiming Liu, Chengjun Liu. TIP, 17(10):1975-1980, 2008. [doi]

A Component-Based Access Control MonitorZhiming Liu, Charles Morisset, Volker Stolz. isola 2008: 339-353 [doi]

Formal Use of Design Patterns and RefactoringLong Quan, Zongyan Qiu, Zhiming Liu. isola 2008: 323-338 [doi]

Laws of Object-Orientation with Reference SemanticsLeila Silva, Augusto Sampaio, Zhiming Liu. sefm 2008: 217-226 [doi]

Component Publications and CompositionsNaijun Zhan, Eun-Young Kang, Zhiming Liu. utp 2010: 238-257 [doi]

Verification of Linear Duration Invariants by Model Checking CTL PropertiesMiaomiao Zhang, Dang Van Hung, Zhiming Liu. ictac 2008: 395-409 [doi]

2007

Harnessing rCOS for Tool Support - The CoCoME ExperienceZhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang. birthday 2007: 83-114 [doi]

Separation of Concerns and Consistent Integration in Requirements ModellingXin Chen, Zhiming Liu, Vladimir Mencl. sofsem 2007: 819-831 [doi]

A Refinement Driven Component-Based DesignZhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn. iceccs 2007: 277-289 [doi]

A Model of Component-Based ProgrammingXin Chen, Jifeng He, Zhiming Liu, Naijun Zhan. fsen 2007: 191-206 [doi]

Modelling with Relational Calculus of Object and Component Systems - rCOSZhenbang 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. dagstuhl 2008: 116-145 [doi]

SoSyM Special Section on Software Engineering and Formal MethodsJorge Cuéllar, Zhiming Liu. SoSyM, 6(1):37-38, 2007. [doi]

Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced LecturesChris George, Zhiming Liu, Jim Woodcock, editors, Volume 4710 of Lecture Notes in Computer Science, Springer, 2007.

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, 2007Cliff B. Jones, Zhiming Liu, Jim Woodcock, editors, Volume 4700 of Lecture Notes in Computer Science, Springer, 2007.

Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, ProceedingsCliff B. Jones, Zhiming Liu, Jim Woodcock, editors, Volume 4711 of Lecture Notes in Computer Science, Springer, 2007.

Research on Dynamic Change of Grassland in West Jilin Province Based on 3S TechnologyZhiming Liu, Nanyan Ling. ifip12 2008: 277-285 [doi]

Object-Oriented Structure Refinement - A Graph Transformational ApproachXiaojian Liu, Zhiming Liu, Liang Zhao. ENTCS, 187:145-159, 2007. [doi]

Global Translational Motion Estimation (GTME)Yang Tao, Zhiming Liu, Yuxing Peng. lsms 2007: 756-766 [doi]

2006

A Theory of Reactive ComponentsJifeng He, Xiaoshan Li, Zhiming Liu. ENTCS, 160:173-195, 2006. [doi]

rCOS: A refinement calculus of object systemsJifeng He, Xiaoshan Li, Zhiming Liu. TCS, 365(1-2):109-142, 2006. [doi]

PrefaceZhiming Liu, Luís Soares Barbosa. ENTCS, 160:1-2, 2006. [doi]

Harnessing Theories for Tool SupportZhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang. isola 2006: 371-382 [doi]

Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, ProceedingsZhiming Liu, Jifeng He, editors, Volume 4260 of Lecture Notes in Computer Science, Springer, 2006.

A strategy for service realization in service-oriented designJing Liu, Jifeng He, Zhiming Liu. chinaf, 49(6):864-884, 2006. [doi]

Developing a TTCN-3 Test Harness for Legacy SoftwareJoseph C. Okika, Anders P. Ravn, Zhiming Liu, Lokesh Siddalingaiah. ICSE 2006: 104-110 [doi]

A Model of Video Coding Based on Multi-agentYang Tao, Zhiming Liu, Yuxing Peng. prima 2006: 590-595 [doi]

2005

Integrating Theories and Techniques for Program Modelling, Design and VerificationBernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed. vstte 2008: 291-300 [doi]

Component-Based Software EngineeringJifeng He, Xiaoshan Li, Zhiming Liu. ictac 2005: 70-95 [doi]

Consistency Checking of UML RequirementsXiaoshan Li, Zhiming Liu, Jifeng He. iceccs 2005: 411-420 [doi]

Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected PapersZhiming Liu, Keijiro Araki, editors, Volume 3407 of Lecture Notes in Computer Science, Springer, 2005.

Methods and Tools for Formal Software EngineeringZhiming Liu, R. Venkatesh. vstte 2008: 31-41 [doi]

Towards a Rigorous Approach to UML-Based DevelopmentZhiming Liu, Jifeng He, Xiaoshan Li. ENTCS, 130:57-77, 2005. [doi]

Consistent Code Generation from UML ModelsQuan Long, Zhiming Liu, Xiaoshan Li, Jifeng He. aswec 2005: 23-30 [doi]

POST: A Case Study for an Incremental Development in rCOSQuan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He. ictac 2005: 485-500 [doi]

2004

From Durational Specifications to TLA Designs of Timed AutomataYifeng Chen, Zhiming Liu. icfem 2004: 464-482 [doi]

Integrating Temporal LogicsYifeng Chen, Zhiming Liu. IFM 2004: 402-420 [doi]

A Relational Model for Object-Oriented DesignsJifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin. aplas 2004: 415-436 [doi]

Generating a Prototype from a UML Model of System RequirementsXiaoshan Li, Zhiming Liu, Jifeng He, Quan Long. icdcit 2004: 255-265 [doi]

A Formal Semantics of UML Sequence DiagramXiaoshan Li, Zhiming Liu, Jifeng He. aswec 2004: 168-177 [doi]

A Summary of the Tutorials at ICTAC 2004Zhiming Liu. ictac 2005: 557-560 [doi]

Real-Time and Fault-Tolerant SystemsZhiming Liu, Mathai Joseph. psse 2006: 156-219 [doi]

Unifying proof methodologies of duration calculus and timed linear temporal logicZhiming Liu, Anders P. Ravn, Xiaoshan Li. fac, 16(2):140-154, 2004. [doi]

Unifying Views of UMLZhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li. ENTCS, 101:95-127, 2004. [doi]

Contract Oriented Development of Component SoftwareZhiming Liu, Jifeng He, Xiaoshan Li. ifipTCS 2004: 349-366

Linking UML Models of Design and RequirementJing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li. aswec 2004: 329-338 [doi]

rCOS: Refinement of Component and Object SystemsZhiming Liu, Jifeng He, Xiaoshan Li. FMCO 2005: 183-221 [doi]

Formal Support for Development of JavaBeans? Component SystemsBhim Prasad Upadhyaya, Zhiming Liu. compsac 2004: 23-28 [doi]

A Predicative Semantic Model for Integrating UML ModelsJing Yang, Quan Long, Zhiming Liu, Xiaoshan Li. ictac 2005: 170-186 [doi]

2003

A Relational Model for Formal Object-Oriented Requirement Analysis in UMLZhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen. icfem 2003: 641-664 [doi]

2002

Towards a Refinement Calculus for Object SystemsJifeng He, Zhiming Liu, Xiaoshan Li. IEEEicci 2002: 69-76 [doi]

Using Transition Systems to Unify UML ModelsZhiming Liu, Xiaoshan Li, Jifeng He. icfem 2002: 535-547 [doi]

2001

Formal Object-Oriented Analysis and Design of an Online Ticketing SystemXiaoshan Li, Zhiming Liu, Zhensheng Guo. apsec 2001: 259 [doi]

Formal and Use-Case Driven Requirement Analysis in UMLXiaoshan Li, Zhiming Liu, Jifeng He. compsac 2001: 215-224 [doi]

Verification, refinement and scheduling of real-time programsZhiming Liu, Mathai Joseph. TCS, 253(1):119-152, 2001. [doi]

1999

Specification and Verification of Fault-Tolerance, Timing, and SchedulingZhiming Liu, Mathai Joseph. TOPLAS, 21(1):46-89, 1999. [doi]

1998

Verifying duration properties of timed transition systemsZhiming Liu, Anders P. Ravn, Xiaoshan Li. procomet 1998: 327-345

1997

Formalizing Real-Time Scheduling as Program RefinementZhiming Liu, Mathai Joseph. arts 1997: 295-309

1996

Verification of Fault Tolerance and Real TimeZhiming Liu, Mathai Joseph. ftcs 1996: 220-229

1995

Verification of Schedulability for Real-Time ProgramsZhiming Liu, Mathai Joseph, Tomasz Janowski. fac, 7(5):510-532, 1995.

1994

Stepwise Development of Fault-Tolerant Reactive SystemsZhiming Liu, Mathai Joseph. ftrtft 1994: 529-546

1992

Transformation of Programs for Fault-ToleranceZhiming Liu, Mathai Joseph. fac, 4(5):442-469, 1992.