| 2026 | ACL | LLM-as-Scheduler: Agentic Workflow Dynamic Scheduling. | Dawei Xiang, Kexin Chu, Wenyan Xu, Wenhui Zhang, Wei Zhang |
| 2026 | EuroSys | TrustWeave: Integrity Measurement and Attestation For Multi-Cloud LLMs. | Jianchang Su, Wenhui Zhang, Yifan Zhang, Kexin Chu, Hao Guo, Youyou Lu, Wei Zhang |
| 2026 | ISCAS | Approximate Signed Multiplier Designs for Efficient CNN Inference. | Mengshuo Zhang, Wenhui Zhang, Xiaolu Hu, Xinkuang Geng, Honglan Jiang |
| 2026 | SECON | Poster: MTNTD-SLM: A Small Language Model for Malicious Traffic Detection Based on Multi-Teacher Debate-Distillation. | Shaolei Liu, Shanshan Wang, Zhenxiang Chen, Wenhui Zhang, Runing Li, Jian Chen |
| 2025 | AAAI | Portcullis: A Scalable and Verifiable Privacy Gateway for Third-Party LLM Inference. | Jiangou Zhan, Wenhui Zhang, Zheng Zhang, Huanran Xue, Yao Zhang, Ye Wu |
| 2025 | ICFEM | Formalizing Requirements into Dafny Specifications with LLMs. | Yi-Han Lu, Xue-Yang Zhu, Wenhui Zhang, Rongjie Yan |
| 2024 | EuroSys | Exploring Performance and Cost Optimization with ASIC-Based CXL Memory. | Yupeng Tang, Ping Zhou, Wenhui Zhang, Henry Hu, Qirui Yang, Hao Xiang, Tongping Liu, Jiaxin Shan, Ruoyun Huang, Cheng Zhao, Cheng Chen, Hui Zhang, Fei Liu, Shuai Zhang, Xiaoning Ding, Jianjun Chen |
| 2024 | ICECCS | Template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain. | Xufeng Zhao, Qiuyang Wei, Xue-Yang Zhu, Wenhui Zhang |
| 2024 | IGARSS | Advancing Few-Shot Instance Segmentation of Military Aircraft in Remote Sensing Imagery with Large Vision Models. | Xiyu Qi, Yifan Wu, Wenhui Zhang, Zhan Chen, Yidan Zhang, Lei Wang |
| 2024 | IGARSS | MT-GEO: A Multi-Scale Feature Extraction Network for Cross-View Geo-Localization Between Street-View and Remote Sensing Imagery. | Wenhui Zhang, Jun Li, Hao Chen, Jiangjiang Wu |
| 2024 | ISCAS | A High-Throughput Lossless Image Compression Engine Optimized for Compression Ratio. | Siqi Cai, Yuzhou Chen, Wenhui Zhang, Zeyuan Jin, Gang Wang, Hao Chen, Guanghui He |
| 2024 | MICCAI | Self-supervised Instance Segmentation of Diabetic Foot Ulcers via Feature Correspondence Distillation. | Wenhui Zhang, Abhirup Banerjee, Surajit Ray |
| 2024 | TASE | Slicing Assisted Program Verification: An Empirical Study. | Wenjian Chai, Rongjie Yan, Wenhui Zhang, Jian Zhang |
| 2023 | ICNP | Formal Analysis of IBC Protocol. | Qiuyang Wei, Xufeng Zhao, Xue-Yang Zhu, Wenhui Zhang |
| 2023 | MICCAI | Deep Probability Contour Framework for Tumour Segmentation and Dose Painting in PET Images. | Wenhui Zhang, Surajit Ray |
| 2023 | QRS | A Smart Contract Development Framework for Maritime Transportation Systems. | Xufeng Zhao, Qiuyang Wei, Xue-Yang Zhu, Wenhui Zhang |
| 2022 | ICECCS | A Bounded Semantics for Improving the Efficiency of Bounded Model Checking. | Wenhui Zhang, Ya Gao |
| 2022 | TASE | On Verification of Smart Contracts via Model Checking. | Yulong Bao, Xue-Yang Zhu, Wenhui Zhang, Wuwei Shen, Pengfei Sun, Yingqi Zhao |
| 2021 | AsiaCCS | Analyzing the Overhead of File Protection by Linux Security Modules. | Wenhui Zhang, Peng Liu, Trent Jaeger |
| 2021 | EuroSys | ChameleonDB: a key-value store for optane persistent memory. | Wenhui Zhang, Xingsheng Zhao, Song Jiang, Hong Jiang |
| 2021 | QRS | Multi-Agent Automata and Its Application to LDLK Satisfiability Checking. | Ya Gao, Wenhui Zhang, Xue-Yang Zhu |
| 2021 | TASE | VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques. | Wenhui Zhang, Xue-Yang Zhu, Yulong Bao |
| 2020 | AMIA | Pressure Ulcer Injury in Unstructured Clinical Notes: Detection and Interpretation. | Mani Sotoodeh, Zelalem Gero, Wenhui Zhang, Roy L. Simpson, Vicki Hertzberg, Joyce C. Ho |
| 2019 | APSEC | Verification of CTL_BDI Properties by Symbolic Model Checking. | Ran Chen, Wenhui Zhang |
| 2019 | ICCD | SPA-SSD: Exploit Heterogeneity and Parallelism of 3D SLC-TLC Hybrid SSD to Improve Write Performance. | Wenhui Zhang, Qiang Cao, Hong Jiang, Jie Yao, Yuanyuan Dong, Puyuan Yang |
| 2019 | ICECCS | Checking Multi-Agent Systems Against Temporal-Epistemic Specifications. | Ran Chen, Wenhui Zhang |
| 2019 | IJCAI | Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. | Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang |
| 2019 | ICSE | Energy distribution matters in greybox fuzzing. | Lingyun Situ, Linzhang Wang, Xuandong Li, Le Guan, Wenhui Zhang, Peng Liu |
| 2018 | FOSSACS | Logics for Bisimulation and Divergence. | Xinxin Liu, Tingting Yu, Wenhui Zhang |
| 2018 | ICPP | FFS-VA: A Fast Filtering System for Large-scale Video Analytics. | Chen Zhang, Qiang Cao, Hong Jiang, Wenhui Zhang, Jingjun Li, Jie Yao |
| 2018 | ICS | PA-SSD: A Page-Type Aware TLC SSD for Improved Write/Read Performance and Storage Efficiency. | Wenhui Zhang, Qiang Cao, Hong Jiang, Jie Yao |
| 2017 | POPL | Analyzing divergence in bisimulation semantics. | Xinxin Liu, Tingting Yu, Wenhui Zhang |
| 2017 | SOFSEM | Completeness of Hoare Logic Relative to the Standard Model. | Zhaowei Xu, Wenhui Zhang, Yuefei Sui |
| 2016 | LANMAN | OpenNetVM: Flexible, high performance NFV (Demo). | Wei Zhang, Guyue Liu, Wenhui Zhang, Neel Shah, Phil Lopreiato, Grgoire Todeschi, K. K. Ramakrishnan, Timothy Wood |
| 2016 | NetSoft | OpenNetVM: Flexible, high performance NFV (Demo). | Wei Zhang, Guyue Liu, Wenhui Zhang, Neel Shah, Phil Lopreiato, Grgoire Todeschi, K. K. Ramakrishnan, Timothy Wood |
| 2016 | SIGCOMM | OpenNetVM: A Platform for High Performance Network Service Chains. | Wei Zhang, Guyue Liu, Wenhui Zhang, Neel Shah, Phil Lopreiato, Grgoire Todeschi, K. K. Ramakrishnan, Timothy Wood |
| 2015 | FM | Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking. | Xueyang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang, Guangquan Zhang |
| 2015 | ICPP | PPM: A Partitioned and Parallel Matrix Algorithm to Accelerate Encoding/Decoding Process of Asymmetric Parity Erasure Codes. | Shiyi Li, Qiang Cao, Shenggang Wan, Wenhui Zhang, Changsheng Xie, Xubin He, Pradeep Subedi |
| 2014 | APSEC | A Symbolic Partial Order Method for Verifying SystemC. | Naiju Zeng, Wenhui Zhang |
| 2014 | CADE | QBF Encoding of Temporal Properties and QBF-Based Verification. | Wenhui Zhang |
| 2014 | ICECCS | An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS. | Naiju Zeng, Wenhui Zhang |
| 2013 | APSEC | A SystemC Semantics in Guarded Assignment Systems and Its Applications with VERDS. | Naiju Zeng, Wenhui Zhang |
| 2012 | AAIM | Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition. | Yanyan Xu, Wei Chen, Kaile Su, Wenhui Zhang |
| 2012 | APSEC | Proving Liveness Property under Fairness Requirements. | Teng Long, Wenhui Zhang |
| 2012 | ISPA | Incremental Parallelization with Migration. | Wenhui Zhang, Lei Pan, Qinghong Shang, Lubomir F. Bic, Michael B. Dillencourt |
| 2012 | SIGCSE | Integrating computing into middle school disciplines through projects. | Susan H. Rodger, Melissa Dalis, Chitra Gadwal, Jenna Hayes, Peggy Li, Francine Wolfe, Wenhui Zhang, Liz Liang |
| 2012 | TAMC | Proving Liveness Property under Strengthened Compassion Requirements. | Teng Long, Wenhui Zhang |
| 2011 | GLOBECOM | Performance Evaluation of Beacon Congestion Control Algorithms for VANETs. | Long Le, Roberto Baldessari, Pablo Salvador, Andreas Festag, Wenhui Zhang |
| 2010 | ATVA | Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems. | Teng Long, Wenhui Zhang |
| 2010 | IWCMC | Experimental evaluation for IPv6 over VANET geographic routing. | Manabu Tsukada, Ins Ben Jemaa, Hamid Menouar, Wenhui Zhang, Maria Goleva, Thierry Ernst |
| 2009 | ICFEM | Bounded Semantics of CTL and SAT-Based Verification. | Wenhui Zhang |
| 2009 | MOBICOM | Distributed rate control algorithm for VANETs (DRCV). | Michele Drigo, Wenhui Zhang, Roberto Baldessari, Long Le, Andreas Festag, Michele Zorzi |
| 2009 | VTC | Analysis of Packet Forwarding in VANETs Using Probabilistic Channel Model. | Wenhui Zhang |
| 2009 | TASE | Bounded Model Checking of ACTL Formulae. | Wei Chen, Wenhui Zhang |
| 2008 | TridentCom | A MANET-centric solution for the application of NEMO in VANET using geographic routing. | Roberto Baldessari, Wenhui Zhang, Andreas Festag, Long Le |
| 2007 | ICFEM | Model Checking with SAT-Based Characterization of ACTL Formulas. | Wenhui Zhang |
| 2007 | TAMC | Enhancing Simulation for Checking Language Containment. | Jin Yi, Wenhui Zhang |
| 2007 | TASE | Partition Refinement in Abstract Model Checking. | Fei Pu, Wenhui Zhang |
| 2007 | TASE | Evaluation of SAT-based Bounded Model Checking of ACTL Properties. | Yanyan Xu, Wei Chen, Liang Xu, Wenhui Zhang |
| 2006 | FMICS | SAT-Based Verification of LTL Formulas. | Wenhui Zhang |
| 2005 | ICPP | Incremental Parallelization Using Navigational Programming: A Case Study. | Lei Pan, Wenhui Zhang, Arthur U. Asuncion, Ming Kin Lai, Michael B. Dillencourt, Lubomir Bic |
| 2004 | ATVA | Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity. | Bai Su, Wenhui Zhang |
| 2004 | WCNC | Handover decision using fuzzy MADM in heterogeneous networks. | Wenhui Zhang |
| 2003 | ICDE | An Optimized Multicast-based Data Dissemination Middleware. | Wei Li, Wenhui Zhang, Vincenzo Liberatore, Vince Penkrot, Jonathan Beaver, Mohamed A. Sharaf, Siddhartha Roychowdhury, Panos K. Chrysanthis, Kirk Pruhs |
| 2002 | IFM | Combining Graphical and Formal Development of Open Distributed Systems. | Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo |
| 2002 | PRICAI | Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances. | Wenhui Zhang, Zhuo Huang, Jian Zhang |
| 2002 | SAFECOMP | A Strategy for Improving the Efficiency of Procedure Verification. | Wenhui Zhang |
| 2001 | APSEC | Specification of Distributed Systems with a Combination of Graphica and Formal Languages. | Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo |
| 2000 | SAFECOMP | Validation of Control System Specifications with Abstract Plant Models. | Wenhui Zhang |