Zhiming Liu

According to our database, Zhiming Liu authored at least 164 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints.

Yuanrui Zhang, Frédéric Mallet, Min Zhang, Zhiming Liu

Formal Aspects Comput., June, 2024

Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models.

Yufeng Zhang, Jialu Pan, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang, Zhiming Liu, Hongmei Wei

IEEE Trans. Knowl. Data Eng., April, 2024

A dynamic logic with branching modalities.

Yuanrui Zhang, Zhiming Liu

J. Log. Algebraic Methods Program., January, 2024

Dynamic Group Time-Based One-Time Passwords.

Xuelian Cao, Zheng Yang, Jianting Ning, Chenglu Jin, Rongxing Lu, Zhiming Liu, Jianying Zhou

IEEE Trans. Inf. Forensics Secur., 2024

The rCOS framework for multi-dimensional separation of concerns in model-driven engineering.

Bo Liu, Shmuel S. Tyszberowicz, Zhiming Liu

J. Syst. Archit., 2024

Deep autoencoder architecture with outliers for temporal attributed network embedding.

Xian Mo, Jun Pang, Zhiming Liu

Expert Syst. Appl., 2024

Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects.

Chao Wang, Peng Wu, Gustavo Petri, Qiaowen Jia, Youlin He, Yi Lv, Zhiming Liu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

Mono2MS: Deep Fusion of Multi-Source Features for Partitioning Monolith into Microservices.

Geng Chen, Chenlin Li, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu

Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024

Observability of Boolean Control Networks: New Definition and Verification Algorithm.

Guisen Wu, Zhiming Liu, Jun Pang

Proceedings of the Formal Methods and Software Engineering, 2024

Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation.

Xia Zeng, Banglong Liu, Zhenbing Zeng, Zhiming Liu, Zhengfeng Yang

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023

Towards a model of human-cyber-physical automata and a synthesis framework for control policies.

Xiaochen Tang, Miaomiao Zhang, Wanwei Liu, Bowen Du, Zhiming Liu

J. Syst. Archit., November, 2023

A contract-based semantics and refinement for hybrid Simulink block diagrams.

Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu

J. Syst. Archit., October, 2023

Efficient schedulability analysis of hierarchical EDF scheduling with resource sharing.

Fengxiang Zhang, Zhiming Liu, Qin Wu, Sumei Wang, Dandi Ma

J. Syst. Archit., February, 2023

Towards correctness proof for hybrid Simulink block diagrams.

Wei Zhang, Quan Sun, Chao Wang, Zhiming Liu

J. Syst. Archit., 2023

Multi-dimensional Abstraction and Decomposition for Separation of Concerns.

Zhiming Liu, Jiadong Teng, Bo Liu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

A Closer Look at Different Difficulty Levels Code Generation Abilities of ChatGPT.

Dapeng Yan, Zhipeng Gao, Zhiming Liu

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

HQProtoPNet: An Evidence-Based Model for Interpretable Image Recognition.

Jingqi Wang, Jiajie Peng, Zhiming Liu, Hengjun Zhao

Proceedings of the International Joint Conference on Neural Networks, 2023

Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories.

Zhiming Liu, Jiadong Teng, Bo Liu

Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023

Learning Assumptions for Compositional Verification of Timed Automata.

Hanyue Chen, Yu Su, Miaomiao Zhang, Zhiming Liu, Junri Mi

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Linking Formal Methods in Software Development - A Reflection on the Development of rCOS.

Zhiming Liu

Proceedings of the Theories of Programming and Formal Methods, 2023

Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers.

Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition.

Wei Zhao, Zhiming Liu

PeerJ Comput. Sci., 2022

Crex: Predicting patch correctness in automated repair of C programs through transfer learning of execution semantics.

Dapeng Yan, Kui Liu, Yuqing Niu, Li Li, Zhe Liu, Zhiming Liu, Jacques Klein, Tegawendé F. Bissyandé

Inf. Softw. Technol., 2022

Safe Reinforcement Learning Algorithm and Its Application in Intelligent Control for CPS.

Hengjun Zhao, Quanzhong Li, Xia Zeng, Zhiming Liu

Int. J. Softw. Informatics, 2022

Probabilistic synthesis against GR(1) winning condition.

Wei Zhao, Rui Li, Wanwei Liu, Wei Dong, Zhiming Liu

Frontiers Comput. Sci., 2022

A dynamic logic for verification of synchronous models based on theorem proving.

Yuanrui Zhang, Frédéric Mallet, Zhiming Liu

Frontiers Comput. Sci., 2022

THS-GWNN: a deep learning framework for temporal network link prediction.

Xian Mo, Jun Pang, Zhiming Liu

Frontiers Comput. Sci., 2022

iTrustEval: A framework for software trustworthiness evaluation with an intelligent AHP-based method.

Yu Liu, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Decidability of Liveness for Concurrent Objects on the TSO Memory Model.

Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

A Contract-Based Semantics and Refinement for Simulink.

Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

Human-Cyber-Physical Automata and Their Synthesis.

Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Automatic Lumbar Vertebra Landmark Localization and Segmentation for Pedicle Screw Placement.

Yike Cheng, Ji-Le Jiang, Ning Zhang, Hengjun Zhao, Zhiming Liu

Proceedings of the 26th International Conference on Pattern Recognition, 2022

2021

Low I/O Intensity-aware Partial GC Scheduling to Reduce Long-tail Latency in SSDs.

Zhibing Sha, Jun Li, Lihao Song, Jiewen Tang, Min Huang, Zhigang Cai, Lianju Qian, Jianwei Liao, Zhiming Liu

ACM Trans. Archit. Code Optim., 2021

A clock-based dynamic logic for schedulability analysis of CCSL specifications.

Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu

Sci. Comput. Program., 2021

Learning safe neural network controllers with barrier certificates.

Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock

Formal Aspects Comput., 2021

Editorial.

Xiaoping Chen, Zhiming Liu, Ji Wang, Jim Woodcock

Formal Aspects Comput., 2021

Decidability of Liveness on the TSO Memory Model.

Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu

CoRR, 2021

Effective Link Prediction with Topological and Temporal Information using Wavelet Neural Network Embedding.

Xian Mo, Jun Pang, Zhiming Liu

Comput. J., 2021

Estimating the Attack Surface from Residual Vulnerabilities in Open Source Software Supply Chain.

Dapeng Yan, Yuqing Niu, Kui Liu, Zhe Liu, Zhiming Liu, Tegawendé F. Bissyandé

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Intra-page Cache Update in SLC-mode with Partial Programming in High Density SSDs.

Jun Li, Minjun Li, Zhigang Cai, François Trahay, Mohamed Wahib, Balazs Gerofi, Zhiming Liu, Min Huang, Jianwei Liao

Proceedings of the ICPP 2021: 50th International Conference on Parallel Processing, Lemont, IL, USA, August 9, 2021

An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation.

Zhengfeng Yang, Yidan Zhang, Wang Lin, Xia Zeng, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Automated Prototype Generation From Formal Requirements Model.

Yilong Yang, Xiaoshan Li, Wei Ke, Zhiming Liu

IEEE Trans. Reliab., 2020

Toward Efficient Block Replication Management in Distributed Storage.

Jianwei Liao, Zhibing Sha, Zhigang Cai, Zhiming Liu, Kenli Li, Wei-Keng Liao, Alok N. Choudhary, Yutaka Ishikawa

ACM Trans. Model. Perform. Evaluation Comput. Syst., 2020

Human-cyber-physical systems: concepts, challenges, and research opportunities.

Zhiming Liu, Ji Wang

Frontiers Inf. Technol. Electron. Eng., 2020

Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models.

Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Ji Wang, Zhiming Liu, Kenli Li, Hongmei Wei, Zuoning Chen

CoRR, 2020

Higher-Order Graph Convolutional Embedding for Temporal Networks.

Xian Mo, Jun Pang, Zhiming Liu

Proceedings of the Web Information Systems Engineering - WISE 2020, 2020

Synthesizing barrier certificates using neural networks.

Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

2019

Online Observability of Boolean Control Networks.

Guisen Wu, Liyun Dai, Zhiming Liu, Taolue Chen, Jun Pang, Hongyang Qu

CoRR, 2019

Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.

Zhiming Liu, Jonathan P. Bowen, Bo Liu, Shmuel S. Tyszberowicz, Tingting Zhang

Proceedings of the Engineering Trustworthy Software Systems - 5th International School, 2019

RM2PT: a tool for automated prototype generation from requirements model.

Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Robustness Verification of Classification Deep Neural Networks via Linear Programming.

Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019

2018

Parameter Synthesis Problems for one parametric clock Timed Automata.

Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen

CoRR, 2018

Automated Prototype Generation from Formal Requirements Model.

Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke, Quan Zu, Xiaohong Chen

CoRR, 2018

Parameter Synthesis Problems for Parametric Timed Automata.

Liyun Dai, Bo Liu, Zhiming Liu, Taolue Chen

CoRR, 2018

MedShare: Medical Resource Sharing among Autonomous Healthcare Providers.

Yilong Yang, Xiaoshan Li, Nafees Qamar, Wei Ke, Zhiming Liu

CoRR, 2018

Medshare: A Novel Hybrid Cloud for Medical Resource Sharing Among Autonomous Healthcare Providers.

Yilong Yang, Xiaoshan Li, Nafees Qamar, Peng Liu, Wei Ke, Bingqing Shen, Zhiming Liu

IEEE Access, 2018

Superscalar Encrypted RISC: The Measure of a Secret Computer.

Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu

Proceedings of the 17th IEEE International Conference On Trust, 2018

Identifying Microservices Using Functional Decomposition.

Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

On Security in Encrypted Computing.

Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu

Proceedings of the Information and Communications Security - 20th International Conference, 2018

The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing.

Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu

Proceedings of the 2018 IEEE European Symposium on Security and Privacy Workshops, 2018

2017

Editorial.

Xuandong Li, Zhiming Liu

Formal Aspects Comput., 2017

On Obfuscating Compilation for Encrypted Computing.

Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu

Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

Encrypted computing: Speed, security and provable obfuscation against insiders.

Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu

Proceedings of the International Carnahan Conference on Security Technology, 2017

Towards Interface-Driven Design of Evolving Component-Based Architectures.

Xin Chen, Zhiming Liu

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.

Esther Palomar, Xiaohong Chen, Zhiming Liu, Sabita Maharjan, Jonathan P. Bowen

Sensors, 2016

A Practical Encrypted Microprocessor.

Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu

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.

Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu

Proceedings of the FM 2016: Formal Methods, 2016

Querying Medical Datasets While Preserving Privacy.

Nafees Qamar, Yilong Yang, András Nádas, Zhiming Liu

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).

José Luiz Fiadeiro, Zhiming Liu

Sci. Comput. Program., 2015

Anonymously Analyzing Clinical Datasets.

Nafees Qamar, Yilong Yang, András Nádas, Zhiming Liu, Janos Sztipanovits

CoRR, 2015

Regular Property Guided Dynamic Symbolic Execution.

Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu

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.

Liang Zhao, Roberto Bruni, Zhiming Liu

Sci. Comput. Program., 2014

Automated transformations from UML behavior models to contracts.

Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz

Sci. China Inf. Sci., 2014

Component-based modelling for sustainable and scalable smart meter networks.

Esther Palomar, Zhiming Liu, Jonathan P. Bowen, Yan Zhang, Sabita Maharjan

Proceedings of the Proceeding of IEEE International Symposium on a World of Wireless, 2014

Model-Driven Design of Object and Component Systems.

Zhiming Liu, Xiaohong Chen

Proceedings of the Engineering Trustworthy Software Systems - First International School, 2014

A Tool for Analyzing Clinical Datasets as Blackbox.

Nafees Qamar, Yilong Yang, András Nádas, Zhiming Liu, Janos Sztipanovits

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

2013

A framework for automated and certified refinement steps.

Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang

Innov. Syst. Softw. Eng., 2013

A graph-based generic type system for object-oriented programs.

Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao

Frontiers Comput. Sci., 2013

Requirements monitoring for Internetware: an interaction based approach.

Xiaohong Chen, Jing Liu, Zhiming Liu

Sci. China Inf. Sci., 2013

An Automated Routine Childhood Immunization Approach using openEHR.

Zhiming Liu, Nafees Qamar, Jie Qian

Proceedings of the MEDINFO 2013, 2013

Actualizing a Mobile Integrated System for Geriatric Care.

Han Ei Chew, Johannes Faber, Zhiming Liu, Vanessa Madera, Nafees Qamar

Proceedings of the MEDINFO 2013, 2013

rCOS: Defining Meanings of Component-Based Software Architectures.

Ruzhen Dong, Johannes Faber, Wei Ke, Zhiming Liu

Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013

Reconstructing Paths for Reachable Code.

Stephan Arlt, Zhiming Liu, Martin Schäf

Proceedings of the Formal Methods and Software Engineering, 2013

A Quantitative Analysis of the Performance and Scalability of De-identification Tools for Medical Data.

Zhiming Liu, Nafees Qamar, Jie Qian

Proceedings of the Foundations of Health Information Engineering and Systems, 2013

Graph-Based Object-Oriented Hoare Logic.

Liang Zhao, Shuling Wang, Zhiming Liu

Proceedings of the Theories of Programming and Formal Methods, 2013

Support Formal Component-Based Development with UML Profile.

Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz

Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2012

Failure-divergence semantics and refinement of long running transactions.

Zhenbang Chen, Zhiming Liu, Ji Wang

Theor. Comput. Sci., 2012

Relating software validation to technology trends.

Zhiming Liu, Abhik Roychoudhury

Int. J. Softw. Tools Technol. Transf., 2012

rCOS: a formal model-driven engineering method for component-based software.

Wei Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz

Frontiers Comput. Sci. China, 2012

Component Based Design of Fault Tolerant Devices in Cyber Physical System.

Tianhua Xu, Zhiming Liu, Tao Tang, Wei Zheng, Lin Zhao

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

Automated Reviewing of Healthcare Security Policies.

Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu

Proceedings of the Foundations of Health Information Engineering and Systems, 2012

Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets.

Cristiano Bertolini, Zhiming Liu, Jirí Srba

Proceedings of the Foundations of Health Information Engineering and Systems, 2012

Unblockable compositions of software components.

Ruzhen Dong, Johannes Faber, Zhiming Liu, Jirí Srba, Naijun Zhan, Jiaqi Zhu

Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

2011

Editorial.

Zhiming Liu, Jim Woodcock

Formal Aspects Comput., 2011

Failure-Divergence Refinement of Compensating Communicating Processes.

Zhenbang Chen, Zhiming Liu, Ji Wang

Proceedings of the FM 2011: Formal Methods, 2011

Interactive Transformations from Object-Oriented Models to Component-Based Models.

Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010

Robustness testing for software components.

Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz

Sci. Comput. Program., 2010

A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs.

Zhiming Liu, Charles Morisset, Shuling Wang

Proceedings of the Formal Methods: Foundations and Applications, 2010

AutoPA: Automatic Prototyping from Requirements.

Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

An Extended cCSP with Stable Failures Semantics.

Zhenbang Chen, Zhiming Liu

Proceedings of the Theoretical Aspects of Computing, 2010

Graph Representation of Sessions and Pipelines for Structured Service Programming.

Roberto Bruni, Zhiming Liu, Liang Zhao

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009

Design and Verification of Fault-Tolerant Components.

Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn

Proceedings of the Methods, 2009

Refinement and verification in component-based model-driven design.

Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan

Sci. Comput. Program., 2009

Graph transformations for object-oriented refinement.

Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu

Formal Aspects Comput., 2009

A Graph-Based Operational Semantics of OO Programs.

Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao

Proceedings of the Formal Methods and Software Engineering, 2009

Model Checking Linear Duration Invariants of Networks of Automata.

Miaomiao Zhang, Zhiming Liu, Naijun Zhan

Proceedings of the Fundamentals of Software Engineering, 2009

rCOS: Theory and Tool for Component-Based Model Driven Development.

Zhiming Liu, Charles Morisset, Volker Stolz

Proceedings of the Fundamentals of Software Engineering, 2009

2008

Ensemble Engineering and Emergence.

Hu Jun, Zhiming Liu, G. M. Reed, J. W. Sanders

Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Validation of requirement models by automatic prototyping.

Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu

Innov. Syst. Softw. Eng., 2008

State Based Robustness Testing for Components.

Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Component Publications and Compositions.

Naijun Zhan, Eun-Young Kang, Zhiming Liu

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

Laws of Object-Orientation with Reference Semantics.

Leila Silva, Augusto Sampaio, Zhiming Liu

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Formal Use of Design Patterns and Refactoring.

Long Quan, Zongyan Qiu, Zhiming Liu

Proceedings of the Leveraging Applications of Formal Methods, 2008

A Component-Based Access Control Monitor.

Zhiming Liu, Charles Morisset, Volker Stolz

Proceedings of the Leveraging Applications of Formal Methods, 2008

Verification of Linear Duration Invariants by Model Checking CTL Properties.

Miaomiao Zhang, Dang Van Hung, Zhiming Liu

Proceedings of the Theoretical Aspects of Computing, 2008

2007

SoSyM Special Section on Software Engineering and Formal Methods.

Jorge Cuéllar, Zhiming Liu

Softw. Syst. Model., 2007

Prototyping System Requirements Model.

Xiaoshan Li, Zhiming Liu

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Separation of Concerns and Consistent Integration in Requirements Modelling.

Xin Chen, Zhiming Liu, Vladimir Mencl

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

A Refinement Driven Component-Based Design.

Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

A Model of Component-Based Programming.

Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Modelling with Relational Calculus of Object and Component Systems - rCOS.

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

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.

Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

rCOS: A refinement calculus of object systems.

Jifeng He, Xiaoshan Li, Zhiming Liu

Theor. Comput. Sci., 2006

Object-Oriented Structure Refinement - A Graph Transformational Approach.

Xiaojian Liu, Zhiming Liu, Liang Zhao

Proceedings of the 11th Refinement Workshop, 2006

A strategy for service realization in service-oriented design.

Jing Liu, Jifeng He, Zhiming Liu

Sci. China Ser. F Inf. Sci., 2006

Harnessing Theories for Tool Support.

Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang

Proceedings of the Leveraging Applications of Formal Methods, 2006

Developing a TTCN-3 Test Harness for Legacy Software.

Joseph C. Okika, Anders P. Ravn, Zhiming Liu, Lokesh Siddalingaiah

Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

2005

Preface.

Zhiming Liu, Luís Soares Barbosa

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

A Theory of Reactive Components.

Jifeng He, Xiaoshan Li, Zhiming Liu

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Methods and Tools for Formal Software Engineering.

Zhiming Liu, R. Venkatesh

Proceedings of the Verified Software: Theories, 2005

Integrating Theories and Techniques for Program Modelling, Design and Verification.

Bernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed

Proceedings of the Verified Software: Theories, 2005

POST: A Case Study for an Incremental Development in rCOS.

Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He

Proceedings of the Theoretical Aspects of Computing, 2005

Component-Based Software Engineering.

Jifeng He, Xiaoshan Li, Zhiming Liu

Proceedings of the Theoretical Aspects of Computing, 2005

Consistency Checking of UML Requirements.

Xiaoshan Li, Zhiming Liu, Jifeng He

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Consistent Code Generation from UML Models.

Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He

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.

Zhiming Liu, Anders P. Ravn, Xiaoshan Li

Formal Aspects Comput., 2004

Towards a Rigorous Approach to UML-Based Development.

Zhiming Liu, Jifeng He, Xiaoshan Li

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

Real-Time and Fault-Tolerant Systems.

Zhiming Liu, Mathai Joseph

Proceedings of the Refinement Techniques in Software Engineering, 2004

Integrating Temporal Logics.

Yifeng Chen, Zhiming Liu

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Contract Oriented Development of Component Software.

Zhiming Liu, Jifeng He, Xiaoshan Li

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

A Predicative Semantic Model for Integrating UML Models.

Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li

Proceedings of the Theoretical Aspects of Computing, 2004

A Summary of the Tutorials at ICTAC 2004.

Zhiming Liu

Proceedings of the Theoretical Aspects of Computing, 2004

From Durational Specifications to TLA Designs of Timed Automata.

Yifeng Chen, Zhiming Liu

Proceedings of the Formal Methods and Software Engineering, 2004

Generating a Prototype from a UML Model of System Requirements.

Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long

Proceedings of the Distributed Computing and Internet Technology, 2004

rCOS: Refinement of Component and Object Systems.

Zhiming Liu, Jifeng He, Xiaoshan Li

Proceedings of the Formal Methods for Components and Objects, 2004

Formal Support for Development of JavaBeans? Component Systems.

Bhim Prasad Upadhyaya, Zhiming Liu

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Linking UML Models of Design and Requirement.

Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

A Formal Semantics of UML Sequence Diagram.

Xiaoshan Li, Zhiming Liu, Jifeng He

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

A Relational Model for Object-Oriented Designs.

Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003

Unifying Views of UML.

Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li

Proceedings of the Workshop on the Compositional Verification of UML Models, 2003

A Relational Model for Formal Object-Oriented Requirement Analysis in UML.

Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen

Proceedings of the Formal Methods and Software Engineering, 2003

2002

Using Transition Systems to Unify UML Models.

Zhiming Liu, Xiaoshan Li, Jifeng He

Proceedings of the Formal Methods and Software Engineering, 2002

Towards a Refinement Calculus for Object Systems.

Jifeng He, Zhiming Liu, Xiaoshan Li

Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 2002

2001

Verification, refinement and scheduling of real-time programs.

Zhiming Liu, Mathai Joseph

Theor. Comput. Sci., 2001

Formal and Use-Case Driven Requirement Analysis in UML.

Xiaoshan Li, Zhiming Liu, Jifeng He

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Formal Object-Oriented Analysis and Design of an Online Ticketing System.

Xiaoshan Li, Zhiming Liu, Zhensheng Guo

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

1999

Specification and Verification of Fault-Tolerance, Timing, and Scheduling.

Zhiming Liu, Mathai Joseph

ACM Trans. Program. Lang. Syst., 1999

1998

Verifying duration properties of timed transition systems.

Zhiming Liu, Anders P. Ravn, Xiaoshan Li

Proceedings of the Programming Concepts and Methods, 1998

1997

Formalizing Real-Time Scheduling as Program Refinement.

Zhiming Liu, Mathai Joseph

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996

Verification of Fault Tolerance and Real Time.

Zhiming Liu, Mathai Joseph

Proceedings of the Digest of Papers: FTCS-26, 1996

1995

Verification of Schedulability for Real-Time Programs.

Zhiming Liu, Mathai Joseph, Tomasz Janowski

Formal Aspects Comput., 1995

1994

Stepwise Development of Fault-Tolerant Reactive Systems.

Zhiming Liu, Mathai Joseph

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.

Zhiming Liu, Mathai Joseph

Formal Aspects Comput., 1992

1991

Fault-tolerant programming by transformations.

Zhiming Liu

PhD thesis, 1991