| 2026 | AAAI | RMFAT: Recurrent Multi-scale Feature Atmospheric Turbulence Mitigator. | Zhiming Liu, Nantheera Anantrasirichai |
| 2026 | AAAI | BadThink: Triggered Overthinking Attacks on Chain-of-Thought Reasoning in Large Language Models. | Shuaitong Liu, Renjue Li, Lijia Yu, Lijun Zhang, Zhiming Liu, Gaojie Jin |
| 2026 | FM | Incremental Synthesis of Safe Controller Guided by Learning-Enabled Barrier Certificates with Efficient LP Verification. | Niuniu Qi, Hanrui Zhao, Zhengfeng Yang, Xia Zeng, Mengxin Ren, Chao Peng, Zhiming Liu |
| 2026 | WACV | DMAT: An End-to-End Framework for Joint Atmospheric Turbulence Mitigation and Object Detection. | Paul R. Hill, Zhiming Liu, Alin Achim, David Bull, Nantheera Anantrasirichai |
| 2025 | APSEC | Unified Modelling and Consistency Verification of UML Multi-View Models Using Alloy. | Yihui Guo, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu |
| 2025 | APSEC | Automating Requirements Modelling with LLMs: An Iterative Contrastive Optimisation Approach. | Chenxi Lv, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu |
| 2025 | AsiaCCS | Infiltrated Selfish Mining: Think Win-Win to Escape Dilemmas. | Xuelian Cao, Zheng Yang, Tao Xiang, Jianting Ning, Yuhan Liu, Zhiming Liu, Jianying Zhou |
| 2025 | AVSS | MAMAT: 3D Mamba-Based Atmospheric Turbulence Removal and its Object Detection Capability. | Paul R. Hill, Zhiming Liu, Nantheera Anantrasirichai |
| 2025 | CHI | Speculative Job Design: Probing Alternative Opportunities for Gig Workers in an Automated Future. | Shuhao Ma, Zhiming Liu, Valentina Nisi, Sarah E. Fox, Nuno Jardim Nunes |
| 2025 | DAC | Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates. | Xia Zeng, Mengxin Ren, Zhiming Liu, Zhengfeng Yang |
| 2025 | IJCNN | Fair and Efficient Federated Learning Client Selection via Dynamic Contribution Evaluation. | Zhengnan Zhang, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu |
| 2025 | PIMRC | Joint Group Matching and DQN Power Allocation for Transmission Rate Maximization in UAV-NOMA Communication Systems. | Yanan Lian, Zhiming Liu, Zhongyu Wang, Jie Zeng, Zheng Chang, Tiejun Lv |
| 2024 | DAC | Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation. | Xia Zeng, Banglong Liu, Zhenbing Zeng, Zhiming Liu, Zhengfeng Yang |
| 2024 | HCI | Research on the Digital Exploration and Inheritance of Tibetan Cultural Landscapes - Take the Mani Heap as an Example. | Zhiming Liu, Han Sun, Zhijun Peng |
| 2024 | ICFEM | Observability of Boolean Control Networks: New Definition and Verification Algorithm. | Guisen Wu, Zhiming Liu, Jun Pang |
| 2024 | SETTA | Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects. | Chao Wang, Peng Wu, Gustavo Petri, Qiaowen Jia, Youlin He, Yi Lv, Zhiming Liu |
| 2023 | AAAI | Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers. | Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu |
| 2023 | APWEB | PAEE: Parameter-Efficient and Data-Effective Image Captioning Model with Knowledge Prompter and Cross-Modal Representation Aligner. | Yunji Tian, Zhiming Liu, Quan Zou, Geng Chen |
| 2023 | CAV | Learning Assumptions for Compositional Verification of Timed Automata. | Hanyue Chen, Yu Su, Miaomiao Zhang, Zhiming Liu, Junri Mi |
| 2023 | IJCNN | HQProtoPNet: An Evidence-Based Model for Interpretable Image Recognition. | Jingqi Wang, Jiajie Peng, Zhiming Liu, Hengjun Zhao |
| 2023 | KSEM | Black-Box Adversarial Attack on Graph Neural Networks Based on Node Domain Knowledge. | Qin Sun, Zheng Yang, Zhiming Liu, Quan Zou |
| 2023 | PIMRC | Jointly Learning V2X Communication and Platoon Control with Deep Reinforcement Learning. | Tong Liu, Lei Lei, Zhiming Liu, Kan Zheng |
| 2023 | SETTA | Multi-dimensional Abstraction and Decomposition for Separation of Concerns. | Zhiming Liu, Jiadong Teng, Bo Liu |
| 2022 | ICALT | An IoT-based Smart Campus Monitoring System. | Zhiming Liu, Changhao Han |
| 2022 | ICPR | Automatic Lumbar Vertebra Landmark Localization and Segmentation for Pedicle Screw Placement. | Yike Cheng, Ji-Le Jiang, Ning Zhang, Hengjun Zhao, Zhiming Liu |
| 2022 | ICRA | Opto-electrotactile Feedback Enabled Text-line Tracking Control for A Finger-wearable Reading Aid for the Blind. | Mehdi Rahimi, Yantao Shen, Cong Peng, Zhiming Liu, Fang Jiang |
| 2022 | ICTAC | Human-Cyber-Physical Automata and Their Synthesis. | Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du, Zhiming Liu |
| 2022 | SMC | iTrustEval: A framework for software trustworthiness evaluation with an intelligent AHP-based method. | Yu Liu, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu |
| 2022 | SETTA | A Contract-Based Semantics and Refinement for Simulink. | Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu |
| 2022 | SETTA | Decidability of Liveness for Concurrent Objects on the TSO Memory Model. | Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu |
| 2021 | CAV | 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 |
| 2021 | ICPP | Intra-page Cache Update in SLC-mode with Partial Programming in High Density SSDs. | Jun Li, Minjun Li, Zhigang Cai, Franois Trahay, Mohamed Wahib, Balazs Gerofi, Zhiming Liu, Min Huang, Jianwei Liao |
| 2021 | QRS | 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 |
| 2020 | WCNC | Design and Implementation on a LoRa System with Edge Computing. | Zhiming Liu, Qihao Zhou, Lu Hou, Rongtao Xu, Kan Zheng |
| 2020 | WISE | Higher-Order Graph Convolutional Embedding for Temporal Networks. | Xian Mo, Jun Pang, Zhiming Liu |
| 2020 | SETTA | Learning Safe Neural Network Controllers with Barrier Certificates. | Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock |
| 2019 | CVPR | Robustness Verification of Classification Deep Neural Networks via Linear Programming. | Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He |
| 2019 | ICSE | RM2PT: a tool for automated prototype generation from requirements model. | Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke |
| 2018 | ICICS | On Security in Encrypted Computing. | Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu |
| 2018 | PIMRC | QoE-driven and Network-assisted Naked-eye 3D Adaptive Video Streaming over Wireless Network. | Yidi Wang, Yitong Liu, Hongwen Yang, Gang Li, Yami Chen, Zhiming Liu |
| 2018 | VTC | Performance Comparison of Multi-Connectivity with CoMP in 5G Ultra-Dense Network. | Xinran Ba, Yafeng Wang, Han Hai, Yami Chen, Zhiming Liu |
| 2018 | VTC | Traffic Prediction Based on Random Connectivity in Deep Learning with Long Short-Term Memory. | Yuxiu Hua, Zhifeng Zhao, Zhiming Liu, Xianfu Chen, Rongpeng Li, Honggang Zhang |
| 2018 | TrustCom | Superscalar Encrypted RISC: The Measure of a Secret Computer. | Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu |
| 2018 | SETTA | Identifying Microservices Using Functional Decomposition. | Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu |
| 2017 | SECRYPT | On Obfuscating Compilation for Encrypted Computing. | Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu |
| 2016 | EUSPN | Querying Medical Datasets While Preserving Privacy. | Nafees Qamar, Yilong Yang, Andrs Ndas, Zhiming Liu |
| 2016 | FM | A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems. | Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin, Zhiming Liu |
| 2016 | SECRYPT | A Practical Encrypted Microprocessor. | Peter T. Breuer, Jonathan P. Bowen, Esther Palomar, Zhiming Liu |
| 2015 | ICSE | Regular Property Guided Dynamic Symbolic Execution. | Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu |
| 2014 | WoWMoM | Component-based modelling for sustainable and scalable smart meter networks. | Esther Palomar, Zhiming Liu, Jonathan P. Bowen, Yan Zhang, Sabita Maharjan |
| 2013 | ICFEM | Reconstructing Paths for Reachable Code. | Stephan Arlt, Zhiming Liu, Martin Schf |
| 2013 | ICTAC | rCOS: Defining Meanings of Component-Based Software Architectures. | Ruzhen Dong, Johannes Faber, Wei Ke, Zhiming Liu |
| 2012 | ISORC | Component Based Design of Fault Tolerant Devices in Cyber Physical System. | Tianhua Xu, Zhiming Liu, Tao Tang, Wei Zheng, Lin Zhao |
| 2011 | FM | Failure-Divergence Refinement of Compensating Communicating Processes. | Zhenbang Chen, Zhiming Liu, Ji Wang |
| 2010 | ICTAC | An Extended cCSP with Stable Failures Semantics. | Zhenbang Chen, Zhiming Liu |
| 2010 | ISoLA | AutoPA: Automatic Prototyping from Requirements. | Xiaoshan Li, Zhiming Liu, Martin Schf, Ling Yin |
| 2009 | ICFEM | A Graph-Based Operational Semantics of OO Programs. | Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao |
| 2009 | IJCNN | Face Recognition using new image representations. | Zhiming Liu, Qingchuan Tao |
| 2008 | ICTAC | Verification of Linear Duration Invariants by Model Checking CTL Properties. | Miaomiao Zhang, Dang Van Hung, Zhiming Liu |
| 2008 | ISoLA | A Component-Based Access Control Monitor. | Zhiming Liu, Charles Morisset, Volker Stolz |
| 2008 | ISoLA | Formal Use of Design Patterns and Refactoring. | Long Quan, Zongyan Qiu, Zhiming Liu |
| 2008 | SEFM | Laws of Object-Orientation with Reference Semantics. | Leila Silva, Augusto Sampaio, Zhiming Liu |
| 2007 | ICECCS | A Refinement Driven Component-Based Design. | Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn |
| 2007 | SOFSEM | Separation of Concerns and Consistent Integration in Requirements Modelling. | Xin Chen, Zhiming Liu, Vladimir Mencl |
| 2006 | ICSE | Developing a TTCN-3 Test Harness for Legacy Software. | Joseph C. Okika, Anders P. Ravn, Zhiming Liu, Lokesh Siddalingaiah |
| 2006 | ISoLA | Harnessing Theories for Tool Support. | Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang |
| 2006 | PRIMA | A Model of Video Coding Based on Multi-agent. | Yang Tao, Zhiming Liu, Yuxing Peng |
| 2005 | ICECCS | Consistency Checking of UML Requirements. | Xiaoshan Li, Zhiming Liu, Jifeng He |
| 2005 | ICTAC | Component-Based Software Engineering. | Jifeng He, Xiaoshan Li, Zhiming Liu |
| 2005 | ICTAC | POST: A Case Study for an Incremental Development in rCOS. | Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He |
| 2004 | APLAS | A Relational Model for Object-Oriented Designs. | Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin |
| 2004 | COMPSAC | Formal Support for Development of JavaBeans? Component Systems. | Bhim Prasad Upadhyaya, Zhiming Liu |
| 2004 | ICDCIT | Generating a Prototype from a UML Model of System Requirements. | Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long |
| 2004 | ICFEM | From Durational Specifications to TLA Designs of Timed Automata. | Yifeng Chen, Zhiming Liu |
| 2004 | ICTAC | A Summary of the Tutorials at ICTAC 2004. | Zhiming Liu |
| 2004 | ICTAC | A Predicative Semantic Model for Integrating UML Models. | Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li |
| 2004 | IFM | Integrating Temporal Logics. | Yifeng Chen, Zhiming Liu |
| 2003 | ICFEM | A Relational Model for Formal Object-Oriented Requirement Analysis in UML. | Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen |
| 2002 | ICFEM | Using Transition Systems to Unify UML Models. | Zhiming Liu, Xiaoshan Li, Jifeng He |
| 2001 | APSEC | Formal Object-Oriented Analysis and Design of an Online Ticketing System. | Xiaoshan Li, Zhiming Liu, Zhensheng Guo |
| 2001 | COMPSAC | Formal and Use-Case Driven Requirement Analysis in UML. | Xiaoshan Li, Zhiming Liu, Jifeng He |
| 1993 | SAFECOMP | Composition and Refinement of Probabilistic Real-Time Systems. | Zhiming Liu, Jens Nordahl, Erling Vagn Srensen |