William Chan

Computer Science · Physical Sciences

9h-index651citations12works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(8), Software Testing and Debugging Techniques(7), Software Reliability and Analysis Research(6), Air Traffic Management and Optimization(3), Logic, programming, and type systems(2)

Publications12 total

CSC 322 Software Engineering
CUNY Academic Works (City University of New York)·2018
Computational Aerodynamic Modeling of Small Quadcopter Vehicles
2017· 61 cited
Using Flight Manual Data to Derive Aero-Propulsive Models for Predicting Aircraft Trajectories
2002· 31 cited
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications
Lecture notes in computer science·2000· 1 cited
Temporal-logic Queries
Lecture notes in computer science·2000· 112 cited
Decoupling synchronization from local control for efficient symbolic model checking of statecharts
1999· 15 citedOpen Access
Improving efficiency of symbolic model checking for state-based system requirements
1998· 33 cited
Improving efficiency of symbolic model checking for state-based system requirements
ACM SIGSOFT Software Engineering Notes·1998· 11 cited
Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints
Lecture notes in computer science·1997· 56 cited
Model checking large software specifications
1996· 308 citedOpen Access
Model checking large software specifications
ACM SIGSOFT Software Engineering Notes·1996· 23 cited
An evaluation of real-time aviation turbulence metrics
1995Open Access

Frequent Co-authors

Richard Anderson(7), Paul Beame(7), David Notkin(7), S.M. Burns(2), Francesmary Modugno(2), J.D. Reese(2), Seokkwan Yoon(1), Patricia Ventura Diaz(1), Colin R. Theodore(1), S Darling Douglas(1), Chester Gong(1), David H. Jones(1), W.E. Warner(1), Nyc Tech-in-Residence Corps(1)