Zhiming Liu

According to our database1, Zhiming Liu authored at least 107 papers between 1992 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
RM2PT: a tool for automated prototype generation from requirements model.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018
Medshare: A Novel Hybrid Cloud for Medical Resource Sharing Among Autonomous Healthcare Providers.
IEEE Access, 2018

Superscalar Encrypted RISC: The Measure of a Secret Computer.
Proceedings of the 17th IEEE International Conference On Trust, 2018

On Security in Encrypted Computing.
Proceedings of the Information and Communications Security - 20th International Conference, 2018

The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing.
Proceedings of the 2018 IEEE European Symposium on Security and Privacy Workshops, 2018

2017
Editorial.
Formal Asp. Comput., 2017

On Obfuscating Compilation for Encrypted Computing.
Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

Encrypted computing: Speed, security and provable obfuscation against insiders.
Proceedings of the International Carnahan Conference on Security Technology, 2017

Towards Interface-Driven Design of Evolving Component-Based Architectures.
Proceedings of the Provably Correct Systems, 2017

2016
Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems.
Sensors, 2016

A Practical Encrypted Microprocessor.
Proceedings of the 13th International Joint Conference on e-Business and Telecommunications (ICETE 2016), 2016

A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems.
Proceedings of the FM 2016: Formal Methods, 2016

Querying Medical Datasets While Preserving Privacy.
Proceedings of the 7th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2016)/The 6th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2016)/Affiliated Workshops, 2016

2015
Formal Aspects of Component Software (FACS 2013).
Sci. Comput. Program., 2015

Regular Property Guided Dynamic Symbolic Execution.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
A sound and complete theory of graph transformations for service programming with sessions and pipelines.
Sci. Comput. Program., 2014

Automated transformations from UML behavior models to contracts.
SCIENCE CHINA Information Sciences, 2014

Component-based modelling for sustainable and scalable smart meter networks.
Proceedings of the Proceeding of IEEE International Symposium on a World of Wireless, 2014

Model-Driven Design of Object and Component Systems.
Proceedings of the Engineering Trustworthy Software Systems - First International School, 2014

A Tool for Analyzing Clinical Datasets as Blackbox.
Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

2013
A framework for automated and certified refinement steps.
ISSE, 2013

A graph-based generic type system for object-oriented programs.
Frontiers Comput. Sci., 2013

Requirements monitoring for Internetware: an interaction based approach.
SCIENCE CHINA Information Sciences, 2013

An Automated Routine Childhood Immunization Approach using openEHR.
Proceedings of the MEDINFO 2013, 2013

Actualizing a Mobile Integrated System for Geriatric Care.
Proceedings of the MEDINFO 2013, 2013

rCOS: Defining Meanings of Component-Based Software Architectures.
Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013

Reconstructing Paths for Reachable Code.
Proceedings of the Formal Methods and Software Engineering, 2013

A Quantitative Analysis of the Performance and Scalability of De-identification Tools for Medical Data.
Proceedings of the Foundations of Health Information Engineering and Systems, 2013

Graph-Based Object-Oriented Hoare Logic.
Proceedings of the Theories of Programming and Formal Methods, 2013

Support Formal Component-Based Development with UML Profile.
Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2012
Failure-divergence semantics and refinement of long running transactions.
Theor. Comput. Sci., 2012

Relating software validation to technology trends.
STTT, 2012

rCOS: a formal model-driven engineering method for component-based software.
Frontiers Comput. Sci. China, 2012

Component Based Design of Fault Tolerant Devices in Cyber Physical System.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

Automated Reviewing of Healthcare Security Policies.
Proceedings of the Foundations of Health Information Engineering and Systems, 2012

Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets.
Proceedings of the Foundations of Health Information Engineering and Systems, 2012

Unblockable compositions of software components.
Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

2011
Editorial.
Formal Asp. Comput., 2011

Failure-Divergence Refinement of Compensating Communicating Processes.
Proceedings of the FM 2011: Formal Methods, 2011

Interactive Transformations from Object-Oriented Models to Component-Based Models.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010
Robustness testing for software components.
Sci. Comput. Program., 2010

State Based Robustness Testing for Components.
Electr. Notes Theor. Comput. Sci., 2010

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs.
Proceedings of the Formal Methods: Foundations and Applications, 2010

AutoPA: Automatic Prototyping from Requirements.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

An Extended cCSP with Stable Failures Semantics.
Proceedings of the Theoretical Aspects of Computing, 2010

Graph Representation of Sessions and Pipelines for Structured Service Programming.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009
Design and Verification of Fault-Tolerant Components.
Proceedings of the Methods, 2009

Refinement and verification in component-based model-driven design.
Sci. Comput. Program., 2009

Graph transformations for object-oriented refinement.
Formal Asp. Comput., 2009

A Graph-Based Operational Semantics of OO Programs.
Proceedings of the Formal Methods and Software Engineering, 2009

Model Checking Linear Duration Invariants of Networks of Automata.
Proceedings of the Fundamentals of Software Engineering, 2009

rCOS: Theory and Tool for Component-Based Model Driven Development.
Proceedings of the Fundamentals of Software Engineering, 2009

2008
Ensemble Engineering and Emergence.
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Validation of requirement models by automatic prototyping.
ISSE, 2008

Prototyping System Requirements Model.
Electr. Notes Theor. Comput. Sci., 2008

Component Publications and Compositions.
Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

Laws of Object-Orientation with Reference Semantics.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Formal Use of Design Patterns and Refactoring.
Proceedings of the Leveraging Applications of Formal Methods, 2008

A Component-Based Access Control Monitor.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Verification of Linear Duration Invariants by Model Checking CTL Properties.
Proceedings of the Theoretical Aspects of Computing, 2008

2007
SoSyM Special Section on Software Engineering and Formal Methods.
Software and System Modeling, 2007

Object-Oriented Structure Refinement - A Graph Transformational Approach.
Electr. Notes Theor. Comput. Sci., 2007

Separation of Concerns and Consistent Integration in Requirements Modelling.
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

A Refinement Driven Component-Based Design.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

A Model of Component-Based Programming.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Modelling with Relational Calculus of Object and Component Systems - rCOS.
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

Harnessing rCOS for Tool Support - The CoCoME Experience.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006
rCOS: A refinement calculus of object systems.
Theor. Comput. Sci., 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

A Theory of Reactive Components.
Electr. Notes Theor. Comput. Sci., 2006

A strategy for service realization in service-oriented design.
Science in China Series F: Information Sciences, 2006

Harnessing Theories for Tool Support.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Developing a TTCN-3 Test Harness for Legacy Software.
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

2005
Towards a Rigorous Approach to UML-Based Development.
Electr. Notes Theor. Comput. Sci., 2005

Methods and Tools for Formal Software Engineering.
Proceedings of the Verified Software: Theories, 2005

Integrating Theories and Techniques for Program Modelling, Design and Verification.
Proceedings of the Verified Software: Theories, 2005

POST: A Case Study for an Incremental Development in rCOS.
Proceedings of the Theoretical Aspects of Computing, 2005

Component-Based Software Engineering.
Proceedings of the Theoretical Aspects of Computing, 2005

Consistency Checking of UML Requirements.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Consistent Code Generation from UML Models.
Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

2004
Unifying proof methodologies of duration calculus and timed linear temporal logic.
Formal Asp. Comput., 2004

Unifying Views of UML.
Electr. Notes Theor. Comput. Sci., 2004

Real-Time and Fault-Tolerant Systems.
Proceedings of the Refinement Techniques in Software Engineering, 2004

Integrating Temporal Logics.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Contract Oriented Development of Component Software.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

A Predicative Semantic Model for Integrating UML Models.
Proceedings of the Theoretical Aspects of Computing, 2004

A Summary of the Tutorials at ICTAC 2004.
Proceedings of the Theoretical Aspects of Computing, 2004

From Durational Specifications to TLA Designs of Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2004

Generating a Prototype from a UML Model of System Requirements.
Proceedings of the Distributed Computing and Internet Technology, 2004

rCOS: Refinement of Component and Object Systems.
Proceedings of the Formal Methods for Components and Objects, 2004

Formal Support for Development of JavaBeans? Component Systems.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Linking UML Models of Design and Requirement.
Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

A Formal Semantics of UML Sequence Diagram.
Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

A Relational Model for Object-Oriented Designs.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003
A Relational Model for Formal Object-Oriented Requirement Analysis in UML.
Proceedings of the Formal Methods and Software Engineering, 2003

2002
Using Transition Systems to Unify UML Models.
Proceedings of the Formal Methods and Software Engineering, 2002

Towards a Refinement Calculus for Object Systems.
Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 2002

2001
Verification, refinement and scheduling of real-time programs.
Theor. Comput. Sci., 2001

Formal and Use-Case Driven Requirement Analysis in UML.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Formal Object-Oriented Analysis and Design of an Online Ticketing System.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

1999
Specification and Verification of Fault-Tolerance, Timing, and Scheduling.
ACM Trans. Program. Lang. Syst., 1999

1998
Verifying duration properties of timed transition systems.
Proceedings of the Programming Concepts and Methods, 1998

1997
Formalizing Real-Time Scheduling as Program Refinement.
Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996
Verification of Fault Tolerance and Real Time.
Proceedings of the Digest of Papers: FTCS-26, 1996

1995
Verification of Schedulability for Real-Time Programs.
Formal Asp. Comput., 1995

1994
Stepwise Development of Fault-Tolerant Reactive Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1992
Transformation of Programs for Fault-Tolerance.
Formal Asp. Comput., 1992


  Loading...