Searching for authors named "Xiaofang Chen" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
An Interface Aware Guided Search Method for Error-trace Justification in Large Protocols
- …An Interface Aware Guided Search Method for Error-trace Justification in Large Protocols Xiaofang…
- Add To MetaCart
-
A General Compositional Approachto Verifying Hierarchical Cache Coherence Protocols
- … A General Compositional Approachto Verifying Hierarchical Cache Coherence Protocols Xiaofang…
- Add To MetaCart
-
Predicate Abstraction for Murphi
- …Predicate Abstraction for Murphi Xiaofang Chen and Ganesh Gopalakrishnan UUCP-06-002 School…
- Add To MetaCart
-
Bounded Transaction Model Checking
- …Bounded Transaction Model Checking Xiaofang Chen and Ganesh Gopalakrishnan UUCP-06-003 School…
- Add To MetaCart
-
Hierarchical Cache Coherence Protocol Verification One Level at a Time Through Assume-Guarantee
- …-Guarantee Xiaofang Chen 1 , Yu Yang, Ganesh Gopalakrishnan Ching-Tsun Chou School of Computing, University of Utah…
- Cited by 1 (1 self) – Add To MetaCart
-
Reducing verification complexity of a multicore coherence protocol using assume/guarantee
- …Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee Xiaofang…
- Cited by 6 (3 self) – Add To MetaCart
-
Transaction based modeling and verification of hardware protocol implementations,” Under submission. Available upon request
- …Transaction Based Modeling and Verification of Hardware Protocols Xiaofang Chen 1 , Steven M…
- Cited by 1 (1 self) – Add To MetaCart
-
Predicate Abstraction for
- … Predicate Abstraction for Murphi Xiaofang Chen and Ganesh Gopalakrishnan UUCP-06-002 School…
- Add To MetaCart
-
Distributed Dynamic Partial Order Reduction based Verification of Threaded Software
- …, Xiaofang Chen, Ganesh Gopalakrishnan, and Robert M. Kirby School of Computing, University of Utah Salt Lake…
- Cited by 2 (2 self) – Add To MetaCart
-
unknown title
- … Bounded Transaction ModelChecking Xiaofang Chen and Ganesh Gopalakrishnan UUCP-06-003 School…
- Add To MetaCart
Showing 1 through 10.
