Zhenqi Huang

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 11

Top Topics

Differentially Private

Differential Privacy

Inter Annotator Agreement

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Zhenqi Huang, Sriharsha Etigowni, Luis Garcia, Sayan Mitra, Saman A. Zonouz
Algorithmic Attack Synthesis Using Hybrid Dynamics of Power Grid Critical Infrastructures. DSN (2018)
Chuchu Fan, Zhenqi Huang, Sayan Mitra
Approximate Partial Order Reduction. FM (2018)
Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs. IEEE Trans. Control. Netw. Syst. 4 (1) (2017)
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
Controller synthesis for linear dynamical systems with adversaries. HotSoS (2016)
Zhenqi Huang, Sayan Mitra
Approximate Partial Order Reduction. CoRR (2016)
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri
Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm. CDC (2015)
Zhenqi Huang, Sayan Mitra, Nitin H. Vaidya
Differentially Private Distributed Optimization. ICDCN (2015)
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri
Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm. CoRR (2015)
Stanley Bak, Zhenqi Huang, Fardin Abdi Taghi Abad, Marco Caccamo
Safety and Progress for Distributed Cyber-Physical Systems with Unreliable Communication. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska
Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. IEEE Des. Test 32 (5) (2015)
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
Controller Synthesis for Linear Time-varying Systems with Adversaries. CoRR (2015)
Zhenqi Huang, Sayan Mitra, Nitin H. Vaidya
Differentially Private Distributed Optimization. CoRR (2014)
Zhenqi Huang, Sayan Mitra
Proofs from simulations and modular annotations. HSCC (2014)
Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. CAV (2014)
Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems. CDC (2014)
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
On the cost of differential privacy in distributed control systems. HiCoNS (2014)
Stanley Bak, Fardin Abdi Taghi Abad, Zhenqi Huang, Marco Caccamo
Using run-time checking to provide safety and progress for distributed cyber-physical systems. RTCSA (2013)
Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
Differentially Private Iterative Synchronous Consensus CoRR (2012)
Zhenqi Huang, Sayan Mitra, Geir E. Dullerud
Differentially private iterative synchronous consensus. WPES (2012)
Zhenqi Huang, Sayan Mitra
Computing bounded reach sets from sampled simulation traces. HSCC (2012)