Concepedia

Xiushan Feng

XF

5

Publications

117

Citations

5

H-Index

2002

Active since

Affiliations

University of British Columbia(Current)

Xiushan Feng is an author at University of British Columbia specializing in computer engineering, formal methods, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringSoftware VerificationSoftware Testing

Publications per year

2002–2006

5

Publications

5

Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions

David W. Currie, Xiushan Feng, Masahiro Fujita et al. · International Journal of Parallel Programming · 2006 · 37 citations

Uninterpreted Functions, Engineering, Runtime Verification +12

Cutpoints for formal equivalence verification of embedded software

Xiushan Feng, Alan J. Hu · 2005 · 31 citations

Aggressive Optimization, Engineering, Hardware Verification Language +20

Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification

Xiushan Feng, Alan J. Hu · 2006 · 19 citations

Engineering, Hardware Verification Language, Verification +23

Automatic formal verification for scheduled VLIW code

Xiushan Feng, Alan J. Hu · 2002 · 17 citations

Engineering, Compiler Technology, Verification +21

Partitioned model checking from software specifications

Xiushan Feng, Alan J. Hu, Jin Yang · 2005 · 13 citations

Engineering, Hardware Verification Language, Verification +22

Rows per page

1–5 of 5