Zhiming Liu - RankMe

201 papers A* 6A 1B 15C 30Misc 8Journal 65Unranked 59

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects. CoRR Chao Wang, Ruijia Li, Yang Zhou, Peng Wu, Yi Lv, Jianwei Liao, Jim Woodcock, Zhiming Liu
2026	A*	`conf`	BadThink: Triggered Overthinking Attacks on Chain-of-Thought Reasoning in Large Language Models. AAAI Shuaitong Liu, Renjue Li, Lijia Yu, Lijun Zhang, Zhiming Liu, Gaojie Jin
2026	J	`jnl`	Decidability of Liveness on the TSO Memory Model. Formal Aspects Comput. Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Xinhang Song, Zhiming Liu
2026	J	`jnl`	GraphRAG-ASCOC: A lightweight framework for adaptive synonym-aware clustering and ontology completion. Expert Syst. Appl. Duyun Wang, Shmuel S. Tyszberowicz, Peilin Han, Zhiming Liu, Mingyue Zhang, Bo Liu
2026	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings ICTAC Zhiming Liu, Adnane Saoud, Heike Wehrheim
2025	C	`conf`	Automating Requirements Modelling with LLMs: An Iterative Contrastive Optimisation Approach. APSEC Chenxi Lv, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu
2025	J	`jnl`	BadThink: Triggered Overthinking Attacks on Chain-of-Thought Reasoning in Large Language Models. CoRR Shuaitong Liu, Renjue Li, Lijia Yu, Lijun Zhang, Zhiming Liu, Gaojie Jin
2025	J	`jnl`	Clean Code In Practice: Challenges and Opportunities. CoRR Dapeng Yan, Wenjie Yang, Kui Liu, Zhiming Liu, Zhikuang Cai
2025	—	`ed.`	Engineering Trustworthy Software Systems - 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures SETSS Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu
2025	B	`conf`	Fair and Efficient Federated Learning Client Selection via Dynamic Contribution Evaluation. IJCNN Zhengnan Zhang, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu
2025	A	`conf`	Infiltrated Selfish Mining: Think Win-Win to Escape Dilemmas. AsiaCCS Xuelian Cao, Zheng Yang, Tao Xiang, Jianting Ning, Yuhan Liu, Zhiming Liu, Jianying Zhou
2025	A*	`conf`	Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates. DAC Xia Zeng, Mengxin Ren, Zhiming Liu, Zhengfeng Yang
2025	C	`conf`	Unified Modelling and Consistency Verification of UML Multi-View Models Using Alloy. APSEC Yihui Guo, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu
2024	J	`jnl`	A dynamic logic with branching modalities. J. Log. Algebraic Methods Program. Yuanrui Zhang, Zhiming Liu
2024	J	`jnl`	Deep autoencoder architecture with outliers for temporal attributed network embedding. Expert Syst. Appl. Xian Mo, Jun Pang, Zhiming Liu
2024	J	`jnl`	Dynamic Group Time-Based One-Time Passwords. IEEE Trans. Inf. Forensics Secur. Xuelian Cao, Zheng Yang, Jianting Ning, Chenglu Jin, Rongxing Lu, Zhiming Liu, Jianying Zhou
2024	—	`conf`	From Logic to Programming. SETSS Zhiming Liu, Jim Woodcock, Jonathan P. Bowen
2024	J	`jnl`	Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models. IEEE Trans. Knowl. Data Eng. Yufeng Zhang, Jialu Pan, Wanwei Liu, Zhenbang Chen, Kenli Li, Ji Wang, Zhiming Liu, Hongmei Wei
2024	—	`conf`	Mono2MS: Deep Fusion of Multi-Source Features for Partitioning Monolith into Microservices. Internetware Geng Chen, Chenlin Li, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu
2024	C	`conf`	Observability of Boolean Control Networks: New Definition and Verification Algorithm. ICFEM Guisen Wu, Zhiming Liu, Jun Pang
2024	A*	`conf`	Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation. DAC Xia Zeng, Banglong Liu, Zhenbing Zeng, Zhiming Liu, Zhengfeng Yang
2024	J	`jnl`	Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints. Formal Aspects Comput. Yuanrui Zhang, Frédéric Mallet, Min Zhang, Zhiming Liu
2024	J	`jnl`	The rCOS framework for multi-dimensional separation of concerns in model-driven engineering. J. Syst. Archit. Bo Liu, Shmuel S. Tyszberowicz, Zhiming Liu
2024	Misc	`conf`	Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects. SETTA Chao Wang, Peng Wu, Gustavo Petri, Qiaowen Jia, Youlin He, Yi Lv, Zhiming Liu
2024	J	`jnl`	VPFL: Enabling verifiability and privacy in federated learning with zero-knowledge proofs. Knowl. Based Syst. Juan Ma, Hao Liu, Mingyue Zhang, Zhiming Liu
2023	A*	`conf`	A Closer Look at Different Difficulty Levels Code Generation Abilities of ChatGPT. ASE Dapeng Yan, Zhipeng Gao, Zhiming Liu
2023	J	`jnl`	A contract-based semantics and refinement for hybrid Simulink block diagrams. J. Syst. Archit. Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu
2023	J	`jnl`	Efficient schedulability analysis of hierarchical EDF scheduling with resource sharing. J. Syst. Archit. Fengxiang Zhang, Zhiming Liu, Qin Wu, Sumei Wang, Dandi Ma
2023	—	`conf`	Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories. FACS Zhiming Liu, Jiadong Teng, Bo Liu
2023	B	`conf`	HQProtoPNet: An Evidence-Based Model for Interpretable Image Recognition. IJCNN Jingqi Wang, Jiajie Peng, Zhiming Liu, Hengjun Zhao
2023	—	`conf`	Learning Assumptions for Compositional Verification of Timed Automata. CAV (1) Hanyue Chen, Yu Su, Miaomiao Zhang, Zhiming Liu, Junri Mi
2023	—	`conf`	Linking Formal Methods in Software Development - A Reflection on the Development of rCOS. Theories of Programming and Formal Methods Zhiming Liu
2023	Misc	`conf`	Multi-dimensional Abstraction and Decomposition for Separation of Concerns. SETTA Zhiming Liu, Jiadong Teng, Bo Liu
2023	A*	`conf`	Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers. AAAI Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu
2023	J	`jnl`	Towards a model of human-cyber-physical automata and a synthesis framework for control policies. J. Syst. Archit. Xiaochen Tang, Miaomiao Zhang, Wanwei Liu, Bowen Du, Zhiming Liu
2023	J	`jnl`	Towards correctness proof for hybrid Simulink block diagrams. J. Syst. Archit. Wei Zhang, Quan Sun, Chao Wang, Zhiming Liu
2022	Misc	`conf`	A Contract-Based Semantics and Refinement for Simulink. SETTA Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu
2022	J	`jnl`	A dynamic logic for verification of synchronous models based on theorem proving. Frontiers Comput. Sci. Yuanrui Zhang, Frédéric Mallet, Zhiming Liu
2022	J	`jnl`	A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition. PeerJ Comput. Sci. Wei Zhao, Zhiming Liu
2022	B	`conf`	Automatic Lumbar Vertebra Landmark Localization and Segmentation for Pedicle Screw Placement. ICPR Yike Cheng, Ji-Le Jiang, Ning Zhang, Hengjun Zhao, Zhiming Liu
2022	J	`jnl`	Crex: Predicting patch correctness in automated repair of C programs through transfer learning of execution semantics. Inf. Softw. Technol. Dapeng Yan, Kui Liu, Yuqing Niu, Li Li, Zhe Liu, Zhiming Liu, Jacques Klein, Tegawendé F. Bissyandé
2022	Misc	`conf`	Decidability of Liveness for Concurrent Objects on the TSO Memory Model. SETTA Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu
2022	C	`conf`	Human-Cyber-Physical Automata and Their Synthesis. ICTAC Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu
2022	J	`jnl`	Probabilistic synthesis against GR(1) winning condition. Frontiers Comput. Sci. Wei Zhao, Rui Li, Wanwei Liu, Wei Dong, Zhiming Liu
2022	J	`jnl`	Safe Reinforcement Learning Algorithm and Its Application in Intelligent Control for CPS. Int. J. Softw. Informatics Hengjun Zhao, Quanzhong Li, Xia Zeng, Zhiming Liu
2022	J	`jnl`	THS-GWNN: a deep learning framework for temporal network link prediction. Frontiers Comput. Sci. Xian Mo, Jun Pang, Zhiming Liu
2022	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings ICTAC Helmut Seidl, Zhiming Liu, Corina S. Pasareanu
2022	B	`conf`	iTrustEval: A framework for software trustworthiness evaluation with an intelligent AHP-based method. SMC Yu Liu, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu
2021	J	`jnl`	A clock-based dynamic logic for schedulability analysis of CCSL specifications. Sci. Comput. Program. Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu
2021	—	`conf`	An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation. CAV (1) Zhengfeng Yang, Yidan Zhang, Wang Lin, Xia Zeng, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu
2021	J	`jnl`	Decidability of Liveness on the TSO Memory Model. CoRR Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu
2021	J	`jnl`	Editorial. Formal Aspects Comput. Xiaoping Chen, Zhiming Liu, Ji Wang, Jim Woodcock
2021	J	`jnl`	Effective Link Prediction with Topological and Temporal Information using Wavelet Neural Network Embedding. Comput. J. Xian Mo, Jun Pang, Zhiming Liu
2021	C	`conf`	Estimating the Attack Surface from Residual Vulnerabilities in Open Source Software Supply Chain. QRS Dapeng Yan, Yuqing Niu, Kui Liu, Zhe Liu, Zhiming Liu, Tegawendé F. Bissyandé
2021	B	`conf`	Intra-page Cache Update in SLC-mode with Partial Programming in High Density SSDs. ICPP Jun Li, Minjun Li, Zhigang Cai, François Trahay, Mohamed Wahib, Balazs Gerofi, Zhiming Liu, Min Huang, Jianwei Liao
2021	J	`jnl`	Learning safe neural network controllers with barrier certificates. Formal Aspects Comput. Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
2021	J	`jnl`	Low I/O Intensity-aware Partial GC Scheduling to Reduce Long-tail Latency in SSDs. ACM Trans. Archit. Code Optim. Zhibing Sha, Jun Li, Lihao Song, Jiewen Tang, Min Huang, Zhigang Cai, Lianju Qian, Jianwei Liao, Zhiming Liu
2020	J	`jnl`	Automated Prototype Generation From Formal Requirements Model. IEEE Trans. Reliab. Yilong Yang, Xiaoshan Li, Wei Ke, Zhiming Liu
2020	—	`ed.`	Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures SETSS Jonathan P. Bowen, Zhiming Liu, Zili Zhang
2020	—	`conf`	Higher-Order Graph Convolutional Embedding for Temporal Networks. WISE (1) Xian Mo, Jun Pang, Zhiming Liu
2020	J	`jnl`	Human-cyber-physical systems: concepts, challenges, and research opportunities. Frontiers Inf. Technol. Electron. Eng. Zhiming Liu, Ji Wang
2020	Misc	`conf`	Learning Safe Neural Network Controllers with Barrier Certificates. SETTA Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
2020	J	`jnl`	Learning Safe Neural Network Controllers with Barrier Certificates. CoRR Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
2020	J	`jnl`	Out-of-Distribution Detection with Distance Guarantee in Deep Generative Models. CoRR Yufeng Zhang, Wanwei Liu, Zhenbang Chen, Ji Wang, Zhiming Liu, Kenli Li, Hongmei Wei, Zuoning Chen
2020	—	`conf`	Synthesizing barrier certificates using neural networks. HSCC Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu
2020	J	`jnl`	Toward Efficient Block Replication Management in Distributed Storage. ACM Trans. Model. Perform. Evaluation Comput. Syst. Jianwei Liao, Zhibing Sha, Zhigang Cai, Zhiming Liu, Kenli Li, Wei-keng Liao, Alok N. Choudhary, Yutaka Ishikawa
2019	—	`ed.`	Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures SETSS Jonathan P. Bowen, Zhiming Liu, Zili Zhang
2019	J	`jnl`	Online Observability of Boolean Control Networks. CoRR Guisen Wu, Liyun Dai, Zhiming Liu, Taolue Chen, Jun Pang, Hongyang Qu
2019	—	`conf`	RM2PT: a tool for automated prototype generation from requirements model. ICSE (Companion Volume) Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke
2019	A*	`conf`	Robustness Verification of Classification Deep Neural Networks via Linear Programming. CVPR Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He
2019	—	`conf`	Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. SETSS Zhiming Liu, Jonathan P. Bowen, Bo Liu, Shmuel S. Tyszberowicz, Tingting Zhang
2018	J	`jnl`	Automated Prototype Generation from Formal Requirements Model. CoRR Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke, Quan Zu, Xiaohong Chen
2018	—	`ed.`	Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures SETSS Jonathan P. Bowen, Zhiming Liu, Zili Zhang
2018	Misc	`conf`	Identifying Microservices Using Functional Decomposition. SETTA Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu
2018	J	`jnl`	MedShare: Medical Resource Sharing among Autonomous Healthcare Providers. CoRR Yilong Yang, Xiaoshan Li, Nafees Qamar, Wei Ke, Zhiming Liu
2018	J	`jnl`	Medshare: A Novel Hybrid Cloud for Medical Resource Sharing Among Autonomous Healthcare Providers. IEEE Access Yilong Yang, Xiaoshan Li, Nafees Qamar, Peng Liu, Wei Ke, Bingqing Shen, Zhiming Liu
2018	C	`conf`	On Security in Encrypted Computing. ICICS Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
2018	J	`jnl`	Parameter Synthesis Problems for Parametric Timed Automata. CoRR Liyun Dai, Bo Liu, Zhiming Liu, Taolue Chen
2018	J	`jnl`	Parameter Synthesis Problems for one parametric clock Timed Automata. CoRR Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen
2018	—	`conf`	Superscalar Encrypted RISC: The Measure of a Secret Computer. TrustCom/BigDataSE Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
2018	—	`conf`	The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing. EuroS&P Workshops Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
2017	J	`jnl`	Editorial. Formal Aspects Comput. Xuandong Li, Zhiming Liu
2017	—	`conf`	Encrypted computing: Speed, security and provable obfuscation against insiders. ICCST Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
2017	—	`ed.`	Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures SETSS Jonathan P. Bowen, Zhiming Liu, Zili Zhang
2017	C	`conf`	On Obfuscating Compilation for Encrypted Computing. SECRYPT Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
2017	—	`ch.`	Towards Interface-Driven Design of Evolving Component-Based Architectures. Provably Correct Systems Xin Chen, Zhiming Liu
2016	B	`conf`	A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems. FM Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu
2016	C	`conf`	A Practical Encrypted Microprocessor. SECRYPT Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu
2016	J	`jnl`	Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems. Sensors Esther Palomar, Xiaohong Chen, Zhiming Liu, Sabita Maharjan, Jonathan P. Bowen
2016	—	`ed.`	Engineering Trustworthy Software Systems - First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures SETSS Zhiming Liu, Zili Zhang
2016	—	`conf`	Querying Medical Datasets While Preserving Privacy. EUSPN/ICTH Nafees Qamar, Yilong Yang, András Nádas, Zhiming Liu
2015	J	`jnl`	Anonymously Analyzing Clinical Datasets. CoRR Nafees Qamar, Yilong Yang, András Nádas, Zhiming Liu, Janos Sztipanovits
2015	Misc	`ed.`	Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings SETTA Xuandong Li, Zhiming Liu, Wang Yi
2015	J	`jnl`	Formal Aspects of Component Software (FACS 2013). Sci. Comput. Program. José Luiz Fiadeiro, Zhiming Liu
2015	—	`conf`	Regular Property Guided Dynamic Symbolic Execution. ICSE (1) Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu
2014	—	`conf`	A Tool for Analyzing Clinical Datasets as Blackbox. FHIES/SEHC Nafees Qamar, Yilong Yang, András Nádas, Zhiming Liu, Janos Sztipanovits
2014	J	`jnl`	A sound and complete theory of graph transformations for service programming with sessions and pipelines. Sci. Comput. Program. Liang Zhao, Roberto Bruni, Zhiming Liu
2014	J	`jnl`	Automated transformations from UML behavior models to contracts. Sci. China Inf. Sci. Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
2014	C	`conf`	Component-based modelling for sustainable and scalable smart meter networks. WoWMoM Esther Palomar, Zhiming Liu, Jonathan P. Bowen, Yan Zhang, Sabita Maharjan
2014	—	`ed.`	Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers FACS José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
2014	—	`conf`	Model-Driven Design of Object and Component Systems. SETSS Zhiming Liu, Xiaohong Chen
2013	—	`conf`	A Quantitative Analysis of the Performance and Scalability of De-identification Tools for Medical Data. FHIES Zhiming Liu, Nafees Qamar, Jie Qian
2013	J	`jnl`	A framework for automated and certified refinement steps. Innov. Syst. Softw. Eng. Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang
2013	J	`jnl`	A graph-based generic type system for object-oriented programs. Frontiers Comput. Sci. Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao
2013	—	`conf`	Actualizing a Mobile Integrated System for Geriatric Care. MedInfo Han Ei Chew, Johannes Faber, Zhiming Liu, Vanessa Madera, Nafees Qamar
2013	—	`conf`	An Automated Routine Childhood Immunization Approach using openEHR. MedInfo Zhiming Liu, Nafees Qamar, Jie Qian
2013	—	`conf`	Graph-Based Object-Oriented Hoare Logic. Theories of Programming and Formal Methods Liang Zhao, Shuling Wang, Zhiming Liu
2013	C	`conf`	Reconstructing Paths for Reachable Code. ICFEM Stephan Arlt, Zhiming Liu, Martin Schäf
2013	J	`jnl`	Requirements monitoring for Internetware: an interaction based approach. Sci. China Inf. Sci. Xiaohong Chen, Jing Liu, Zhiming Liu
2013	—	`conf`	Support Formal Component-Based Development with UML Profile. Australian Software Engineering Conference Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
2013	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings ICTAC Zhiming Liu, Jim Woodcock, Huibiao Zhu
2013	—	`ed.`	Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday Theories of Programming and Formal Methods Zhiming Liu, Jim Woodcock, Huibiao Zhu
2013	—	`ed.`	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 ICTAC Training School on Software Engineering Zhiming Liu, Jim Woodcock, Huibiao Zhu
2013	—	`conf`	rCOS: Defining Meanings of Component-Based Software Architectures. ICTAC Training School on Software Engineering Ruzhen Dong, Johannes Faber, Wei Ke, Zhiming Liu
2012	—	`conf`	Automated Reviewing of Healthcare Security Policies. FHIES Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu
2012	—	`conf`	Component Based Design of Fault Tolerant Devices in Cyber Physical System. ISORC Workshops Tianhua Xu, Zhiming Liu, Tao Tang, Wei Zheng, Lin Zhao
2012	J	`jnl`	Failure-divergence semantics and refinement of long running transactions. Theor. Comput. Sci. Zhenbang Chen, Zhiming Liu, Ji Wang
2012	—	`ed.`	Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers FHIES Zhiming Liu, Alan Wassyng
2012	J	`jnl`	Relating software validation to technology trends. Int. J. Softw. Tools Technol. Transf. Zhiming Liu, Abhik Roychoudhury
2012	—	`conf`	Unblockable compositions of software components. CBSE Ruzhen Dong, Johannes Faber, Zhiming Liu, Jirí Srba, Naijun Zhan, Jiaqi Zhu
2012	—	`conf`	Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. FHIES Cristiano Bertolini, Zhiming Liu, Jirí Srba
2012	J	`jnl`	rCOS: a formal model-driven engineering method for component-based software. Frontiers Comput. Sci. China Wei Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz
2011	J	`jnl`	A Framework for Automated and Certified Refinement Steps CoRR Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang
2011	J	`jnl`	Editorial. Formal Aspects Comput. Zhiming Liu, Jim Woodcock
2011	B	`conf`	Failure-Divergence Refinement of Compensating Communicating Processes. FM Zhenbang Chen, Zhiming Liu, Ji Wang
2011	—	`conf`	Interactive Transformations from Object-Oriented Models to Component-Based Models. FACS Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
2010	—	`conf`	A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs. SBMF Zhiming Liu, Charles Morisset, Shuling Wang
2010	C	`conf`	An Extended cCSP with Stable Failures Semantics. ICTAC Zhenbang Chen, Zhiming Liu
2010	—	`conf`	AutoPA: Automatic Prototyping from Requirements. ISoLA (1) Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin
2010	—	`conf`	Graph Representation of Sessions and Pipelines for Structured Service Programming. FACS Roberto Bruni, Zhiming Liu, Liang Zhao
2010	J	`jnl`	Robustness testing for software components. Sci. Comput. Program. Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz
2009	C	`conf`	A Graph-Based Operational Semantics of OO Programs. ICFEM Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao
2009	B	`ed.`	Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings ATVA Zhiming Liu, Anders P. Ravn
2009	—	`ch.`	Design and Verification of Fault-Tolerant Components. Methods, Models and Tools for Fault Tolerance Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn
2009	J	`jnl`	Graph transformations for object-oriented refinement. Formal Aspects Comput. Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu
2009	—	`conf`	Model Checking Linear Duration Invariants of Networks of Automata. FSEN Miaomiao Zhang, Zhiming Liu, Naijun Zhan
2009	J	`jnl`	Refinement and verification in component-based model-driven design. Sci. Comput. Program. Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan
2009	—	`conf`	rCOS: Theory and Tool for Component-Based Model Driven Development. FSEN Zhiming Liu, Charles Morisset, Volker Stolz
2008	C	`conf`	A Component-Based Access Control Monitor. ISoLA Zhiming Liu, Charles Morisset, Volker Stolz
2008	—	`conf`	Component Publications and Compositions. UTP Naijun Zhan, Eun-Young Kang, Zhiming Liu
2008	—	`ch.`	Ensemble Engineering and Emergence. Software-Intensive Systems and New Computing Paradigms Jun Hu, Zhiming Liu, G. M. Reed, J. W. Sanders
2008	C	`conf`	Formal Use of Design Patterns and Refactoring. ISoLA Long Quan, Zongyan Qiu, Zhiming Liu
2008	B	`conf`	Laws of Object-Orientation with Reference Semantics. SEFM Leila Silva, Augusto Sampaio, Zhiming Liu
2008	—	`conf`	State Based Robustness Testing for Components. FACS Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li
2008	J	`jnl`	Validation of requirement models by automatic prototyping. Innov. Syst. Softw. Eng. Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu
2008	C	`conf`	Verification of Linear Duration Invariants by Model Checking CTL Properties. ICTAC Miaomiao Zhang, Dang Van Hung, Zhiming Liu
2007	—	`conf`	A Model of Component-Based Programming. FSEN Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan
2007	B	`conf`	A Refinement Driven Component-Based Design. ICECCS Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn
2007	—	`ed.`	Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures Domain Modeling and the Duration Calculus Chris George, Zhiming Liu, Jim Woodcock
2007	—	`ed.`	Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007 Formal Methods and Hybrid Real-Time Systems Cliff B. Jones, Zhiming Liu, Jim Woodcock
2007	—	`conf`	Harnessing rCOS for Tool Support - The CoCoME Experience. Formal Methods and Hybrid Real-Time Systems Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang
2007	—	`conf`	Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME 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
2007	—	`conf`	Prototyping System Requirements Model. TTSS Xiaoshan Li, Zhiming Liu
2007	—	`conf`	Separation of Concerns and Consistent Integration in Requirements Modelling. SOFSEM (1) Xin Chen, Zhiming Liu, Vladimir Mencl
2007	J	`jnl`	SoSyM Special Section on Software Engineering and Formal Methods. Softw. Syst. Model. Jorge Cuéllar, Zhiming Liu
2007	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings ICTAC Cliff B. Jones, Zhiming Liu, Jim Woodcock
2006	J	`jnl`	A strategy for service realization in service-oriented design. Sci. China Ser. F Inf. Sci. Jing Liu, Jifeng He, Zhiming Liu
2006	—	`conf`	Developing a TTCN-3 Test Harness for Legacy Software. AST@ICSE Joseph C. Okika, Anders P. Ravn, Zhiming Liu, Lokesh Siddalingaiah
2006	C	`ed.`	Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings ICFEM Zhiming Liu, Jifeng He
2006	C	`conf`	Harnessing Theories for Tool Support. ISoLA Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang
2006	—	`conf`	Object-Oriented Structure Refinement - A Graph Transformational Approach. Refine@ICFEM Xiaojian Liu, Zhiming Liu, Liang Zhao
2006	—	`ed.`	Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005 FACS Zhiming Liu, Luís Soares Barbosa
2006	J	`jnl`	rCOS: A refinement calculus of object systems. Theor. Comput. Sci. Jifeng He, Xiaoshan Li, Zhiming Liu
2005	—	`conf`	A Theory of Reactive Components. FACS Jifeng He, Xiaoshan Li, Zhiming Liu
2005	C	`conf`	Component-Based Software Engineering. ICTAC Jifeng He, Xiaoshan Li, Zhiming Liu
2005	B	`conf`	Consistency Checking of UML Requirements. ICECCS Xiaoshan Li, Zhiming Liu, Jifeng He
2005	—	`conf`	Consistent Code Generation from UML Models. Australian Software Engineering Conference Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He
2005	—	`conf`	Integrating Theories and Techniques for Program Modelling, Design and Verification. VSTTE Bernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed
2005	—	`conf`	Methods and Tools for Formal Software Engineering. VSTTE Zhiming Liu, R. Venkatesh
2005	C	`conf`	POST: A Case Study for an Incremental Development in rCOS. ICTAC Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He
2005	—	`conf`	Preface. FACS Zhiming Liu, Luís Soares Barbosa
2005	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers ICTAC Zhiming Liu, Keijiro Araki
2004	—	`conf`	A Formal Semantics of UML Sequence Diagram. Australian Software Engineering Conference Xiaoshan Li, Zhiming Liu, Jifeng He
2004	C	`conf`	A Predicative Semantic Model for Integrating UML Models. ICTAC Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li
2004	B	`conf`	A Relational Model for Object-Oriented Designs. APLAS Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin
2004	C	`conf`	A Summary of the Tutorials at ICTAC 2004. ICTAC Zhiming Liu
2004	—	`conf`	Contract Oriented Development of Component Software. IFIP TCS Zhiming Liu, Jifeng He, Xiaoshan Li
2004	B	`conf`	Formal Support for Development of JavaBeans? Component Systems. COMPSAC Bhim Prasad Upadhyaya, Zhiming Liu
2004	C	`conf`	From Durational Specifications to TLA Designs of Timed Automata. ICFEM Yifeng Chen, Zhiming Liu
2004	Misc	`conf`	Generating a Prototype from a UML Model of System Requirements. ICDCIT Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long
2004	B	`conf`	Integrating Temporal Logics. IFM Yifeng Chen, Zhiming Liu
2004	—	`conf`	Linking UML Models of Design and Requirement. Australian Software Engineering Conference Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li
2004	—	`conf`	Real-Time and Fault-Tolerant Systems. PSSE Zhiming Liu, Mathai Joseph
2004	—	`conf`	Towards a Rigorous Approach to UML-Based Development. SBMF Zhiming Liu, Jifeng He, Xiaoshan Li
2004	J	`jnl`	Unifying proof methodologies of duration calculus and timed linear temporal logic. Formal Aspects Comput. Zhiming Liu, Anders P. Ravn, Xiaoshan Li
2004	—	`conf`	rCOS: Refinement of Component and Object Systems. FMCO Zhiming Liu, Jifeng He, Xiaoshan Li
2003	C	`conf`	A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ICFEM Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen
2003	—	`conf`	Unifying Views of UML. CVUML Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li
2002	—	`conf`	Towards a Refinement Calculus for Object Systems. IEEE ICCI Jifeng He, Zhiming Liu, Xiaoshan Li
2002	C	`conf`	Using Transition Systems to Unify UML Models. ICFEM Zhiming Liu, Xiaoshan Li, Jifeng He
2001	C	`conf`	Formal Object-Oriented Analysis and Design of an Online Ticketing System. APSEC Xiaoshan Li, Zhiming Liu, Zhensheng Guo
2001	B	`conf`	Formal and Use-Case Driven Requirement Analysis in UML. COMPSAC Xiaoshan Li, Zhiming Liu, Jifeng He
2001	J	`jnl`	Verification, refinement and scheduling of real-time programs. Theor. Comput. Sci. Zhiming Liu, Mathai Joseph
1999	J	`jnl`	Specification and Verification of Fault-Tolerance, Timing, and Scheduling. ACM Trans. Program. Lang. Syst. Zhiming Liu, Mathai Joseph
1998	—	`conf`	Verifying duration properties of timed transition systems. PROCOMET Zhiming Liu, Anders P. Ravn, Xiaoshan Li
1997	—	`conf`	Formalizing Real-Time Scheduling as Program Refinement. ARTS Zhiming Liu, Mathai Joseph
1996	—	`conf`	Verification of Fault Tolerance and Real Time. FTCS Zhiming Liu, Mathai Joseph
1995	J	`jnl`	Verification of Schedulability for Real-Time Programs. Formal Aspects Comput. Zhiming Liu, Mathai Joseph, Tomasz Janowski
1994	—	`conf`	Stepwise Development of Fault-Tolerant Reactive Systems. FTRTFT Zhiming Liu, Mathai Joseph
1992	J	`jnl`	Transformation of Programs for Fault-Tolerance. Formal Aspects Comput. Zhiming Liu, Mathai Joseph
1991	—	`—`	Fault-tolerant programming by transformations. Zhiming Liu