William Chan

Affiliations:

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

According to our database¹, William Chan authored at least 6 papers between 1997 and 2001.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2001

Optimizing Symbolic Model Checking for Statecharts.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2001

1999

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Software Engineering, 1999

Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 1999

1998

Model Checking Large Software Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1998

Improving Efficiency of Symbolic Model Checking for State-Based System Requirements.

[BibT_eX]

[DOI]

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

1997

Combining Constraint Solving and Symbolic Model Checking for a Class of a Systems with Non-linear Constraints.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

William Chan

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...