Albert Lai

From SE Wiki
Revision as of 15:34, 22 December 2010 by 128.100.4.130 (Talk)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
  • Home
  • People
  • Publications
  • Theses
  • Courses
  • Projects
  • Events
  • Info for New Students
  • Reading Group
  • Software
  • Funding
  • FM Links


PhD :: Albert Lai

Publications

Interests

Program derivation methods such as refinement calculi.

Contact Information

academic homepage -- personal homepage

PHD Thesis

[ 2000 -- Current ] Operational Semantics, Soundness, and Lazy Timing

Advisors

  • Eric Hehner


MSC Thesis

[ 1996 -- 2000 ] A Tool for a Formal Refinement Method

Advisors

  • Eric Hehner


Publications

2003 2002 2001 previous

2003

  • 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


2002

  • 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


2001

  • 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


previous

  • 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


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