Xingwen Xu

According to our database1, Xingwen Xu authored at least 4 papers between 2005 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Material database management system based on heterogeneous multi-processor and computer embedded system.
Microprocess. Microsystems, 2021

2006
Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006

Transition-based coverage estimation for symbolic model checking.
Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006

2005
Extended abstract: transition traversal coverage estimation for symbolic model checking.
Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005


  Loading...