Jianhua Zhao
Auckland University of Technology(NZ)First Affiliated Hospital of Xinxiang Medical University(CN)Xinxiang Medical University(CN)Nanjing University(CN)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Advanced Software Engineering Methodologies, Logic, programming, and type systems, Software Reliability and Analysis Research
Most-Cited Works
- → Thermal-Aware Task Scheduling for 3D Multicore Processors(2009)100 cited
- → Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior(2011)51 cited
- → Automatic model generation from documentation for Java API functions(2016)41 cited
- → Automatic detection and validation of race conditions in interrupt-driven embedded software(2017)32 cited
- → Proactive NBTI mitigation for busy functional units in out-of-order microprocessors(2010)25 cited
- → SAT–LP–IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata(2014)24 cited