Home | Research | Publications | Teaching | Projects | Education/Funding
PROJECTS
  • Towards Automating Pattern Based Application Integration, joint work with IBM Toronto
  • Empirical study on SCOOP usability, joint work with ETH Zurich
  • JSCOOP (Eclipse plug-in) demo download
Students supervised
  • Kevin Doyle, Project course, York U, Winter 08
  • Jenna Lau, Project course, York U, Winter 08
  • Cameron Gorrie, NSERC USRA (Undergraduate Summer Research Assistant), University of Toronto, Summer 09
  • Jan Gorzny, NSERC USRA (Undergraduate Summer Research Assistant), University of Toronto, Summer 10
Old projects
  • ESpec framework: Early Testable Specifications, Software Engineering Lab @ York U
    • ES-Test [Unit-Testing, Contracting]
    • ES-Fit  [Acceptance Testing]
    • ES-Verify
    • ES-Parser
  • ESpec tool: Integration of ES-Fit, ES-Test, and ES-Perfect
  • E-Fit: Implementation of fit framework in Eiffel
  • MyCuteProlog: light weight prolog implementation
  • Stochastic Local Search Algorithms for Unsatisfying Truth-Assignments
  • Open Source Software Clustering Using Simple K Means and Farthest First Algorithms
  • Clustering Xfig using various automatic software clustering tools and comparing their results
  • Software clustering experiment (VIM system)
  • Data Mining, Experiencing with WEKA
  • Development of two Real-time scheduling algorithms and an online dispatcher under RTAI
  • Approaches to adapt Java for Real-time
  • Alignment applet for DNA and Amino Acid, Global, Semi-Global and Local alignments
  • Multimodal Systems, Multimodal interfaces and their internal architecture
  • Use the anytime form of A* algorithm to find a path on the Mars terrain 
  • SAT solvers on famous problems  
  • Anytime Satisfiability-based Diagnosis System