(*)Indicates students funded by this project
Refereed Contributions
N. Niu(*), S. M. Easterbrook "On the Use of Model Checking
in Verification of Evolving Agile Software Frameworks: An Exploratory
Case Study" Proceedings, 3rd International Workshop on
Modelling, Simulation, Verification, and Validation of Enterprise
Information Systems (MSVVEIS-2005)", at the 7th International
Conference on Enterprise Information Systems (ICEIS'05), Miami,
USA May 24-28, 2005.
M. Sabetzadeh(*) and S. M. Easterbrook "An Algebraic Framework
for Merging Incomplete and Inconsistent Views". Submitted
for publication, March 2005.
S. Nejati(*), A. Gurfinkel and M. Chechik. "Stuttering
Abstractions for Model-Checking", Submitted for publication,
March 2005.
S. Nejati(*), and M. Chechik. "Let's Agree to Disagree"
Submitted for publication, April 2005.
M. Gheorghiu, A. Gurfinkel, and M. Chechik. "VaqUoT: A
Tool for Vacuity Detection", Submitted for publication,
April 2005.
Non-refereed contributions
M. Sabetzadeh(*) and S. M. Easterbrook, "An
Algebraic Framework for Merging Incomplete and Inconsistent
Views". Technical Report CSRG-496, Department of Computer
Science, University of Toronto, Canada, September 2004.
|