Zhenqi Huang

25 papers A* 1A 1B 2Misc 1Journal 11Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Dependency-aware task collaborative offloading and resource allocation in UAV enabled edge computing.
Peer Peer Netw. Appl.
Zhenqi Huang, Zhufang Kuang, Bin Xu, Yuanguo Bi, Anfeng Liu
2025 J jnl
Security Offloading Scheduling and Caching Optimization Algorithm in UAV Edge Computing.
IEEE Syst. J.
Jianli Qiu, Zhufang Kuang, Zhenqi Huang, Siyu Lin
2024 J jnl
Energy-Efficient Joint Trajectory and Reflecting Design in IRS-Enabled UAV Edge Computing.
IEEE Internet Things J.
Zhenqi Huang, Zhufang Kuang, Siyu Lin, Fen Hou, Anfeng Liu
2024 — conf
HPGA: An Improved Hybrid Genetic Algorithm with Parallel Acceleration for Dynamic Flexible Job-shop Scheduling Problem.
ICBDT
Chenglong Zou, Zhenqi Huang, Xiulei Qin, Yonggui Huang, Yunhuai Liu
2018 A conf
Algorithmic Attack Synthesis Using Hybrid Dynamics of Power Grid Critical Infrastructures.
DSN
Zhenqi Huang, Sriharsha Etigowni, Luis Garcia, Sayan Mitra, Saman A. Zonouz
2018 B conf
Approximate Partial Order Reduction.
FM
Chuchu Fan, Zhenqi Huang, Sayan Mitra
2017 J jnl
Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs.
IEEE Trans. Control. Netw. Syst.
Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
2016 J jnl
Approximate Partial Order Reduction.
CoRR
Zhenqi Huang, Sayan Mitra
2016 — —
Compositional analysis of networked cyber-physical systems: safety and privacy
Zhenqi Huang
2016 — conf
Controller synthesis for linear dynamical systems with adversaries.
HotSoS
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
2015 J jnl
Controller Synthesis for Linear Time-varying Systems with Adversaries.
CoRR
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
2015 J jnl
Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm.
CoRR
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri
2015 — conf
Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm.
CDC
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri
2015 Misc conf
Differentially Private Distributed Optimization.
ICDCN
Zhenqi Huang, Sayan Mitra, Nitin H. Vaidya
2015 J jnl
Safety and Progress for Distributed Cyber-Physical Systems with Unreliable Communication.
ACM Trans. Embed. Comput. Syst.
Stanley Bak, Zhenqi Huang, Fardin Abdi Taghi Abad, Marco Caccamo
2015 J jnl
Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage.
IEEE Des. Test
Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska
2014 J jnl
Differentially Private Distributed Optimization.
CoRR
Zhenqi Huang, Sayan Mitra, Nitin H. Vaidya
2014 — conf
Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems.
CDC
Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
2014 A* conf
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells.
CAV
Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska
2014 — conf
On the cost of differential privacy in distributed control systems.
HiCoNS
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
2014 — conf
Proofs from simulations and modular annotations.
HSCC
Zhenqi Huang, Sayan Mitra
2013 B conf
Using run-time checking to provide safety and progress for distributed cyber-physical systems.
RTCSA
Stanley Bak, Fardin Abdi Taghi Abad, Zhenqi Huang, Marco Caccamo
2012 — conf
Computing bounded reach sets from sampled simulation traces.
HSCC
Zhenqi Huang, Sayan Mitra
2012 J jnl
Differentially Private Iterative Synchronous Consensus
CoRR
Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
2012 — conf
Differentially private iterative synchronous consensus.
WPES
Zhenqi Huang, Sayan Mitra, Geir E. Dullerud