Concepedia

William Chan

WC

7

Publications

482

Citations

7

H-Index

1996

Active since

Affiliations

University of Washington(Current)

William Chan is an author at University of Washington specializing in systems engineering, engineering, and computer engineering.

Top concepts

EngineeringSystems EngineeringComputer EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware Testing

Publications per year

1996–2017

7

Publications

7

Model checking large software specifications

Richard Anderson, Paul Beame, S.M. Burns et al. · 1996 · 308 citations · Full text

Software Maintenance, Engineering, Verification +20

Computational Aerodynamic Modeling of Small Quadcopter Vehicles

Seokkwan Yoon, Patricia Ventura Diaz, William Chan et al. · 2017 · 61 citations

Aeroacoustics, Overset Grids, Aeronautics +12

Improving efficiency of symbolic model checking for state-based system requirements

William Chan, Richard Anderson, Paul Beame et al. · 1998 · 33 citations

Engineering, Verification, Computer-aided Verification +22

Using Flight Manual Data to Derive Aero-Propulsive Models for Predicting Aircraft Trajectories

Chester Gong, William Chan · 2002 · 31 citations

Engineering, Aerospace Simulation, Aerospace System +16

Model checking large software specifications

Richard Anderson, Paul Beame, S.M. Burns et al. · ACM SIGSOFT Software Engineering Notes · 1996 · 23 citations

Software Maintenance, Engineering, Verification +20

Rows per page

1–5 of 7