Computing bounded reach sets from sampled simulation traces. - Zhenqi Huang; Sayan Mitra (HSCC, 2012)

Differentially private iterative synchronous consensus. - Zhenqi Huang; Sayan Mitra; Geir E. Dullerud (WPES, 2012)

Using run-time checking to provide safety and progress for distributed cyber-physical systems. - Stanley Bak; Fardin Abdi Taghi Abad; Zhenqi Huang; Marco Caccamo (RTCSA, 2013)

Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. - Zhenqi Huang; Chuchu Fan; Alexandru Mereacre; Sayan Mitra; Marta Z. Kwiatkowska (CAV, 2014)

Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems. - Yu Wang 044; Zhenqi Huang; Sayan Mitra; Geir E. Dullerud (CDC, 2014)

On the cost of differential privacy in distributed control systems. - Zhenqi Huang; Yu Wang 044; Sayan Mitra; Geir E. Dullerud (HiCoNS, 2014)

Proofs from simulations and modular annotations. - Zhenqi Huang; Sayan Mitra (HSCC, 2014)

Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm. - Zhenqi Huang; Yu Wang 044; Sayan Mitra; Geir E. Dullerud; Swarat Chaudhuri (CDC, 2015)

Differentially Private Distributed Optimization. - Zhenqi Huang; Sayan Mitra; Nitin H. Vaidya (ICDCN, 2015)

Controller Synthesis for Linear Time-varying Systems with Adversaries. - Zhenqi Huang; Yu Wang 044; Sayan Mitra; Geir E. Dullerud (CoRR, 2015)

Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. - Zhenqi Huang; Chuchu Fan; Alexandru Mereacre; Sayan Mitra; Marta Z. Kwiatkowska (IEEE Des. Test, 2015)

Safety and Progress for Distributed Cyber-Physical Systems with Unreliable Communication. - Stanley Bak; Zhenqi Huang; Fardin Abdi Taghi Abad; Marco Caccamo (ACM Trans. Embed. Comput. Syst., 2015)

Controller synthesis for linear dynamical systems with adversaries. - Zhenqi Huang; Yu Wang 044; Sayan Mitra; Geir E. Dullerud (HotSoS, 2016)

Approximate Partial Order Reduction. - Zhenqi Huang; Sayan Mitra (CoRR, 2016)

Compositional analysis of networked cyber-physical systems: safety and privacy - Zhenqi Huang (2016)

Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs. - Yu Wang 044; Zhenqi Huang; Sayan Mitra; Geir E. Dullerud (IEEE Trans. Control. Netw. Syst., 2017)

Algorithmic Attack Synthesis Using Hybrid Dynamics of Power Grid Critical Infrastructures. - Zhenqi Huang; Sriharsha Etigowni; Luis Garcia 001; Sayan Mitra; Saman A. Zonouz (DSN, 2018)

Approximate Partial Order Reduction. - Chuchu Fan; Zhenqi Huang; Sayan Mitra (FM, 2018)

HPGA: An Improved Hybrid Genetic Algorithm with Parallel Acceleration for Dynamic Flexible Job-shop Scheduling Problem. - Chenglong Zou; Zhenqi Huang; Xiulei Qin; Yonggui Huang; Yunhuai Liu (ICBDT, 2024)

Energy-Efficient Joint Trajectory and Reflecting Design in IRS-Enabled UAV Edge Computing. - Zhenqi Huang; Zhufang Kuang; Siyu Lin; Fen Hou; Anfeng Liu (IEEE Internet Things J., 2024)

Security Offloading Scheduling and Caching Optimization Algorithm in UAV Edge Computing. - Jianli Qiu; Zhufang Kuang; Zhenqi Huang; Siyu Lin (IEEE Syst. J., 2025)

Dependency-aware task collaborative offloading and resource allocation in UAV enabled edge computing. - Zhenqi Huang; Zhufang Kuang; Bin Xu; Yuanguo Bi; Anfeng Liu (Peer Peer Netw. Appl., 2025)