Benet Devereux's Publications

(A partial list - links to follow)

Journals

• M. Chechik, B. Devereux, S. Easterbrook, A. Gurfinkel, "Multi-Valued Symbol Model-Checking". Accepted for publication in ACM Transactions on Software Engineering and Methodology, July 2003
• A. Gurfinkel, M. Chechik, B. Devereux, "Temporal Logic Query Checking: A Tool For Model Exploration". To appear in Special FSE Issue of IEEE Transactions on Software Engineering.
• B. Devereux and M. Chechik, "Edge-Shifted Decision Diagrams for Multiple-Valued Logic". Journal of Multi-Valued Logic and Soft Computing, vol. 9, no. 1, pp. 59-86, Old City Publishing Inc., 2003.

Conferences

• S. Easterbrook, M. Chechik, B. Devereux, A. Gurfinkel, A. Lai, V. Petrovykh, A. Tafliovich and C. Thompson-Walsh, "XChek: A Model-Checker for Multiple-Valued Reasoning". Proceedings of ICSE '03, May 2003.
• A. Gurfinkel, B. Devereux, M. Chechik. "Model Exploration with Temporal Logic Query Checking". Proceedings of SIGSOFT Conference on Foundations of Software Engineering (FSE'02), November 2002, pp. 139-148.
• M. Chechik, B. Devereux, S. Easterbrook, A. Lai, V. Petrovykh, "Efficient Multiple-Valued Model-Checking Using Lattice Representations", in Proceedings of CONCUR'01, August 2001.
• M. Chechik, B. Devereux, A. Gurfinkel, "Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN", in Proceedings of SPIN Workshop on Model-Checking Software, May 2001, 18 pages.
• M. Chechik, S. Easterbrook, B. Devereux, "Model Checking with Multi-Valued Temporal Logics", in Proceedings of International Symposium on Multi-Valued Logics (ISMVL'01), May 2001, 6 pages.
• M. Chechik, B. Devereux, S. Easterbrook. "Implementing a Multi-Valued Symbolic Model Checker", in Proceedings of TACAS'01, April 2001, 17 pages.

Workshops

• B. Devereux, "Compositional Reasoning About Aspects Using Alternating-Time Logic", Proceedings of FOAL Workshop on Foundations of Aspect Languages, March 2003.
• B. Devereux, "Strong Next-Time Operators for Multiple-Valued Mu-Calculus", Proceedings of FICS (Fixed Points in Computer Science), July 2002.

Theses

• M.Sc. Thesis, University of Toronto, 2001: "Finite-State Models with Multiplicities: Symbolic Representation and Reasoning", supervised by M. Chechik and E.C.R. Hehner