Zhiming Liu
#93,181
Most Influential Person Now
Computer scientist
Zhiming Liu 's AcademicInfluence.com Rankings
Zhiming Liu computer-science Degrees
Computer Science
#3613
World Rank
#3795
Historical Rank
Artificial Intelligence
#5268
World Rank
#5339
Historical Rank
Machine Learning
#5590
World Rank
#5664
Historical Rank
Database
#9244
World Rank
#9727
Historical Rank
Download Badge
Computer Science
Zhiming Liu 's Degrees
- PhD Computer Science Stanford University
- Masters Computer Science Stanford University
Similar Degrees You Can Earn
Why Is Zhiming Liu Influential?
(Suggest an Edit or Addition)According to Wikipedia, Zhiming Liu is a computer scientist. He studied mathematics in Luoyang, Henan in China and obtained his first degree in 1982. He holds a master's degree in Computer Science from the Institute of Software of the Chinese Academy of Sciences , and a PhD degree from the University of Warwick . His PhD thesis was on Fault-Tolerant Programming by Transformations.
Zhiming Liu 's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- rCOS: A refinement calculus of object systems (2006) (116)
- A formal semantics of UML sequence diagram (2004) (92)
- Specification and verification of fault-tolerance, timing, and scheduling (1999) (71)
- Refinement and verification in component-based model-driven design (2009) (63)
- Formal and use-case driven requirement analysis in UML (2001) (60)
- Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers (2005) (55)
- Consistent code generation from UML models (2005) (55)
- Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (2007) (52)
- Transformation of programs for fault-tolerance (1990) (52)
- A Relational Model for Formal Object-Oriented Requirement Analysis in UML (2003) (50)
- Identifying Microservices Using Functional Decomposition (2018) (44)
- A model of component-based programming (2007) (44)
- A Theory of Reactive Components (2006) (43)
- A Probabilistic Duration Calculus (1992) (40)
- rCOS: Theory and Tool for Component-Based Model Driven Development (2009) (39)
- 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 (2007) (39)
- Component-based software engineering : The need to link methods and their theories (2005) (38)
- A Relational Model for Object-Oriented Designs (2004) (32)
- Linking UML models of design and requirement (2004) (32)
- rCOS: Refinement of Component and Object Systems (2004) (31)
- Consistency checking of UML requirements (2005) (31)
- State Based Robustness Testing for Components (2008) (30)
- Component Publications and Compositions (2008) (30)
- Fault-tolerant programming by transformations (1991) (28)
- Modelling with Relational Calculus of Object and Component Systems - rCOS (2007) (28)
- Separation of Concerns and Consistent Integration in Requirements Modelling (2007) (28)
- Towards a calculus of systems dependability (1992) (28)
- Verification of fault tolerance and real time (1996) (27)
- Laws of Object-Orientation with Reference Semantics (2008) (27)
- A Predicative Semantic Model for Integrating UML Models (2004) (26)
- Mathematical frameworks for component software : models for analysis and synthesis (2006) (26)
- Robustness testing for software components (2010) (26)
- Design and Verification of Fault-Tolerant Components (2009) (24)
- Using Transition Systems to Unify UML Models (2002) (24)
- Graph transformations for object-oriented refinement (2009) (24)
- rCOS: a formal model-driven engineering method for component-based software (2012) (22)
- Unifying Views of UML (2004) (22)
- Contract Oriented Development of Component Software (2004) (22)
- A Formal Semantics of UML Sequence Diagrams (2004) (21)
- Generating a Prototype from a UML Model of System Requirements (2004) (21)
- Harnessing Theories for Tool Support (2006) (21)
- Verification, refinement and scheduling of real-time programs (2001) (19)
- Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems (2016) (18)
- Specification and Verification of Recovery in Asynchronous Communicating Systems (1993) (17)
- Developing a TTCN-3 test harness for legacy software (2006) (16)
- A Graph-Based Operational Semantics of OO Programs (2009) (16)
- Component-Based Software Engineering (2005) (16)
- Theories of Programming and Formal Methods (2013) (15)
- Foundations of Health Informatics Engineering and Systems (2011) (15)
- Formal Use of Design Patterns and Refactoring (2008) (14)
- Contract-Oriented Component Software De- velopment (2003) (13)
- Interactive Transformations from Object-Oriented Models to Component-Based Models (2011) (13)
- Ensemble Engineering and Emergence (2008) (12)
- Towards a refinement calculus for object systems (2002) (12)
- Unifying Theories of Programming and Formal Engineering Methods (2013) (12)
- Human-cyber-physical systems: concepts, challenges, and research opportunities (2020) (12)
- Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets (2012) (12)
- Stepwise Development of Fault-Tolerant Reactive Systems (1994) (11)
- Verifying duration properties of timed transition systems (1998) (11)
- Harnessing rCOS for Tool Support - The CoCoME Experience (2007) (10)
- CPEC’s Utility and Concerns under OBOR Initiative: A Pakistani Industrial Perspective (2019) (10)
- Proceedings of the 2006 international workshop on Automation of software test (2006) (10)
- Validation of requirement models by automatic prototyping (2008) (10)
- AutoPA: Automatic Prototyping from Requirements (2010) (10)
- The rCOS tool⋆ (2008) (10)
- Object-Oriented Structure Refinement - A Graph Transformational Approach (2007) (10)
- Verification of Linear Duration Invariants by Model Checking CTL Properties (2008) (10)
- Unifying proof methodologies of duration calculus and timed linear temporal logic (2004) (10)
- POST: A Case Study for an Incremental Development in rCOS (2005) (10)
- Integrating Temporal Logics (2004) (9)
- A Refinement Driven Component-Based Design (2007) (8)
- RM2PT: A Tool for Automated Prototype Generation from Requirements Model (2019) (8)
- An Extended cCSP with Stable Failures Semantics (2010) (8)
- Prototyping System Requirements Model (2008) (7)
- A strategy for service realization in service-oriented design (2006) (7)
- Formal support for development of JavaBeans/spl trade/ component systems (2004) (7)
- Support Formal Component-Based Development with UML Profile (2013) (7)
- Towards a Rigorous Approach to UML-Based Development (2005) (7)
- Unblockable compositions of software components (2012) (7)
- Model Checking Linear Duration Invariants of Networks of Automata (2009) (6)
- Component Based Design of Fault Tolerant Devices in Cyber Physical System (2012) (6)
- A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs (2010) (6)
- Theoretical Aspects of Computing – ICTAC 2013 (2013) (6)
- A Relational Model for Object-Oriented Requirement Analysis (2002) (6)
- Engineering Trustworthy Software Systems (2016) (6)
- A graph-based generic type system for object-oriented programs (2013) (5)
- Formalizing Real-Time Scheduling as Program Refinement (1997) (5)
- Automatic Transformation from Requirements Models to Executable Prototypes (2005) (5)
- Failure-Divergence Refinement of Compensating Communicating Processes (2011) (5)
- Graph Representation of Sessions and Pipelines for Structured Service Programming (2010) (5)
- A framework for automated and certified refinement steps (2011) (4)
- On the specification of a component repository (2003) (4)
- Model-Driven Design of Object and Component Systems (2014) (4)
- Real-Time and Fault-Tolerant Systems – Specification , verification , refinement and scheduling (2005) (4)
- Real-Time and Fault-Tolerant Systems (2004) (4)
- Tools for Formal Software Engineering (2005) (4)
- Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (2013) (4)
- A Semantic Model for UNITY (1989) (4)
- Methods and Tools for Formal Software Engineering (2005) (4)
- rCOS: Defining Meanings of Component-Based Software Architectures (2013) (4)
- An Automated Routine Childhood Immunization Approach using openEHR (2013) (3)
- Automated transformations from UML behavior models to contracts (2014) (3)
- Composition and Refinement of Probabilistic Real-Time Systems (1993) (3)
- From Durational Specifications to TLA Designs of Timed Automata (2004) (3)
- Integrating Theories and Techniques for Program Modelling, Design and Verification (2005) (3)
- Graph-Based Object-Oriented Hoare Logic (2013) (3)
- Reconstructing Paths for Reachable Code (2013) (3)
- Duration Properties of Timed Transition Systems (1997) (3)
- Formalizing the Use of UML in Require- ment Analysis (2002) (3)
- A Component-Based Access Control Monitor (2008) (3)
- Modelling checkpointing and recovery within UNITY (1989) (3)
- Requirements monitoring for Internetware: an interaction based approach (2013) (2)
- Software Engineering in Public Health: Opportunities and Challenges (2012) (2)
- Specifying Schedulability for Real-Time Programs (1993) (2)
- Failure-divergence semantics and refinement of long running transactions (2012) (2)
- Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling (2019) (2)
- Macau Position paper : Ensemble engineering and emergence ( and ethics ? ) (2007) (2)
- Verification of schedulability for real-time programs (1995) (2)
- Relating software validation to technology trends (2012) (2)
- Formal Aspects of Component Software (2013) (2)
- Towards Interface-Driven Design of Evolving Component-Based Architectures (2017) (2)
- Design and Verification of a Fault-Tolerant System (2007) (2)
- Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (2009) (2)
- Modelling the Common Component Modelling Example in rCOS (2007) (2)
- A continuous algebraic semantics of CSP (1989) (1)
- rCOS: A Relational Calculus of Components (2006) (1)
- A Formal Design of Online Ticketing Sys- tem in UML (2002) (1)
- Decidability of Liveness on the TSO Memory Model (2021) (1)
- Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings (2009) (1)
- Integrating Theories and Techniques for Program Modelling, Design and Veriflcation { Positioning the Research at UNU-IIST in Collaborative Research on the Verifled Software Challenge (2006) (1)
- A clock-based dynamic logic for schedulability analysis of CCSL specifications (2021) (1)
- A sound and complete theory of graph transformations for service programming with sessions and pipelines (2014) (1)
- Proceedings of the 4th international conference on Theoretical aspects of computing (2004) (1)
- for Program Modelling, Design and Verification Positioning the Research at UNU-IIST in Collaborative Research on the Verified Software Challenge (2008) (1)
- Lecture Notes in Computer Science: Preface (2005) (1)
- Software Engineering for Sustainable Health Support Systems (2010) (0)
- Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science) (2005) (0)
- Engineering trustworthy software systems Preface (2017) (0)
- A Transformational Approach to Specifying Recovery in Asynchronous Communicating Systems (1992) (0)
- Proceedings of the 8th international conference on Formal Methods and Software Engineering (2006) (0)
- Editorial (2021) (0)
- \emph{Don't know} for Multi-valued Systems (2009) (0)
- Formal Aspects of Component Software (FACS 2013) (2015) (0)
- Proceedings of the 2006 International Workshop on Automation of Software Test, AST 2006, Shanghai, China, May 23, 2006 (2006) (0)
- Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems (2011) (0)
- Formal Specification of UML Requirement Models (2002) (0)
- Mechanical and electronics engineering VI : selected, peer reviewed papers from the 2014 6th International Conference on Mechanical and Electronics Engineering (ICMEE 2014), August 16-17, 2014, Beijing, China (2014) (0)
- Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications - Volume 9409 (2015) (0)
- A framework for automated and certified refinement steps (2012) (0)
- Automated Technology for Verificiation and Analysis: Proceedings 7th International Symposium, ATVA 2009 (2009) (0)
- Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (Lecture Notes in Computer Science) (2006) (0)
- Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (2006) (0)
- SoSyM Special Section on Software Engineering and Formal Methods (2007) (0)
- A Summary of the Tutorials at ICTAC 2004 (2004) (0)
- CRH5 EMU Fault Diagnosis Simulation Training System Development (2014) (0)
- Editorial (2011) (0)
- Engineering Trustworthy Software Systems (2018) (0)
- rCOS:aformalmodel-drivenengineeringmethodforcomponent-basedsoftware (2011) (0)
- Automated transformations from UML behavior models to contracts (2014) (0)
- No . 293 R Linking UML Models of Design and Requirement (2004) (0)
- Engineering Trustworthy Software Systems (2017) (0)
- Entity-roles model and object-oriented Knowledge/Data Bases (1994) (0)
- Theoretical aspects of computing - ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings (2013) (0)
This paper list is powered by the following services:
Other Resources About Zhiming Liu
What Schools Are Affiliated With Zhiming Liu ?
Zhiming Liu is affiliated with the following schools:
