PhD :: Benet Devereux
Personal PagePublications
Interests: requirements engineering, formal methods, human-computer interaction, formal language and coding theory, applications of logic and algebra in computing

Contact Information:

PHD Thesis:
[ 2001 -- Current ] N/A
Advisors:

MSC Thesis:
[ 1999 -- 2001 ] Finite-State Models with Multiplicities:Symbolic Representation and Reasoning
Advisors:

Publications:


2004:
  • M. Chechik and B. Devereux. ``Automated Support for Building Behavioural Models of Event-Driven Systems'', to appear in Automated Software Engineering (short paper), September, 2004
    PS PDF Abstract
2003:
  • M. Chechik, Benet Devereux, Arie Gurfinkel, and Steve Easterbrook. ``Multi-Valued Symbolic Model-Checking'', ACM Transactions on Software Engineering and Methodology, vol. 12, pp. 1-38, October, 2003
    PS PDF Abstract
  • B. Devereux and M. Chechik. ``Edge-Shifted Decision Diagrams for Multi-Valued Logic'', Journal of Multi-Valued Logic and Soft Computing, vol. 9, pp. 59-86, 2003
    PS PDF Abstract
  • B. Devereux. ``Compositional Reasoning About Aspects Using Alternating-Time Logic'', in Proceedings of FOAL Workshop on Foundations of Aspect Languages, pp. 40-43, March, 2003
    PS PDF Abstract
  • S. M. Easterbrook, M. Chechik, B. Devereux, A. Gurfinkel, A. Lai, V. Petrovykh, A. Tafliovich, and C. Thompson-Walsh. ``XChek: A Model Checker for Multi-Valued Reasoning'', in Proceedings, 25th International Conference on Software Engineering, Portland, Oregon, May, 2003
    PS PDF Abstract
  • A. Gurfinkel, M. Chechik, and B. Devereux. ``Temporal Logic Query Checking: A Tool for Model Exploration'', IEEE Transactions on Software Engineering, vol. 29, pp. 898-914, October, 2003
    PS PDF Abstract
2002:
  • M. Chechik, B. Devereux and A. Gurfinkel. ``XChek: A Multi-Valued Model-Checker'', in Proceedings of 14th International Conference on Computer-Aided Verification (CAV'02), Copenhagen, Denmark, pp. 505-509, July, 2002
    PS PDF Abstract
  • M. Chechik, A. Gurfinkel, B. Devereux, A. Lai, and S. Easterbrook. ``Data Structures for Symbolic Multi-Valued Model-Checking'', CSRG Technical Report, Department of Computer Science, University of Toronto, January, 2002
    PS PDF Abstract
  • B. Devereux. ``Strong Next-time Operators for Multiple-Valued mu-calculus'', in Proceedings of FLOC'02 Workshop on Fixpoints in Computer Science (FICS), Copenhagen, Denmark, pp. 40-43, July, 2002
    PS PDF Abstract
  • A. Gurfinkel and B. Devereux and M. Chechik. ``Model Exploration with Temporal Logic Query Checking'', in Proceedings of SIGSOFT Conference on Foundationsof Software Engineering (FSE'02), Charleston, SC, pp. 139--148, November, 2002
    PS PDF Abstract
2001:
  • M. Chechik, B. Devereux and S. Easterbrook. ``Implementing a Multi-Valued Symbolic Model-Checker'', in Proceedings of TACAS'01, pp. 404-419, April, 2001
    PS PDF Abstract
  • M. Chechik, B. Devereux, S. Easterbrook, A. Lai, and V. Petrovykh. ``Efficient Multiple-Valued Model-Checking Using Lattice Representations'', in Proceedings of 12th International Conference on Concurrency Theory (CONCUR'01), Aalborg, Denmark, pp. 451-465, August, 2001
    PS PDF Abstract
  • M. Chechik, B. Devereux and A. Gurfinkel. ``Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN'', in Proceedings of the 8th SPIN Workshop on Model Checking Software, Toronto, Canada, pp. 16-36, May, 2001
    PS PDF Abstract
  • B. Devereux. ``Finite-State Models with Multiplicities: Symbolic Representation and Reasoning'' , Master Thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, June, 2001
    PS PDF Abstract
previous:
  • M. Chechik, William Andrepoulos, Bob Bernecky,Ariel Fuxman, Benet Devereux, Kristin Hofstee,Jingjing Lu, Tsuyoshi Morioka, Peeter Piegaze,Jeffrey Tang, Sean Thompson, Cosmin Truta,Yuxiang Zhu and Wei Zhou. ``Automated Verification, Fall 1999: A Collection of Reports'', CSRG Technical Report, Department of Computer Science, University of Toronto, 2000
    PS PDF Abstract
  • M. Chechik, S. Easterbrook, B. Devereux, A. Lai, V. Petrovykh and C. Thompson-Walsh. A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints -- Project Report, CSRG Technical Report, Department of Computer Science, University of Toronto, August, 2000
    PS PDF Abstract

For questions and suggestions contact the webmaster
Formal Methods Group, CS Department, University of Toronto 2004