17
Publications
718
Citations
13
H-Index
2009
Active since
Xun Li is an author at University of California, Santa Barbara specializing in engineering, formal verification, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceHardware SecurityFormal VerificationComputer EngineeringSoftware AnalysisComputer ArchitectureProgram AnalysisCryptography
Publications per year
2009–2023
17
17
Xun Li, Vineeth Kashyap, Jason Oberg et al. · 2014 · 114 citations
Engineering, Hardware Verification Language, Computer Architecture +18
Xun Li, Mohit Tiwari, Jason Oberg et al. · ACM SIGPLAN Notices · 2011 · 93 citations
Engineering, Hardware Verification Language, Computer Architecture +16
Mohit Tiwari, Xun Li, Hassan M. G. Wassel et al. · 2009 · 76 citations
Xun Li, Mohit Tiwari, Jason Oberg et al. · 2011 · 65 citations
Rows per page
1–5 of 17