Xingwen Xu

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

Collaborative distances:

Dijkstra number² of five.
Erdős number³ 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.

[BibT_eX]

[DOI]

Xingwen Xu

Microprocess. Microsystems, 2021

2006

Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006

Transition-based coverage estimation for symbolic model checking.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Xingwen Xu

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...