William Chan

Publication Activity (10 Years)

Years Active: 1996-2001
Publications (10 Years): 0

Publications

William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner
Optimizing Symbolic Model Checking for Statecharts. IEEE Trans. Software Eng. 27 (2) (2001)
Richard J. Anderson, Paul Beame, William Chan, David Notkin
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications. Ershov Memorial Conference (1999)
William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts. ICSE (1999)
William Chan, Richard J. Anderson, Paul Beame, David Notkin
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. ISSTA (1998)
William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese
Model Checking Large Software Specifications. IEEE Trans. Software Eng. 24 (7) (1998)
William Chan, Richard J. Anderson, Paul Beame, David Notkin
Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints. CAV (1997)
Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese
Model Checking Large Software Specifications. SIGSOFT FSE (1996)