Larry Weidong Ying

According to our database, Larry Weidong Ying authored at least 2 papers between 2001 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2003

Refinement-based formal verification with heterogeneous timing.

Xiaohua Kong, Radu Negulescu, Larry Weidong Ying

Int. J. Softw. Tools Technol. Transf., 2003

2001

Refinement-Based Formal Verification of Asynchronous Wrappers for Independently Clocked Domains in Systems on Chip.

Xiaohua Kong, Radu Negulescu, Larry Weidong Ying

Proceedings of the Correct Hardware Design and Verification Methods, 2001