Zhiming Liu

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 55

Top Venues

CoRR

Formal Aspects Comput.

SETTA

J. Syst. Archit.

Publications

Yuanrui Zhang, Frédéric Mallet, Min Zhang, Zhiming Liu
Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints. Formal Aspects Comput. 36 (2) (2024)
Xuelian Cao, Zheng Yang, Jianting Ning, Chenglu Jin, Rongxing Lu, Zhiming Liu, Jianying Zhou
Dynamic Group Time-Based One-Time Passwords. IEEE Trans. Inf. Forensics Secur. 19 (2024)
Xian Mo, Jun Pang, Zhiming Liu
Deep autoencoder architecture with outliers for temporal attributed network embedding. Expert Syst. Appl. 240 (2024)
Yufeng Zhang, Jialu Pan, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang, Zhiming Liu, Hongmei Wei
Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models. IEEE Trans. Knowl. Data Eng. 36 (4) (2024)
Geng Chen, Chenlin Li, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu
Mono2MS: Deep Fusion of Multi-Source Features for Partitioning Monolith into Microservices. Internetware (2024)
Dapeng Yan, Zhipeng Gao, Zhiming Liu
A Closer Look at Different Difficulty Levels Code Generation Abilities of ChatGPT. ASE (2023)
Zhiming Liu, Jiadong Teng, Bo Liu
Multi-dimensional Abstraction and Decomposition for Separation of Concerns. SETTA (2023)
Xiaochen Tang, Miaomiao Zhang, Wanwei Liu, Bowen Du, Zhiming Liu
Towards a model of human-cyber-physical automata and a synthesis framework for control policies. J. Syst. Archit. 144 (2023)
Wei Zhang, Quan Sun, Chao Wang, Zhiming Liu
Towards correctness proof for hybrid Simulink block diagrams. J. Syst. Archit. 141 (2023)
Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu
Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers. AAAI (2023)
Zhiming Liu, Jiadong Teng, Bo Liu
Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories. FACS (2023)
Zhiming Liu
Linking Formal Methods in Software Development - A Reflection on the Development of rCOS. Theories of Programming and Formal Methods (2023)
Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu
A contract-based semantics and refinement for hybrid Simulink block diagrams. J. Syst. Archit. 143 (2023)
Yike Cheng, Ji-Le Jiang, Ning Zhang, Hengjun Zhao, Zhiming Liu
Automatic Lumbar Vertebra Landmark Localization and Segmentation for Pedicle Screw Placement. ICPR (2022)
Wei Zhao, Rui Li, Wanwei Liu, Wei Dong, Zhiming Liu
Probabilistic synthesis against GR(1) winning condition. Frontiers Comput. Sci. 16 (3) (2022)
Yuanrui Zhang, Frédéric Mallet, Zhiming Liu
A dynamic logic for verification of synchronous models based on theorem proving. Frontiers Comput. Sci. 16 (4) (2022)
Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu
Human-Cyber-Physical Automata and Their Synthesis. ICTAC (2022)
Hengjun Zhao, Quanzhong Li, Xia Zeng, Zhiming Liu
Safe Reinforcement Learning Algorithm and Its Application in Intelligent Control for CPS. Int. J. Softw. Informatics 12 (4) (2022)
Xian Mo, Jun Pang, Zhiming Liu
THS-GWNN: a deep learning framework for temporal network link prediction. Frontiers Comput. Sci. 16 (2) (2022)
Wei Zhao, Zhiming Liu
A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition. PeerJ Comput. Sci. 8 (2022)
Jun Li, Minjun Li, Zhigang Cai, François Trahay, Mohamed Wahib, Balazs Gerofi, Zhiming Liu, Min Huang, Jianwei Liao
Intra-page Cache Update in SLC-mode with Partial Programming in High Density SSDs. ICPP (2021)
Xiaoping Chen, Zhiming Liu, Ji Wang, Jim Woodcock
Editorial. Formal Aspects Comput. 33 (3) (2021)
Zhengfeng Yang, Yidan Zhang, Wang Lin, Xia Zeng, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu
An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation. CAV (1) (2021)
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu
A clock-based dynamic logic for schedulability analysis of CCSL specifications. Sci. Comput. Program. 202 (2021)
Xian Mo, Jun Pang, Zhiming Liu
Effective Link Prediction with Topological and Temporal Information using Wavelet Neural Network Embedding. Comput. J. 64 (3) (2021)
Zhibing Sha, Jun Li, Lihao Song, Jiewen Tang, Min Huang, Zhigang Cai, Lianju Qian, Jianwei Liao, Zhiming Liu
Low I/O Intensity-aware Partial GC Scheduling to Reduce Long-tail Latency in SSDs. ACM Trans. Archit. Code Optim. 18 (4) (2021)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
Learning safe neural network controllers with barrier certificates. Formal Aspects Comput. 33 (3) (2021)
Xian Mo, Jun Pang, Zhiming Liu
Higher-Order Graph Convolutional Embedding for Temporal Networks. WISE (1) (2020)
Yilong Yang, Xiaoshan Li, Wei Ke, Zhiming Liu
Automated Prototype Generation From Formal Requirements Model. IEEE Trans. Reliab. 69 (2) (2020)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu
Synthesizing barrier certificates using neural networks. HSCC (2020)
Jianwei Liao, Zhibing Sha, Zhigang Cai, Zhiming Liu, Kenli Li, Wei-Keng Liao, Alok N. Choudhary, Yutaka Ishikawa
Toward Efficient Block Replication Management in Distributed Storage. ACM Trans. Model. Perform. Evaluation Comput. Syst. 5 (3) (2020)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
Learning Safe Neural Network Controllers with Barrier Certificates. SETTA (2020)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
Learning Safe Neural Network Controllers with Barrier Certificates. CoRR (2020)
Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Ji Wang, Zhiming Liu, Kenli Li, Hongmei Wei, Zuoning Chen
Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models. CoRR (2020)
Zhiming Liu, Ji Wang
Human-cyber-physical systems: concepts, challenges, and research opportunities. Frontiers Inf. Technol. Electron. Eng. 21 (11) (2020)
Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He
Robustness Verification of Classification Deep Neural Networks via Linear Programming. CVPR (2019)
Zhiming Liu, Jonathan P. Bowen, Bo Liu, Shmuel S. Tyszberowicz, Tingting Zhang
Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. SETSS (2019)
Guisen Wu, Liyun Dai, Zhiming Liu, Taolue Chen, Jun Pang, Hongyang Qu
Online Observability of Boolean Control Networks. CoRR (2019)
Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke
RM2PT: a tool for automated prototype generation from requirements model. ICSE (Companion Volume) (2019)
Yilong Yang, Xiaoshan Li, Nafees Qamar, Wei Ke, Zhiming Liu
MedShare: Medical Resource Sharing among Autonomous Healthcare Providers. CoRR (2018)
Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen
Parameter Synthesis Problems for one parametric clock Timed Automata. CoRR (2018)
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
On Security in Encrypted Computing. ICICS (2018)
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing. EuroS&P Workshops (2018)
Yilong Yang, Xiaoshan Li, Nafees Qamar, Peng Liu, Wei Ke, Bingqing Shen, Zhiming Liu
Medshare: A Novel Hybrid Cloud for Medical Resource Sharing Among Autonomous Healthcare Providers. IEEE Access 6 (2018)
Liyun Dai, Bo Liu, Zhiming Liu, Taolue Chen
Parameter Synthesis Problems for Parametric Timed Automata. CoRR (2018)
Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu
Identifying Microservices Using Functional Decomposition. SETTA (2018)
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
Superscalar Encrypted RISC: The Measure of a Secret Computer. TrustCom/BigDataSE (2018)
Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke, Quan Zu, Xiaohong Chen
Automated Prototype Generation from Formal Requirements Model. CoRR (2018)
Xuandong Li, Zhiming Liu
Editorial. Formal Aspects Comput. 29 (4) (2017)
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
Encrypted computing: Speed, security and provable obfuscation against insiders. ICCST (2017)
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
On Obfuscating Compilation for Encrypted Computing. SECRYPT (2017)
Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu
A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems. FM (2016)
Esther Palomar, Xiaohong Chen, Zhiming Liu, Sabita Maharjan, Jonathan P. Bowen
Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems. Sensors 16 (11) (2016)
Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
A Practical Encrypted Microprocessor. SECRYPT (2016)
Nafees Qamar, Yilong Yang, András Nádas, Zhiming Liu
Querying Medical Datasets While Preserving Privacy. EUSPN/ICTH (2016)
Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu
Regular Property Guided Dynamic Symbolic Execution. ICSE (1) (2015)
Nafees Qamar, Yilong Yang, András Nádas, Zhiming Liu, Janos Sztipanovits
Anonymously Analyzing Clinical Datasets. CoRR (2015)
José Luiz Fiadeiro, Zhiming Liu
Formal Aspects of Component Software (FACS 2013). Sci. Comput. Program. 113 (2015)
Esther Palomar, Zhiming Liu, Jonathan P. Bowen, Yan Zhang, Sabita Maharjan
Component-based modelling for sustainable and scalable smart meter networks. WoWMoM (2014)
Liang Zhao, Roberto Bruni, Zhiming Liu
A sound and complete theory of graph transformations for service programming with sessions and pipelines. Sci. Comput. Program. 94 (2014)
Nafees Qamar, Yilong Yang, András Nádas, Zhiming Liu, Janos Sztipanovits
A Tool for Analyzing Clinical Datasets as Blackbox. FHIES/SEHC (2014)
Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
Automated transformations from UML behavior models to contracts. Sci. China Inf. Sci. 57 (12) (2014)
Zhiming Liu, Xiaohong Chen
Model-Driven Design of Object and Component Systems. SETSS (2014)
Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang
A framework for automated and certified refinement steps. Innov. Syst. Softw. Eng. 9 (1) (2013)
Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
Support Formal Component-Based Development with UML Profile. Australian Software Engineering Conference (2013)
Stephan Arlt, Zhiming Liu, Martin Schäf
Reconstructing Paths for Reachable Code. ICFEM (2013)
Han Ei Chew, Johannes Faber, Zhiming Liu, Vanessa Madera, Nafees Qamar
Actualizing a Mobile Integrated System for Geriatric Care. MedInfo (2013)
Xiaohong Chen, Jing Liu, Zhiming Liu
Requirements monitoring for Internetware: an interaction based approach. Sci. China Inf. Sci. 56 (8) (2013)
Zhiming Liu, Nafees Qamar, Jie Qian
An Automated Routine Childhood Immunization Approach using openEHR. MedInfo (2013)
Ruzhen Dong, Johannes Faber, Wei Ke, Zhiming Liu
rCOS: Defining Meanings of Component-Based Software Architectures. ICTAC Training School on Software Engineering (2013)
Zhiming Liu, Nafees Qamar, Jie Qian
A Quantitative Analysis of the Performance and Scalability of De-identification Tools for Medical Data. FHIES (2013)
Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao
A graph-based generic type system for object-oriented programs. Frontiers Comput. Sci. 7 (1) (2013)
Liang Zhao, Shuling Wang, Zhiming Liu
Graph-Based Object-Oriented Hoare Logic. Theories of Programming and Formal Methods (2013)
Zhiming Liu, Abhik Roychoudhury
Relating software validation to technology trends. Int. J. Softw. Tools Technol. Transf. 14 (6) (2012)
Zhenbang Chen, Zhiming Liu, Ji Wang
Failure-divergence semantics and refinement of long running transactions. Theor. Comput. Sci. 455 (2012)
Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu
Automated Reviewing of Healthcare Security Policies. FHIES (2012)
Tianhua Xu, Zhiming Liu, Tao Tang, Wei Zheng, Lin Zhao
Component Based Design of Fault Tolerant Devices in Cyber Physical System. ISORC Workshops (2012)
Wei Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz
rCOS: a formal model-driven engineering method for component-based software. Frontiers Comput. Sci. China 6 (1) (2012)
Cristiano Bertolini, Zhiming Liu, Jirí Srba
Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. FHIES (2012)
Ruzhen Dong, Johannes Faber, Zhiming Liu, Jirí Srba, Naijun Zhan, Jiaqi Zhu
Unblockable compositions of software components. CBSE (2012)
Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
Interactive Transformations from Object-Oriented Models to Component-Based Models. FACS (2011)
Zhenbang Chen, Zhiming Liu, Ji Wang
Failure-Divergence Refinement of Compensating Communicating Processes. FM (2011)
Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang
A Framework for Automated and Certified Refinement Steps CoRR (2011)
Zhiming Liu, Jim Woodcock
Editorial. Formal Aspects Comput. 23 (2) (2011)
Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin
AutoPA: Automatic Prototyping from Requirements. ISoLA (1) (2010)
Zhenbang Chen, Zhiming Liu
An Extended cCSP with Stable Failures Semantics. ICTAC (2010)
Roberto Bruni, Zhiming Liu, Liang Zhao
Graph Representation of Sessions and Pipelines for Structured Service Programming. FACS (2010)
Zhiming Liu, Charles Morisset, Shuling Wang
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs. SBMF (2010)
Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz
Robustness testing for software components. Sci. Comput. Program. 75 (10) (2010)
Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li
State Based Robustness Testing for Components. Electron. Notes Theor. Comput. Sci. 260 (2010)
Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao
A Graph-Based Operational Semantics of OO Programs. ICFEM (2009)
Zhiming Liu, Charles Morisset, Volker Stolz
rCOS: Theory and Tool for Component-Based Model Driven Development. FSEN (2009)
Miaomiao Zhang, Zhiming Liu, Naijun Zhan
Model Checking Linear Duration Invariants of Networks of Automata. FSEN (2009)
Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu
Graph transformations for object-oriented refinement. Formal Aspects Comput. 21 (1-2) (2009)
Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan
Refinement and verification in component-based model-driven design. Sci. Comput. Program. 74 (4) (2009)
Zhiming Liu, Charles Morisset, Volker Stolz
A Component-Based Access Control Monitor. ISoLA (2008)
Naijun Zhan, Eun-Young Kang, Zhiming Liu
Component Publications and Compositions. UTP (2008)
Leila Silva, Augusto Sampaio, Zhiming Liu
Laws of Object-Orientation with Reference Semantics. SEFM (2008)
Xiaoshan Li, Zhiming Liu
Prototyping System Requirements Model. Electron. Notes Theor. Comput. Sci. 207 (2008)
Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu
Validation of requirement models by automatic prototyping. Innov. Syst. Softw. Eng. 4 (3) (2008)

Zhiming Liu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Zhiming Liu