| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Wei Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz |
rCOS: a formal model-driven engineering method for component-based software.  |
Frontiers of Computer Science in China  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianhua Xu, Zhiming Liu, Tao Tang, Wei Zheng, Lin Zhao |
Component Based Design of Fault Tolerant Devices in Cyber Physical System. |
ISORC Workshops |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Jim Woodcock |
Editorial. |
Formal Asp. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang |
A Framework for Automated and Certified Refinement Steps |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zhenbang Chen, Zhiming Liu, Ji Wang |
Failure-Divergence Refinement of Compensating Communicating Processes. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz |
Robustness testing for software components. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li |
State Based Robustness Testing for Components. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Zhiming Liu, Liang Zhao |
Graph Representation of Sessions and Pipelines for Structured Service Programming. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenbang Chen, Zhiming Liu |
An Extended cCSP with Stable Failures Semantics. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Charles Morisset, Shuling Wang |
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin |
AutoPA: Automatic Prototyping from Requirements. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu |
Graph transformations for object-oriented refinement. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Class graph, Structure refinement, Object-orientation, Graph transformation, Normal form, Object graph |
| 1 | Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan |
Refinement and verification in component-based model-driven design. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn |
Design and Verification of Fault-Tolerant Components. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
Fault-tolerance, model checking, abstraction, real-time embedded systems |
| 1 | Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao |
A Graph-Based Operational Semantics of OO Programs. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
state graphs, operational semantics, object graphs, OO programs |
| 1 | Miaomiao Zhang, Zhiming Liu, Naijun Zhan |
Model Checking Linear Duration Invariants of Networks of Automata. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Charles Morisset, Volker Stolz |
rCOS: Theory and Tool for Component-Based Model Driven Development. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Anders P. Ravn (eds.) |
Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu |
Validation of requirement models by automatic prototyping. |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
UML, Prototype, Code generation, OCL, Requirement validation |
| 1 | Xiaoshan Li, Zhiming Liu |
Prototyping System Requirements Model. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hu Jun, Zhiming Liu, G. M. Reed, J. W. Sanders |
Ensemble Engineering and Emergence. |
Software-Intensive Systems and New Computing Paradigms |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leila Silva, Augusto Sampaio, Zhiming Liu |
Laws of Object-Orientation with Reference Semantics. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miaomiao Zhang, Dang Van Hung, Zhiming Liu |
Verification of Linear Duration Invariants by Model Checking CTL Properties. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Naijun Zhan, Eun-Young Kang, Zhiming Liu |
Component Publications and Compositions. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Charles Morisset, Volker Stolz |
A Component-Based Access Control Monitor. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Access Control, Component, Composition, RBAC |
| 1 | Long Quan, Zongyan Qiu, Zhiming Liu |
Formal Use of Design Patterns and Refactoring. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
rCOS, Object-Orientation, Design Pattern, Refinement, Refactoring |
| 1 | Jorge Cuéllar, Zhiming Liu |
SoSyM Special Section on Software Engineering and Formal Methods. |
Software and System Modeling |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaojian Liu, Zhiming Liu, Liang Zhao |
Object-Oriented Structure Refinement - A Graph Transformational Approach. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan |
A Model of Component-Based Programming. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
Glue Codes, Protocols, Components, Composition, Refinement, Contracts, Application Programs |
| 1 | Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.) |
Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings |
ICTAC |
2007 |
DBLP BibTeX RDF |
|
| 1 | Zhenbang Chen, Abdelhakim 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 |
DBLP DOI BibTeX RDF |
Design, Refinement, Transformation, Requirements Modelling |
| 1 | Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.) |
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 |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
tool design, formal methods, software process, Software development tool |
| 1 | Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn |
A Refinement Driven Component-Based Design. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
object-orientation, refinement, Software development process, component-based modeling |
| 1 | Xin Chen, Zhiming Liu, Vladimir Mencl |
Separation of Concerns and Consistent Integration in Requirements Modelling. |
SOFSEM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris George, Zhiming Liu, Jim Woodcock (eds.) |
Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures |
Domain Modeling and the Duration Calculus |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jifeng He, Xiaoshan Li, Zhiming Liu |
rCOS: A refinement calculus of object systems. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Liu, Jifeng He, Zhiming Liu |
A strategy for service realization in service-oriented design. |
Science in China Series F: Information Sciences |
2006 |
DBLP DOI BibTeX RDF |
component, interface, contract, service-oriented design |
| 1 | Zhiming Liu, Luís Soares Barbosa |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He, Xiaoshan Li, Zhiming Liu |
A Theory of Reactive Components. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Jifeng He (eds.) |
Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings |
ICFEM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang |
Harnessing Theories for Tool Support. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph C. Okika, Anders P. Ravn, Zhiming Liu, Lokesh Siddalingaiah |
Developing a TTCN-3 Test Harness for Legacy Software. |
AST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Jifeng He, Xiaoshan Li |
Towards a Rigorous Approach to UML-Based Development. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He |
Consistent Code Generation from UML Models. |
Australian Software Engineering Conference |
2005 |
DBLP DOI BibTeX RDF |
UTP, UML, Semantics, Object Orientation, Consistency, Code generation |
| 1 | Jifeng He, Xiaoshan Li, Zhiming Liu |
Component-Based Software Engineering. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
Simulation, Protocols, Components, Interfaces, Composition, Refinement, Consistency, Contracts, Functionality |
| 1 | Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He |
POST: A Case Study for an Incremental Development in rCOS. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
UML, Object-orientation, Refinement, Refactoring, Software design |
| 1 | Zhiming Liu, Keijiro Araki (eds.) |
Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers |
ICTAC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed |
Integrating Theories and Techniques for Program Modelling, Design and Verification. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, R. Venkatesh |
Methods and Tools for Formal Software Engineering. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoshan Li, Zhiming Liu, Jifeng He |
Consistency Checking of UML Requirements. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Formal Requirement Specification, UML, Requirement Analysis, Consistency Checking |
| 1 | Zhiming Liu, Anders P. Ravn, Xiaoshan Li |
Unifying proof methodologies of duration calculus and timed linear temporal logic. |
Formal Asp. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Design, Verification, Real-time, Specification, Refinement |
| 1 | Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li |
Unifying Views of UML. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yifeng Chen, Zhiming Liu |
From Durational Specifications to TLA Designs of Timed Automata. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li |
Linking UML Models of Design and Requirement. |
Australian Software Engineering Conference |
2004 |
DBLP DOI BibTeX RDF |
UML, semantics, consistency |
| 1 | Xiaoshan Li, Zhiming Liu, Jifeng He |
A Formal Semantics of UML Sequence Diagram. |
Australian Software Engineering Conference |
2004 |
DBLP DOI BibTeX RDF |
UML, Semantics, Consistency, Sequence Diagram |
| 1 | Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li |
A Predicative Semantic Model for Integrating UML Models. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
UML, Refinement, Formal semantics, Model integration |
| 1 | Zhiming Liu |
A Summary of the Tutorials at ICTAC 2004. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bhim Prasad Upadhyaya, Zhiming Liu |
Formal Support for Development of JavaBeans? Component Systems. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Jifeng He, Xiaoshan Li |
rCOS: Refinement of Component and Object Systems. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yifeng Chen, Zhiming Liu |
Integrating Temporal Logics. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Jifeng He, Xiaoshan Li |
Contract Oriented Development of Component Software. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin |
A Relational Model for Object-Oriented Designs. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
UTP, Semantics, Object Orientation, Refinement |
| 1 | Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long |
Generating a Prototype from a UML Model of System Requirements. |
ICDCIT |
2004 |
DBLP DOI BibTeX RDF |
Formal Specification, Prototype, Code Generation, Requirements analysis |
| 1 | Zhiming Liu, Mathai Joseph |
Real-Time and Fault-Tolerant Systems. |
PSSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen |
A Relational Model for Formal Object-Oriented Requirement Analysis in UML. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
UML, Object-orientation, conceptual models, use-cases, requirement specification |
| 1 | Zhiming Liu, Xiaoshan Li, Jifeng He |
Using Transition Systems to Unify UML Models. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
UML, Object-orientation, Conceptual model, Transition systems, Use-case model |
| 1 | Jifeng He, Zhiming Liu, Xiaoshan Li |
Towards a Refinement Calculus for Object Systems. |
IEEE ICCI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Mathai Joseph |
Verification, refinement and scheduling of real-time programs. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoshan Li, Zhiming Liu, Zhensheng Guo |
Formal Object-Oriented Analysis and Design of an Online Ticketing System. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoshan Li, Zhiming Liu, Jifeng He |
Formal and Use-Case Driven Requirement Analysis in UML. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
Incremental Model Building, UML, Object-Orientation, Conceptual Model, Use Cases |
| 1 | Zhiming Liu, Mathai Joseph |
Specification and Verification of Fault-Tolerance, Timing, and Scheduling. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
schedulability, fault-tolerance, verification, real time, specification, transformation |
| 1 | Zhiming Liu, Anders P. Ravn, Xiaoshan Li |
Verifying duration properties of timed transition systems. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Zhiming Liu, Mathai Joseph |
Formalizing Real-Time Scheduling as Program Refinement. |
ARTS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Mathai Joseph |
Verification of Fault Tolerance and Real Time. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Mathai Joseph, Tomasz Janowski |
Verification of Schedulability for Real-Time Programs. |
Formal Asp. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Mathai Joseph |
Stepwise Development of Fault-Tolerant Reactive Systems. |
FTRTFT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu, Mathai Joseph |
Transformation of Programs for Fault-Tolerance. |
Formal Asp. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")