Searching for authors named "Hong Peng" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
Improving Compositional Verification through Environment Synthesis and Syntactic Model Reduction
- … Reduction Hong Peng A Thesis in The Department of Electrical and Computer Engineering Presented…
- Add To MetaCart
-
Formal Verification of an Asynchronous MAC Layer Protocol in VIS
- …Formal Verification of an Asynchronous MAC Layer Protocol in VIS Hong Peng and Sofi`ene Tahar…
- Add To MetaCart
-
A Survey on Compositional Verification
- …A Survey on Compositional Verification Hong Peng and Sofi`ene Tahar Technical Report Dept…
- Cited by 6 (2 self) – Add To MetaCart
-
Compositional Verification of an ATM Bit Error Rate Monitor Circuit
- …Compositional Verification of an ATM Bit Error Rate Monitor Circuit Hong Peng and Sofi`ene Tahar…
- Cited by 1 (1 self) – Add To MetaCart
-
Comparison of SPIN and VIS for Protocol Verification
- …Comparison of SPIN and VIS for Protocol Verification Hong Peng, Sofi`ene Tahar and Ferhat Khendek…
- Cited by 2 (1 self) – Add To MetaCart
-
Environment Synthesis for Compositional Model Checking
- …Environment Synthesis for Compositional Model Checking Hong Peng, Yassine Mokhtari, and Sofiene…
- Cited by 3 (2 self) – Add To MetaCart
-
Compositional Verification of a Switch Fabric from Nortel Networks
- …���Compositional Verification of a Switch Fabric from Nortel Networks Hong Peng, Sofiene Tahar…
- Add To MetaCart
-
Int J STTT (2002) / Digital Object Identifier (DOI) 10.1007/s100090200073 Comparison of SPIN and VIS for protocol verification
- … and VIS for protocol verification Hong Peng, Sofi��ne Tahar, Ferhat Khendek Dept. of Electrical & Computer…
- Add To MetaCart
-
Using DECA to Design Automobiles with Affective Features
- …-26, 2007, San Francisco, USA Using DECA to Design Automobiles with Affective Features Hong Peng and Martin…
- Add To MetaCart
-
Compositional Verification of IP Based Designs
- …Compositional Verication of IP Based Designs Hong Peng and Soene Tahar Dept. of Electrical…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
