Wenchao Li

Geciteerd door

	Alles	Sinds 2020
Citaties	3262	1930
h-index	30	23
i10-index	51	43

520

260

130

390

20082009201020112012201320142015201620172018201920202021202220232024202526 30 52 48 54 76 98 150 163 175 190 222 261 275 380 514 443 53

Openbare toegang

Alles bekijken

31 artikelen

2 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyGeverifieerd e-mailadres voor eecs.berkeley.edu
Qi ZhuProfessor of Computer EngineeringGeverifieerd e-mailadres voor northwestern.edu
Natarajan ShankarSRI International Computer Science LaboratoryGeverifieerd e-mailadres voor csl.sri.com
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalGeverifieerd e-mailadres voor sri.com
Shankar SastryUniversity of CaliforniaGeverifieerd e-mailadres voor berkeley.edu
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyGeverifieerd e-mailadres voor eecs.berkeley.edu
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityGeverifieerd e-mailadres voor princeton.edu
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftGeverifieerd e-mailadres voor csl.sri.com
Pramod SubramanyanIndian Institute of Technology KanpurGeverifieerd e-mailadres voor cse.iitk.ac.in
Adrià GascónGoogle ResearchGeverifieerd e-mailadres voor google.com
Alberto PuggelliPh.D., Apple Inc.Geverifieerd e-mailadres voor eecs.berkeley.edu
Daniel HolcombAssociate Professor, University of MassachusettsGeverifieerd e-mailadres voor engin.umass.edu
Wilfried SteinerDirector TTTech Labs, TTTech Computertechnik AGGeverifieerd e-mailadres voor tttech.com
patrick lincolnSRIGeverifieerd e-mailadres voor sri.com
Bowen ZhengPony.AIGeverifieerd e-mailadres voor ucr.edu
Alessandro ForinPrincipal Researcher, Microsoft ResearchGeverifieerd e-mailadres voor microsoft.com
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityGeverifieerd e-mailadres voor cs.huji.ac.il
Victor ShiaUC BerkeleyGeverifieerd e-mailadres voor eecs.berkeley.edu
Katherine Driggs-CampbellAssistant Professor, University of Illinois at Urbana-ChampaignGeverifieerd e-mailadres voor illinois.edu
Roozbeh JafariMassachusetts Institute of TechnologyGeverifieerd e-mailadres voor mit.edu

Volgen

Wenchao Li

Associate Professor, Boston University

Geverifieerd e-mailadres voor bu.edu - Homepage

Trustworthy AI Cyber-Physical Systems Formal Methods Machine Learning


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Reachnn: Reachability analysis of neural-network controlled systems C Huang, J Fan, W Li, X Chen, Q Zhu ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-22, 2019	200	2019
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	180	2016
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	175	2013
Synthesis for human-in-the-loop control systems W Li, D Sadigh, SS Sastry, SA Seshia Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014	162	2014
Scalable specification mining for verification and diagnosis W Li, A Forin, SA Seshia Proceedings of the 47th design automation conference, 755-760, 2010	154	2010
Verification-guided soft error resilience SA Seshia, W Li, S Mitra 2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007	154	2007
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	144	2012
Mining assumptions for synthesis W Li, L Dworkin, SA Seshia Ninth ACM/IEEE International Conference on Formal Methods and Models for …, 2011	141	2011
ARSENAL: automatic requirements specification extraction from natural language S Ghosh, D Elenius, W Li, P Lincoln, N Shankar, W Steiner NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016	138	2016
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	129	2013
Polynomial-time verification of PCTL properties of MDPs with convex uncertainties A Puggelli, W Li, AL Sangiovanni-Vincentelli, SA Seshia Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	111	2013
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	108	2014
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	101	2007
Reachnn*: A tool for reachability analysis of neural-network controlled systems J Fan, C Huang, X Chen, W Li, Q Zhu International Symposium on Automated Technology for Verification and …, 2020	92	2020
Trojdrl: evaluation of backdoor attacks on deep reinforcement learning P Kiourti, K Wardega, S Jha, W Li 2020 57th ACM/IEEE Design Automation Conference (DAC), 1-6, 2020	86	2020
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	77	2009
Polar: A polynomial arithmetic framework for verifying neural-network controlled systems C Huang, J Fan, X Chen, W Li, Q Zhu International Symposium on Automated Technology for Verification and …, 2022	66	2022
Arch-comp22 category report: Artificial intelligence and neural network control systems (ainncs) for continuous and hybrid systems plants DM Lopez, M Althoff, L Benet, X Chen, J Fan, M Forets, C Huang, ... 9th International Workshop on Applied Verification of Continuous and Hybrid …, 2022	56	2022
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	54	2008
Delay-aware design, analysis and verification of intelligent intersection management B Zheng, CW Lin, H Liang, S Shiraishi, W Li, Q Zhu 2017 IEEE International Conference on Smart Computing (SMARTCOMP), 1-8, 2017	46	2017

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs