default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhiming Liu 0001
刘志明
Person information
- affiliation: Northwestern Polytechnical University, Xian, China
- affiliation (former): Southwest University, China
- affiliation (former): Birmingham City University
- affiliation (former): United Nations University, Macao
- unicode name: 刘志明
Other persons with the same name
- Zhiming Liu — disambiguation page
- Zhiming Liu 0002 — New Jersey Institute of Technology, USA
- Zhiming Liu 0003 — Nanhua University, Hengyang, Republic of China
- Zhiming Liu 0004 — School of Economics and Management, Beihang University, Beijing, China
- Zhiming Liu 0005 — Sichuan University, Chengdu, China
- Zhiming Liu 0006 — Northeast Normal University, Changchun, China
- Zhiming Liu 0007 — Hubei Univ. of Educ., Wuhan
- Zhiming Liu 0008 — Zhengzhou University
- Zhiming Liu 0009 — University of Nevada, Reno, USA
2020 – today
- 2025
[e20]Jonathan P. Bowen
, Cláudio Gomes, Zhiming Liu:
Engineering Trustworthy Software Systems - 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures. Lecture Notes in Computer Science 15584, Springer 2025, ISBN 978-981-96-4655-5 [contents]- 2024
- [j49]Xian Mo, Jun Pang, Zhiming Liu:
Deep autoencoder architecture with outliers for temporal attributed network embedding. Expert Syst. Appl. 240: 122596 (2024) - [j48]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): 13 (2024) - [j47]Yuanrui Zhang, Zhiming Liu:
A dynamic logic with branching modalities. J. Log. Algebraic Methods Program. 136: 100921 (2024) - [j46]Bo Liu, Shmuel S. Tyszberowicz, Zhiming Liu:
The rCOS framework for multi-dimensional separation of concerns in model-driven engineering. J. Syst. Archit. 156: 103287 (2024) - [j45]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: 4897-4913 (2024) - [j44]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): 1683-1697 (2024) - [c105]Xia Zeng, Banglong Liu, Zhenbing Zeng, Zhiming Liu, Zhengfeng Yang:
Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation. DAC 2024: 283:1-283:6 - [c104]Guisen Wu, Zhiming Liu, Jun Pang:
Observability of Boolean Control Networks: New Definition and Verification Algorithm. ICFEM 2024: 278-296 - [c103]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 - [c102]Zhiming Liu, Jim Woodcock, Jonathan P. Bowen:
From Logic to Programming. SETSS 2024: 7-67 - [c101]Chao Wang, Peng Wu, Gustavo Petri, Qiaowen Jia, Youlin He, Yi Lv, Zhiming Liu:
Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects. SETTA 2024: 236-255 - 2023
- [j43]Fengxiang Zhang, Zhiming Liu, Qin Wu, Sumei Wang, Dandi Ma:
Efficient schedulability analysis of hierarchical EDF scheduling with resource sharing. J. Syst. Archit. 135: 102804 (2023) - [j42]Wei Zhang, Quan Sun, Chao Wang, Zhiming Liu:
Towards correctness proof for hybrid Simulink block diagrams. J. Syst. Archit. 141: 102922 (2023) - [j41]Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu:
A contract-based semantics and refinement for hybrid Simulink block diagrams. J. Syst. Archit. 143: 102963 (2023) - [j40]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: 102989 (2023) - [c100]Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu:
Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers. AAAI 2023: 15278-15286 - [c99]Zhiming Liu:
Linking Formal Methods in Software Development - A Reflection on the Development of rCOS. Theories of Programming and Formal Methods 2023: 52-84 - [c98]Hanyue Chen, Yu Su, Miaomiao Zhang, Zhiming Liu, Junri Mi:
Learning Assumptions for Compositional Verification of Timed Automata. CAV (1) 2023: 40-61 - [c97]Zhiming Liu, Jiadong Teng, Bo Liu:
Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories. FACS 2023: 168-193 - [c96]Jingqi Wang, Jiajie Peng, Zhiming Liu, Hengjun Zhao:
HQProtoPNet: An Evidence-Based Model for Interpretable Image Recognition. IJCNN 2023: 1-8 - [c95]Dapeng Yan, Zhipeng Gao, Zhiming Liu:
A Closer Look at Different Difficulty Levels Code Generation Abilities of ChatGPT. ASE 2023: 1887-1898 - [c94]Zhiming Liu, Jiadong Teng, Bo Liu:
Multi-dimensional Abstraction and Decomposition for Separation of Concerns. SETTA 2023: 152-170 - 2022
- [j39]Xian Mo, Jun Pang, Zhiming Liu:
THS-GWNN: a deep learning framework for temporal network link prediction. Frontiers Comput. Sci. 16(2): 162304 (2022) - [j38]Wei Zhao, Rui Li, Wanwei Liu, Wei Dong, Zhiming Liu:
Probabilistic synthesis against GR(1) winning condition. Frontiers Comput. Sci. 16(3): 162203 (2022) - [j37]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): 164407 (2022) - [j36]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): 453-483 (2022) - [j35]Dapeng Yan, Kui Liu, Yuqing Niu, Li Li, Zhe Liu, Zhiming Liu, Jacques Klein, Tegawendé F. Bissyandé:
Crex: Predicting patch correctness in automated repair of C programs through transfer learning of execution semantics. Inf. Softw. Technol. 152: 107043 (2022) - [j34]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: e1094 (2022) - [c93]Yike Cheng, Ji-Le Jiang, Ning Zhang, Hengjun Zhao, Zhiming Liu:
Automatic Lumbar Vertebra Landmark Localization and Segmentation for Pedicle Screw Placement. ICPR 2022: 4263-4269 - [c92]Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu:
Human-Cyber-Physical Automata and Their Synthesis. ICTAC 2022: 36-41 - [c91]Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu:
A Contract-Based Semantics and Refinement for Simulink. SETTA 2022: 134-148 - [c90]Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu:
Decidability of Liveness for Concurrent Objects on the TSO Memory Model. SETTA 2022: 149-165 - [c89]Yu Liu, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu:
iTrustEval: A framework for software trustworthiness evaluation with an intelligent AHP-based method. SMC 2022: 1778-1785 - [e19]Helmut Seidl, Zhiming Liu, Corina S. Pasareanu:
Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings. Lecture Notes in Computer Science 13572, Springer 2022, ISBN 978-3-031-17714-9 [contents] - 2021
- [j33]Xian Mo, Jun Pang, Zhiming Liu:
Effective Link Prediction with Topological and Temporal Information using Wavelet Neural Network Embedding. Comput. J. 64(3): 325-336 (2021) - [j32]Xiaoping Chen, Zhiming Liu, Ji Wang, Jim Woodcock:
Editorial. Formal Aspects Comput. 33(3): 299-300 (2021) - [j31]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning safe neural network controllers with barrier certificates. Formal Aspects Comput. 33(3): 437-455 (2021) - [j30]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: 102546 (2021) - [j29]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): 46:1-46:25 (2021) - [c88]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: 467-490 - [c87]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: 46:1-46:10 - [c86]Dapeng Yan, Yuqing Niu, Kui Liu, Zhe Liu, Zhiming Liu, Tegawendé F. Bissyandé:
Estimating the Attack Surface from Residual Vulnerabilities in Open Source Software Supply Chain. QRS 2021: 493-502 - [i10]Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu:
Decidability of Liveness on the TSO Memory Model. CoRR abs/2107.09930 (2021) - 2020
- [j28]Zhiming Liu, Ji Wang:
Human-cyber-physical systems: concepts, challenges, and research opportunities. Frontiers Inf. Technol. Electron. Eng. 21(11): 1535-1553 (2020) - [j27]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): 13:1-13:27 (2020) - [j26]Yilong Yang, Xiaoshan Li, Wei Ke, Zhiming Liu:
Automated Prototype Generation From Formal Requirements Model. IEEE Trans. Reliab. 69(2): 632-656 (2020) - [c85]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu:
Synthesizing barrier certificates using neural networks. HSCC 2020: 25:1-25:11 - [c84]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning Safe Neural Network Controllers with Barrier Certificates. SETTA 2020: 177-185 - [c83]Xian Mo, Jun Pang, Zhiming Liu:
Higher-Order Graph Convolutional Embedding for Temporal Networks. WISE (1) 2020: 3-15 - [e18]Jonathan P. Bowen, Zhiming Liu, Zili Zhang:
Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures. Lecture Notes in Computer Science 12154, Springer 2020, ISBN 978-3-030-55088-2 [contents] - [i9]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 abs/2002.03328 (2020) - [i8]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning Safe Neural Network Controllers with Barrier Certificates. CoRR abs/2009.09826 (2020)
2010 – 2019
- 2019
- [c82]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: 11418-11427 - [c81]Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke:
RM2PT: a tool for automated prototype generation from requirements model. ICSE (Companion Volume) 2019: 59-62 - [c80]Zhiming Liu, Jonathan P. Bowen, Bo Liu, Shmuel S. Tyszberowicz, Tingting Zhang:
Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. SETSS 2019: 159-219 - [e17]Jonathan P. Bowen, Zhiming Liu, Zili Zhang:
Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures. Lecture Notes in Computer Science 11430, Springer 2019, ISBN 978-3-030-17600-6 [contents] - [i7]Guisen Wu, Liyun Dai, Zhiming Liu, Taolue Chen, Jun Pang, Hongyang Qu:
Online Observability of Boolean Control Networks. CoRR abs/1903.07462 (2019) - 2018
- [j25]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: 46949-46961 (2018) - [c79]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: 145-152 - [c78]Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu:
On Security in Encrypted Computing. ICICS 2018: 192-211 - [c77]Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu:
Identifying Microservices Using Functional Decomposition. SETTA 2018: 50-65 - [c76]Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu:
Superscalar Encrypted RISC: The Measure of a Secret Computer. TrustCom/BigDataSE 2018: 1336-1341 - [e16]Jonathan P. Bowen, Zhiming Liu, Zili Zhang:
Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures. Lecture Notes in Computer Science 11174, Springer 2018, ISBN 978-3-030-02927-2 [contents] - [i6]Yilong Yang, Xiaoshan Li, Nafees Qamar, Wei Ke, Zhiming Liu:
MedShare: Medical Resource Sharing among Autonomous Healthcare Providers. CoRR abs/1803.05353 (2018) - [i5]Liyun Dai, Bo Liu, Zhiming Liu, Taolue Chen:
Parameter Synthesis Problems for Parametric Timed Automata. CoRR abs/1808.06792 (2018) - [i4]Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke, Quan Zu, Xiaohong Chen:
Automated Prototype Generation from Formal Requirements Model. CoRR abs/1808.10657 (2018) - [i3]Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen:
Parameter Synthesis Problems for one parametric clock Timed Automata. CoRR abs/1809.07177 (2018) - 2017
- [j24]Xuandong Li, Zhiming Liu:
Editorial. Formal Aspects Comput. 29(4): 581-582 (2017) - [c75]Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu:
Encrypted computing: Speed, security and provable obfuscation against insiders. ICCST 2017: 1-6 - [c74]Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu:
On Obfuscating Compilation for Encrypted Computing. SECRYPT 2017: 247-254 - [p3]Xin Chen, Zhiming Liu:
Towards Interface-Driven Design of Evolving Component-Based Architectures. Provably Correct Systems 2017: 121-148 - [e15]Jonathan P. Bowen, Zhiming Liu, Zili Zhang:
Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Lecture Notes in Computer Science 10215, 2017, ISBN 978-3-319-56840-9 [contents] - 2016
- [j23]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): 1810 (2016) - [c73]Nafees Qamar, Yilong Yang, András Nádas, Zhiming Liu:
Querying Medical Datasets While Preserving Privacy. EUSPN/ICTH 2016: 324-331 - [c72]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: 721-738 - [c71]Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu:
A Practical Encrypted Microprocessor. SECRYPT 2016: 239-250 - [e14]Zhiming Liu, Zili Zhang:
Engineering Trustworthy Software Systems - First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures. Lecture Notes in Computer Science 9506, Springer 2016, ISBN 978-3-319-29627-2 [contents] - 2015
- [j22]José Luiz Fiadeiro, Zhiming Liu:
Formal Aspects of Component Software (FACS 2013). Sci. Comput. Program. 113: 221-222 (2015) - [c70]Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu:
Regular Property Guided Dynamic Symbolic Execution. ICSE (1) 2015: 643-653 - [e13]Xuandong Li, Zhiming Liu, Wang Yi:
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Lecture Notes in Computer Science 9409, Springer 2015, ISBN 978-3-319-25941-3 [contents] - [i2]Nafees Qamar, Yilong Yang, András Nádas, Zhiming Liu, Janos Sztipanovits:
Anonymously Analyzing Clinical Datasets. CoRR abs/1501.05916 (2015) - 2014
- [j21]Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz:
Automated transformations from UML behavior models to contracts. Sci. China Inf. Sci. 57(12): 1-17 (2014) - [j20]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: 255-288 (2014) - [c69]Nafees Qamar, Yilong Yang, András Nádas, Zhiming Liu, Janos Sztipanovits:
A Tool for Analyzing Clinical Datasets as Blackbox. FHIES/SEHC 2014: 222-238 - [c68]Zhiming Liu, Xiaohong Chen:
Model-Driven Design of Object and Component Systems. SETSS 2014: 152-255 - [c67]Esther Palomar, Zhiming Liu, Jonathan P. Bowen, Yan Zhang, Sabita Maharjan:
Component-based modelling for sustainable and scalable smart meter networks. WoWMoM 2014: 1-6 - [e12]José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue:
Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8348, Springer 2014, ISBN 978-3-319-07601-0 [contents] - 2013
- [j19]Xiaohong Chen, Jing Liu, Zhiming Liu:
Requirements monitoring for Internetware: an interaction based approach. Sci. China Inf. Sci. 56(8): 1-15 (2013) - [j18]Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao:
A graph-based generic type system for object-oriented programs. Frontiers Comput. Sci. 7(1): 109-134 (2013) - [j17]Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang:
A framework for automated and certified refinement steps. Innov. Syst. Softw. Eng. 9(1): 3-16 (2013) - [c66]Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz:
Support Formal Component-Based Development with UML Profile. Australian Software Engineering Conference 2013: 191-200 - [c65]Liang Zhao, Shuling Wang, Zhiming Liu:
Graph-Based Object-Oriented Hoare Logic. Theories of Programming and Formal Methods 2013: 374-393 - [c64]Zhiming Liu, Nafees Qamar, Jie Qian:
A Quantitative Analysis of the Performance and Scalability of De-identification Tools for Medical Data. FHIES 2013: 274-289 - [c63]Stephan Arlt, Zhiming Liu, Martin Schäf:
Reconstructing Paths for Reachable Code. ICFEM 2013: 431-446 - [c62]Ruzhen Dong, Johannes Faber, Wei Ke, Zhiming Liu:
rCOS: Defining Meanings of Component-Based Software Architectures. ICTAC Training School on Software Engineering 2013: 1-66 - [c61]Zhiming Liu, Nafees Qamar, Jie Qian:
An Automated Routine Childhood Immunization Approach using openEHR. MedInfo 2013: 1075 - [c60]Han Ei Chew, Johannes Faber, Zhiming Liu, Vanessa Madera, Nafees Qamar:
Actualizing a Mobile Integrated System for Geriatric Care. MedInfo 2013: 1109 - [e11]Zhiming Liu, Jim Woodcock, Huibiao Zhu:
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 8051, Springer 2013, ISBN 978-3-642-39697-7 [contents] - [e10]Zhiming Liu, Jim Woodcock, Huibiao Zhu:
Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Lecture Notes in Computer Science 8049, Springer 2013, ISBN 978-3-642-39717-2 [contents] - [e9]Zhiming Liu, Jim Woodcock, Huibiao Zhu:
Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures. Lecture Notes in Computer Science 8050, Springer 2013, ISBN 978-3-642-39720-2 [contents] - 2012
- [j16]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): 17-39 (2012) - [j15]Zhiming Liu, Abhik Roychoudhury:
Relating software validation to technology trends. Int. J. Softw. Tools Technol. Transf. 14(6): 631-638 (2012) - [j14]Zhenbang Chen, Zhiming Liu, Ji Wang:
Failure-divergence semantics and refinement of long running transactions. Theor. Comput. Sci. 455: 31-65 (2012) - [c59]Ruzhen Dong, Johannes Faber, Zhiming Liu, Jirí Srba, Naijun Zhan, Jiaqi Zhu:
Unblockable compositions of software components. CBSE 2012: 103-108 - [c58]Cristiano Bertolini, Zhiming Liu, Jirí Srba:
Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. FHIES 2012: 19-36 - [c57]Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu:
Automated Reviewing of Healthcare Security Policies. FHIES 2012: 176-193 - [c56]Tianhua Xu, Zhiming Liu, Tao Tang, Wei Zheng, Lin Zhao:
Component Based Design of Fault Tolerant Devices in Cyber Physical System. ISORC Workshops 2012: 37-42 - [e8]Zhiming Liu, Alan Wassyng:
Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7151, Springer 2012, ISBN 978-3-642-32354-6 [contents] - 2011
- [j13]Zhiming Liu, Jim Woodcock:
Editorial. Formal Aspects Comput. 23(2): 151 (2011) - [c55]Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz:
Interactive Transformations from Object-Oriented Models to Component-Based Models. FACS 2011: 97-114 - [c54]Zhenbang Chen, Zhiming Liu, Ji Wang:
Failure-Divergence Refinement of Compensating Communicating Processes. FM 2011: 262-277 - [i1]Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang:
A Framework for Automated and Certified Refinement Steps. CoRR abs/1112.0215 (2011) - 2010
- [j12]Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz:
Robustness testing for software components. Sci. Comput. Program. 75(10): 879-897 (2010) - [c53]Roberto Bruni, Zhiming Liu, Liang Zhao:
Graph Representation of Sessions and Pipelines for Structured Service Programming. FACS 2010: 259-276 - [c52]Zhenbang Chen, Zhiming Liu:
An Extended cCSP with Stable Failures Semantics. ICTAC 2010: 121-136 - [c51]Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin:
AutoPA: Automatic Prototyping from Requirements. ISoLA (1) 2010: 609-624 - [c50]Zhiming Liu, Charles Morisset, Shuling Wang:
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs. SBMF 2010: 258-273
2000 – 2009
- 2009
- [j11]Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu:
Graph transformations for object-oriented refinement. Formal Aspects Comput. 21(1-2): 103-131 (2009) - [j10]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): 168-196 (2009) - [c49]Zhiming Liu, Charles Morisset, Volker Stolz:
rCOS: Theory and Tool for Component-Based Model Driven Development. FSEN 2009: 62-80 - [c48]Miaomiao Zhang, Zhiming Liu, Naijun Zhan:
Model Checking Linear Duration Invariants of Networks of Automata. FSEN 2009: 244-259 - [c47]Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao:
A Graph-Based Operational Semantics of OO Programs. ICFEM 2009: 347-366 - [p2]Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn:
Design and Verification of Fault-Tolerant Components. Methods, Models and Tools for Fault Tolerance 2009: 57-84 - [e7]Zhiming Liu, Anders P. Ravn:
Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Lecture Notes in Computer Science 5799, Springer 2009, ISBN 978-3-642-04760-2 [contents] - 2008
- [j9]Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu:
Validation of requirement models by automatic prototyping. Innov. Syst. Softw. Eng. 4(3): 241-248 (2008) - [c46]Miaomiao Zhang, Dang Van Hung, Zhiming Liu:
Verification of Linear Duration Invariants by Model Checking CTL Properties. ICTAC 2008: 395-409 - [c45]Long Quan, Zongyan Qiu, Zhiming Liu:
Formal Use of Design Patterns and Refactoring. ISoLA 2008: 323-338 - [c44]Zhiming Liu, Charles Morisset, Volker Stolz:
A Component-Based Access Control Monitor. ISoLA 2008: 339-353 - [c43]Leila Silva, Augusto Sampaio, Zhiming Liu:
Laws of Object-Orientation with Reference Semantics. SEFM 2008: 217-226 - [c42]Naijun Zhan, Eun-Young Kang, Zhiming Liu:
Component Publications and Compositions. UTP 2008: 238-257 - [c41]Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li:
State Based Robustness Testing for Components. FACS 2008: 173-188 - [p1]Hu Jun, Zhiming Liu, G. M. Reed, J. W. Sanders:
Ensemble Engineering and Emergence. Software-Intensive Systems and New Computing Paradigms 2008: 162-178 - 2007
- [j8]Jorge Cuéllar, Zhiming Liu:
SoSyM Special Section on Software Engineering and Formal Methods. Softw. Syst. Model. 6(1): 37-38 (2007) - [c40]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: 83-114 - [c39]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: 116-145 - [c38]Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan:
A Model of Component-Based Programming. FSEN 2007: 191-206 - [c37]Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn:
A Refinement Driven Component-Based Design. ICECCS 2007: 277-289 - [c36]Xin Chen, Zhiming Liu, Vladimir Mencl:
Separation of Concerns and Consistent Integration in Requirements Modelling. SOFSEM (1) 2007: 819-831 - [c35]Xiaoshan Li, Zhiming Liu:
Prototyping System Requirements Model. TTSS 2007: 17-32 - [e6]Chris George, Zhiming Liu, Jim Woodcock:
Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures. Lecture Notes in Computer Science 4710, Springer 2007, ISBN 978-3-540-74963-9 [contents] - [e5]Cliff B. Jones, Zhiming Liu, Jim Woodcock:
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. Lecture Notes in Computer Science 4700, Springer 2007, ISBN 978-3-540-75220-2 [contents] - [e4]Cliff B. Jones, Zhiming Liu, Jim Woodcock:
Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4711, Springer 2007, ISBN 978-3-540-75290-5 [contents] - 2006
- [j7]Jing Liu, Jifeng He, Zhiming Liu:
A strategy for service realization in service-oriented design. Sci. China Ser. F Inf. Sci. 49(6): 864-884 (2006) - [j6]Jifeng He, Xiaoshan Li, Zhiming Liu:
rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2): 109-142 (2006) - [c34]Joseph C. Okika, Anders P. Ravn, Zhiming Liu, Lokesh Siddalingaiah:
Developing a TTCN-3 Test Harness for Legacy Software. AST 2006: 104-110 - [c33]Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang:
Harnessing Theories for Tool Support. ISoLA 2006: 371-382 - [c32]Xiaojian Liu, Zhiming Liu, Liang Zhao:
Object-Oriented Structure Refinement - A Graph Transformational Approach. Refine@ICFEM 2006: 145-159 - [e3]Zhiming Liu, Luís Soares Barbosa:
Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005. Electronic Notes in Theoretical Computer Science 160, Elsevier 2006 [contents] - [e2]Zhiming Liu, Jifeng He:
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 4260, Springer 2006, ISBN 3-540-47460-9 [contents] - 2005
- [c31]Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He:
Consistent Code Generation from UML Models. Australian Software Engineering Conference 2005: 23-30 - [c30]Xiaoshan Li, Zhiming Liu, Jifeng He:
Consistency Checking of UML Requirements. ICECCS 2005: 411-420 - [c29]Jifeng He, Xiaoshan Li, Zhiming Liu:
Component-Based Software Engineering. ICTAC 2005: 70-95 - [c28]Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He:
POST: A Case Study for an Incremental Development in rCOS. ICTAC 2005: 485-500 - [c27]Zhiming Liu, R. Venkatesh:
Methods and Tools for Formal Software Engineering. VSTTE 2005: 31-41 - [c26]Bernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed:
Integrating Theories and Techniques for Program Modelling, Design and Verification. VSTTE 2005: 291-300 - [c25]Zhiming Liu, Luís Soares Barbosa:
Preface. FACS 2005: 1-2 - [c24]Jifeng He, Xiaoshan Li, Zhiming Liu:
A Theory of Reactive Components. FACS 2005: 173-195 - [e1]Zhiming Liu, Keijiro Araki:
Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3407, Springer 2005, ISBN 3-540-25304-1 [contents] - 2004
- [j5]Zhiming Liu, Anders P. Ravn, Xiaoshan Li:
Unifying proof methodologies of duration calculus and timed linear temporal logic. Formal Aspects Comput. 16(2): 140-154 (2004) - [c23]Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin:
A Relational Model for Object-Oriented Designs. APLAS 2004: 415-436 - [c22]Xiaoshan Li, Zhiming Liu, Jifeng He:
A Formal Semantics of UML Sequence Diagram. Australian Software Engineering Conference 2004: 168-177 - [c21]Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li:
Linking UML Models of Design and Requirement. Australian Software Engineering Conference 2004: 329-338 - [c20]Bhim Prasad Upadhyaya, Zhiming Liu:
Formal Support for Development of JavaBeans? Component Systems. COMPSAC 2004: 23-28 - [c19]Zhiming Liu, Jifeng He, Xiaoshan Li:
rCOS: Refinement of Component and Object Systems. FMCO 2004: 183-221 - [c18]Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long:
Generating a Prototype from a UML Model of System Requirements. ICDCIT 2004: 255-265 - [c17]Yifeng Chen, Zhiming Liu:
From Durational Specifications to TLA Designs of Timed Automata. ICFEM 2004: 464-482 - [c16]Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li:
A Predicative Semantic Model for Integrating UML Models. ICTAC 2004: 170-186 - [c15]Zhiming Liu:
A Summary of the Tutorials at ICTAC 2004. ICTAC 2004: 557-560 - [c14]Zhiming Liu, Jifeng He, Xiaoshan Li:
Contract Oriented Development of Component Software. IFIP TCS 2004: 349-366 - [c13]Yifeng Chen, Zhiming Liu:
Integrating Temporal Logics. IFM 2004: 402-420 - [c12]Zhiming Liu, Mathai Joseph:
Real-Time and Fault-Tolerant Systems. PSSE 2004: 156-219 - [c11]Zhiming Liu, Jifeng He, Xiaoshan Li:
Towards a Rigorous Approach to UML-Based Development. SBMF 2004: 57-77 - 2003
- [c10]Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen:
A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ICFEM 2003: 641-664 - [c9]Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li:
Unifying Views of UML. CVUML 2003: 95-127 - 2002
- [c8]Jifeng He, Zhiming Liu, Xiaoshan Li:
Towards a Refinement Calculus for Object Systems. IEEE ICCI 2002: 69-76 - [c7]Zhiming Liu, Xiaoshan Li, Jifeng He:
Using Transition Systems to Unify UML Models. ICFEM 2002: 535-547 - 2001
- [j4]Zhiming Liu, Mathai Joseph:
Verification, refinement and scheduling of real-time programs. Theor. Comput. Sci. 253(1): 119-152 (2001) - [c6]Xiaoshan Li, Zhiming Liu, Zhensheng Guo:
Formal Object-Oriented Analysis and Design of an Online Ticketing System. APSEC 2001: 259- - [c5]Xiaoshan Li, Zhiming Liu, Jifeng He:
Formal and Use-Case Driven Requirement Analysis in UML. COMPSAC 2001: 215-224
1990 – 1999
- 1999
- [j3]Zhiming Liu, Mathai Joseph:
Specification and Verification of Fault-Tolerance, Timing, and Scheduling. ACM Trans. Program. Lang. Syst. 21(1): 46-89 (1999) - 1998
- [c4]Zhiming Liu, Anders P. Ravn, Xiaoshan Li:
Verifying duration properties of timed transition systems. PROCOMET 1998: 327-345 - 1997
- [c3]Zhiming Liu, Mathai Joseph:
Formalizing Real-Time Scheduling as Program Refinement. ARTS 1997: 295-309 - 1996
- [c2]Zhiming Liu, Mathai Joseph:
Verification of Fault Tolerance and Real Time. FTCS 1996: 220-229 - 1995
- [j2]Zhiming Liu, Mathai Joseph, Tomasz Janowski:
Verification of Schedulability for Real-Time Programs. Formal Aspects Comput. 7(5): 510-532 (1995) - 1994
- [c1]Zhiming Liu, Mathai Joseph:
Stepwise Development of Fault-Tolerant Reactive Systems. FTRTFT 1994: 529-546 - 1992
- [j1]Zhiming Liu, Mathai Joseph:
Transformation of Programs for Fault-Tolerance. Formal Aspects Comput. 4(5): 442-469 (1992) - 1991
- [b1]Zhiming Liu:
Fault-tolerant programming by transformations. University of Warwick, UK, 1991
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-17 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
