Brandon Henry

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 2

Top Topics

Simulated Annealing

Static Analysis

Symbolic Execution

Top Venues

Publications

Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, Xiangyu Zhang
SA4U: Practical Static Analysis for Unit Type Error Detection. CoRR (2022)
Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, Xiangyu Zhang
SA4U: Practical Static Analysis for Unit Type Error Detection. ASE (2022)
Austin Gagnon, Brandon Henry, Abdullah Eroglu
The complete model of high efficient drive system for electric vehicles. MWSCAS (2015)