Hao Zheng

University of South Florida, Associate Professor

University of South Florida

Hao Zheng is a former PhD student under Chris Myers supervision. He graduated in 2001, and now he is an Associate Professor at the University of South Florida. His research interests are main in formal method in system designs, verification, and validation.

Interests

Formal Verification
Model Checking

Education

Publications

A Comparison of Weighted Stochastic Simulation Methods for the Analysis of Genetic Circuits
STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis
An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis
Compositional Model Checking of Concurrent Systems
Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip
Using decision diagrams to compactly represent the state space for explicit model checking
An Improvement in Partial Order Reduction Using Behavioral Analysis
A Compositional Minimization Approach for Large Asynchronous Design Verification
State space reductions for scalable verification of asynchronous designs
Automatic abstraction for verification of cyber-physical systems
Verification of timed circuits with failure-directed abstractions
Verification of timed circuits with failure directed abstractions
Modular verification of timed circuits using automatic abstraction
Modular Synthesis of Timed Circuits using Partial Orders on LPNs
Modular Synthesis of Timed Circuits using Partial Orders on LPNs
Modular Synthesis and Verification of Timed Circuits Using Automatic Abstraction
Automatic Abstraction for Verification of Timed Circuits and Systems?
Timed circuits: a new paradigm for high-speed design
Automatic Abstraction for Synthesis and Verification of Deterministic Timed Systems
Specification and Compilation of Timed Systems
An asynchronous implementation of the maxlist algorithm