Wenchao Li
Title
Cited by
Cited by
Year
Verification-guided soft error resilience
SA Seshia, W Li, S Mitra
2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007
1412007
Scalable specification mining for verification and diagnosis
W Li, A Forin, SA Seshia
Design Automation Conference, 755-760, 2010
1142010
Synthesis for human-in-the-loop control systems
W Li, D Sadigh, SS Sastry, SA Seshia
International Conference on Tools and Algorithms for the Construction and …, 2014
952014
Mining assumptions for synthesis
W Li, L Dworkin, SA Seshia
Ninth ACM/IEEE International Conference on Formal Methods and Models for …, 2011
922011
Physical activity monitoring for assisted living at home
R Jafari, W Li, R Bajcsy, S Glaser, S Sastry
4th International Workshop on Wearable and Implantable Body Sensor Networks …, 2007
892007
Reverse engineering circuits using behavioral pattern mining
W Li, Z Wasson, SA Seshia
2012 IEEE international symposium on hardware-oriented security and trust, 83-88, 2012
872012
Reverse engineering digital circuits using structural and functional analyses
P Subramanyan, N Tsiskaridze, W Li, A Gascón, WY Tan, A Tiwari, ...
IEEE Transactions on Emerging Topics in Computing 2 (1), 63-80, 2013
842013
Design automation of cyber-physical systems: Challenges, advances, and opportunities
SA Seshia, S Hu, W Li, Q Zhu
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2016
752016
Data-driven probabilistic modeling and verification of human driver behavior
D Sadigh, K Driggs-Campbell, A Puggelli, W Li, V Shia, R Bajcsy, ...
AAAI Spring Symposium-Technical Report, 56-61, 2014
702014
Polynomial-time verification of PCTL properties of MDPs with convex uncertainties
A Puggelli, W Li, AL Sangiovanni-Vincentelli, SA Seshia
International Conference on Computer Aided Verification, 527-542, 2013
702013
Design as you see FIT: System-level soft error analysis of sequential circuits
D Holcomb, W Li, SA Seshia
2009 Design, Automation & Test in Europe Conference & Exhibition, 785-790, 2009
642009
Wordrev: Finding word-level structures in a sea of bit-level gates
W Li, A Gascon, P Subramanyan, WY Tan, A Tiwari, S Malik, N Shankar, ...
2013 IEEE international symposium on hardware-oriented security and trust …, 2013
622013
A theory of mutations with applications to vacuity, coverage, and fault tolerance
O Kupferman, W Li, SA Seshia
2008 Formal Methods in Computer-Aided Design, 1-9, 2008
472008
ARSENAL: automatic requirements specification extraction from natural language
S Ghosh, D Elenius, W Li, P Lincoln, N Shankar, W Steiner
NASA Formal Methods Symposium, 41-46, 2016
442016
CrowdMine: towards crowdsourced human-assisted verification
W Li, SA Seshia, S Jha
Proceedings of the 49th Annual Design Automation Conference, 1254-1255, 2012
302012
Optimizations of an application-level protocol for enhanced dependability in FlexRay
W Li, M Di Natale, W Zheng, P Giusto, A Sangiovanni-Vincentelli, ...
2009 Design, Automation & Test in Europe Conference & Exhibition, 1076-1081, 2009
302009
Design and verification for transportation system security
B Zheng, W Li, P Deng, L Gérard, Q Zhu, N Shankar
Proceedings of the 52nd annual design automation conference, 1-6, 2015
262015
Detecting similar programs via the Weisfeiler-Leman graph kernel
W Li, H Saidi, H Sanchez, M Schäf, P Schweitzer
International conference on software reuse, 315-330, 2016
232016
Algorithms for green buildings: Learning-based techniques for energy prediction and fault diagnosis
D Holcomb, W Li, SA Seshia
Google Scholar, UCB/EECS-2009-138, 2009
212009
Automatically extracting requirements specifications from natural language
S Ghosh, D Elenius, W Li, P Lincoln, N Shankar, W Steiner
arXiv preprint arXiv:1403.3142, 2014
192014
The system can't perform the operation now. Try again later.
Articles 1–20