Sign in
Hao Zheng
ORCID
Publication Activity (10 Years)
Years Active: 1997-2023
Publications (10 Years): 11
Top Topics
Model Checking
Timed Automata
State Space
Formal Analysis
Top Venues
CoRR
Sci. Comput. Program.
CAV (1)
MWSCAS
</>
Publications
</>
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)