Hao Zheng

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 14

Top Topics

Routing Algorithm

Formal Analysis

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Sci. Comput. Program.

Publications

Bardia Nadimi, Hao Zheng
Inferring Message Flows From System Communication Traces. CoRR (2024)
Md Rubel Ahmed, Bardia Nadimi, Hao Zheng
AutoModel: Automatic Synthesis of Models From Communication Traces of SoC Designs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (7) (2024)
Bardia Nadimi, Hao Zheng
A Multi-Expert Large Language Model Architecture for Verilog Code Generation. CoRR (2024)
Md Rubel Ahmed, Bardia Nadimi, Hao Zheng
AutoModel: Automatic Synthesis of Models from Communication Traces of SoC Designs. CoRR (2023)
Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng, Chris Winstead, Zhen Zhang
STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker. QEST (2023)
Md Rubel Ahmed, Bardia Nadimi, Hao Zheng
System-on-Chip Message Flow Mining with Masked-Language Models. MWSCAS (2023)
Mohammad Ahmadi, Zhen Zhang, Chris J. Myers, Chris Winstead, Hao Zheng
Counterexample Generation for Infinite-State Chemical Reaction Networks. CoRR (2022)
Hao Zheng, Yingying Zhang, Chris J. Myers
Local State Space Analysis to Assist Partial Order Reduction. CoRR (2020)
Hao Zheng, Andrew Price, Chris J. Myers
Using Decision Diagrams to Compactly Represent the State Space for Explicit Model Checking. CoRR (2020)
Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang
STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis. CoRR (2019)
Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang
STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis. CAV (1) (2019)
Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers
Approximation Techniques for Stochastic Analysis of Biological Systems. CoRR (2019)
Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers
An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis. Sci. Comput. Program. 118 (2016)
Hao Zheng, Zhen Zhang, Chris J. Myers, Emmanuel Rodriguez, Yingying Zhang
Compositional Model Checking of Concurrent Systems. IEEE Trans. Computers 64 (6) (2015)
Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers
Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip. FMICS (2014)
Hao Zheng, Yingying Zhang
Local State Space Analysis Leads to Better Partial Order Reduction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33 (6) (2014)
Yingying Zhang, Emmanuel Rodriguez, Hao Zheng, Chris J. Myers
An Improvement in Partial Order Reduction Using Behavioral Analysis. ISVLSI (2012)
Hao Zheng, Andrew Price, Chris J. Myers
Using decision diagrams to compactly represent the state space for explicit model checking. HLDVT (2012)
Chris J. Myers, Jian Wu, Zhen Zhang, Hao Zheng, Yingying Zhang
Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems. ICCPS (2012)
Hao Zheng, Emmanuel Rodriguez, Yingying Zhang, Chris J. Myers
A Compositional Minimization Approach for Large Asynchronous Design Verification. SPIN (2012)
Yingying Zhang, Emmanuel Rodriguez, Hao Zheng, Chris J. Myers
A Behavioral Analysis Approach for Efficient Partial Order Reduction. HASE (2011)
Haiqiong Yao, Hao Zheng, Chris J. Myers
State space reductions for scalable verification of asynchronous designs. HLDVT (2010)
Hao Zheng, Haiqiong Yao, Tomohiro Yoneda
Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement. IEEE Trans. Computers 59 (4) (2010)
Robert A. Thacker, Kevin R. Jones, Chris J. Myers, Hao Zheng
Automatic abstraction for verification of cyber-physical systems. ICCPS (2010)
Hao Zheng, Haiqiong Yao, Tomohiro Yoneda
Synchronization-Based Abstraction Refinement for Modular Verification of Asynchronous Designs. ISVLSI (2009)
Haiqiong Yao, Hao Zheng
Automated Interface Refinement for Compositional Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28 (3) (2009)
Hao Zheng, Jared Ahrens, Tian Xia
A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (7) (2008)
Tian Xia, Hao Zheng
Timing Jitter Characterization for Mixed-Signal Production Test Using the Interpolation Algorithm. IEEE Trans. Ind. Electron. 54 (2) (2007)
Di Mu, Tian Xia, Hao Zheng
Data Dependent Jitter Characterization Based on Fourier Analysis. DFT (2006)
Hao Zheng, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda
Verification of timed circuits with failure-directed abstractions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (3) (2006)
Tian Xia, Hao Zheng, Jing Li, Ahmed Ginawi
Self-Refereed On-Chip Jitter Measurement Circuit Using Vernier Oscillators. ISVLSI (2005)
Tian Xia, Peilin Song, Hao Zheng
Characterizing the VCO jitter due to the digital simultaneous switching noise. ACM Great Lakes Symposium on VLSI (2005)
Hao Zheng, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda
Verification of Timed Circuits with Failure Directed Abstractions. ICCD (2003)
Hao Zheng, Eric Mercer, Chris J. Myers
Modular verification of timed circuits using automatic abstraction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22 (9) (2003)
Hao Zheng, Eric Mercer, Chris J. Myers
Automatic Abstraction for Verification of Timed Circuits and Systems. CAV (2001)
Chris J. Myers, Wendy Belluomini, Kip Kallpack, Eric Peskin, Hao Zheng
Timed circuits: a new paradigm for high-speed design. ASP-DAC (2001)
Brandon M. Bachman, Hao Zheng, Chris J. Myers
Architectural Synthesis of Timed Asynchronous Systems. ICCD (1999)
Chris J. Myers, Hao Zheng
An asynchronous implementation of the maxlist algorithm. ICASSP (1997)