Shaobo He is an author at University of Utah specializing in engineering, computer science, and software analysis.
Top concepts
EngineeringComputer ScienceSoftware TestingSoftware AnalysisVerificationFormal MethodsProgram AnalysisFormal VerificationSoftware EngineeringEntropy
Publications per year
2008–2024
10
10
SMACK software verification toolchain
Montgomery Carter, Shaobo He, Jonathan Whitaker et al. · 2016 · 34 citations · Full text
Application of FuzzyEn algorithm to the analysis of complexity of chaotic sequence
Kehui Sun, Shaobo He, Linzi Yin et al. · Acta Physica Sinica · 2012 · 32 citations · Full text
Rows per page
1–5 of 10