 | 2009 |
|---|
| 4 |       | Wenchao Li,
Marco Di Natale,
Wei Zheng,
Paolo Giusto,
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia:
Optimizations of an application-level protocol for enhanced dependability in FlexRay.
DATE 2009: 1076-1081 |
| 3 | | Daniel Holcomb,
Wenchao Li,
Sanjit A. Seshia:
Design as you see FIT: System-level soft error analysis of sequential circuits.
DATE 2009: 785-790 |
| 2008 |
|---|
| 2 | | Orna Kupferman,
Wenchao Li,
Sanjit A. Seshia:
A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance.
FMCAD 2008: 1-9 |
| 2007 |
|---|
| 1 | | Sanjit A. Seshia,
Wenchao Li,
Subhasish Mitra:
Verification-guided soft error resilience.
DATE 2007: 1442-1447 |
