Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

William Chan 0001

> Home > Persons

Person information

affiliation: University of Washington, Department of Computer Science and Engineering, Seattle, WA, USA

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2001
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ChanABJNW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ChanABJNW01
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): 170-190 (2001)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/AndersonBCN99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/AndersonBCN99
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: 460-469
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChanABJNW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChanABJNW99
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: 142-151
1998
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ChanABBMNR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ChanABBMNR98
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): 498-520 (1998)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ChanABN98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ChanABN98
William Chan, Richard J. Anderson, Paul Beame, David Notkin:
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. ISSTA 1998: 102-112
1997
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ChanABN97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChanABN97
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: 316-327
1996
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/AndersonBBCMNR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/AndersonBBCMNR96
Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese:
Model Checking Large Software Specifications. SIGSOFT FSE 1996: 156-166

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.